Saturday, May 23, 2026 · 1 of 5
OpenAI internal reasoning model autonomously disproves an 80-year-old Erdős discrete-geometry conjecture
Fields medalist Tim Gowers calls it "a milestone in AI mathematics." First time a generalist model (not a math-specialized system) has settled a central open problem in a subfield of math, not just a competition benchmark.