OpenAI Claims AI Autonomously Solved the Erdős Conjecture, Debate Intensifies After Mathematicians' Verification
OpenAI released an internal reasoning model on May 20, 2026, claiming it autonomously discovered an infinite construction family that improves upon Erdős' 1946 planar unit distance conjecture. Mathematicians have verified the claim, but the lack of complete formal code and reproducible scripts has sparked debate over authenticity and repeatability.