The biggest controversy in maths could be settled by a computer
For over a decade, mathematicians have failed to agree whether a 500-page proof is actually correct. Now, translating the proof into a computer-readable form may finally settle the matter
For over a decade, mathematicians have failed to agree whether a 500-page proof is actually correct. Now, translating the proof into a computer-readable form may finally settle the matter
What's Your Reaction?
SIN
ScienceX Information Network (SIN) | ScienceX Innovations
