Sciences X/Twitter 9h ago 1 min read
An OpenAI general-purpose reasoning model has independently solved the planar unit distance problem — a famous open geometry question posed by Paul Erdős in 1946. External mathematicians verified the proof, marking the first time AI has autonomously solved a major open problem in mathematics.