The accuracy of the proof generated by combining AI with different technologies is unachievable by humans alone. However, the responsibility of using AI reliably lies in the social systems in place.