OpenAI Reasoning Model Independently Disproves Erdős' 1946 Geometry Conjecture

Hungarian mathematician Paul Erdős proposed the discrete geometry conjecture in 1946. It remained unsolved for nearly 80 years and became an important test of combinatorial and geometric reasoning. An AI producing a valid counterexample without human guidance would mark a shift for general-purpose reasoning models from computational assistance to original mathematical research.

OpenAI recently said its general-purpose reasoning model independently generated a complete proof disproving Erdős' 1946 conjecture, with no human guidance on how to approach the problem. OpenAI said the result was verified by a Fields Medalist and described it as the first time AI had independently solved a major open problem in mathematics.