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

The biggest controversy in maths could be settled by a computer #Science #Mathematics #MathematicsControversy #ComputationalMathematics #MathSolutions