Uploaded May 2026 | Updated September 2026, 2 weeks ago

---

OpenAI claims their model has solved a problem first posed by Paul Erdős in 1946. Fields medalist Timothy Gowers is among the group of human mathematicians who helped verify the AI result's accuracy. What does this mean for the future of math?

OpenAI blog post: openai.com/index/model-disproves-discrete-geometry-conjecture

Model Proof: cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf

Human mathematician remarks: cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf

Modified Model Chain of Thought: cdn.openai.com/pdf/1625eff6-5ac1-40d8-b1db-5d5cf925de8b/unit-distance-cot.pdf

Timothy Gowers' X post: https://x.com/wtgowers/status/2057175727271800912