Skip to content

Articles

Sciences X/Twitter May 22, 2026 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.