10 years ago
2
Computer generated math proof is too large for humans to check
(Phys.org) —A pair of mathematicians, Alexei Lisitsa and Boris Konev of the University of Liverpool, U.K., have come up with an interesting problem—if a computer produces a proof of a math problem that is too big to study, can it be judged as true anyway? In a paper they've uploaded to the preprint ...
Continue Reading
http://phys.org
Join the Discussion
I personally think we can accept machine-generated proofs as long as the author of the algorithm is vouching for its results. On a related note, isn't it possible to fabricate a "peer" algorithm which in turn "reviews" this tremendous amound of data?
I suppose that this would turn on what you mean by "vouching" for a proof. It seems to me that using a computer-generated proof would require a proof of soundness of the program.