Mathematicians stunned by AI's biggest breakthrough in mathematics yet
An OpenAI AI model disproved the 80-year-old planar unit distance conjecture by Paul Erdős, stunning mathematicians with a counterexample involving higher-dimensional lattices. Experts like Tim Gowers and Misha Rudnev called the achievement a milestone for AI in mathematics, though the model’s training specifics remain undisclosed.
An artificial intelligence model developed by OpenAI has solved an 80-year-old mathematical conjecture, marking what experts describe as a seismic breakthrough for AI in mathematics. The planar unit distance problem, posed by Hungarian mathematician Paul Erdős, asked for the maximum number of equally sized line segments that could be drawn between points on an infinite plane. Erdős conjectured grid-like arrangements yielded the highest connections, but OpenAI’s AI disproved this by identifying asymmetric point patterns enabling far more connections. The AI employed techniques from algebraic number theory to construct high-dimensional lattices, then projected them into two dimensions. Mathematicians, including Tim Gowers from the University of Cambridge, praised the solution’s rigor, with Gowers stating he would have recommended publication in *Annals of Mathematics* without hesitation. Misha Rudnev of the University of Bristol called the result ‘a bomb,’ admitting he never expected the problem to be solved in his lifetime. The model’s success highlights a gap in human mathematical exploration, as experts like Samuel Mansfield from the University of Manchester noted few geometers possessed the interdisciplinary knowledge to challenge Erdős’ conjecture. OpenAI has not disclosed how the model differs from existing AI systems or its training methods, though researchers confirmed it was not specifically designed for math research. Reactions from the mathematical community ranged from disbelief to awe. Will Sawin of Princeton University initially doubted the AI’s approach but later conceded it was the most significant AI achievement in mathematics to date. Kevin Buzzard of Imperial College London acknowledged the counterexample’s complexity, though its underlying concepts were already known in advanced number theory. The breakthrough underscores AI’s potential to advance fields beyond its original training scope, raising questions about the future of mathematical discovery and interdisciplinary collaboration.
This content was automatically generated and/or translated by AI. It may contain inaccuracies. Please refer to the original sources for verification.