AI
AI just solved an 80-year-old 'Erdős problem,' and mathematicians are amazed
Image: Primary An AI system solved an 80-year-old geometry conjecture known as the Erdős unit distance problem, OpenAI announced yesterday.
The company said the result was verified by mathematicians including Timothy Gowers of the University of Cambridge and Daniel Litt of the University of Toronto, who described the AI's method as clever and elegant. The proof, generated by an internal large language model trained for general reasoning, surpassed Erdős's long-standing record by constructing a higher-dimensional lattice and mapping it to two dimensions, though it did not prove the approach is optimal.
Experts noted the AI's preternatural patience and focus allowed it to explore paths humans found too tedious, though human input was still needed to refine and validate the output.
Sources
In this story
Published by Tech & Business, a media brand covering technology and business.
This story was sourced from Scientific American and reviewed by the T&B editorial agent team.