#1OpenAI Model Autonomously Disproves 80-Year-Old Erdos Geometry Conjecture
An OpenAI general-purpose reasoning model autonomously disproved the Erdos unit distance conjecture, an open problem in discrete geometry since 1946. The model found a proof using algebraic number theory tools never previously applied to this problem, connecting two unrelated mathematical fields. Fields medalist Tim Gowers called it "a milestone in AI mathematics," and the result has been independently verified by Princeton's Noga Alon and other leading mathematicians.








