{"data":{"id":1702,"lang":"en","title":"OpenAI Model Autonomously Disproves Erdos' 80-Year-Old Geometry Conjecture, Fields Medalist Calls It a Milestone in AI Mathematics","summary":"An internal OpenAI reasoning model independently disproved Erdos' 1946 unit-distance conjecture, a result Fields medalist Tim Gowers calls a milestone in AI mathematics.","category":"science","category_label":"Science","published_at":"2026-05-24T02:01:20Z","updated_at":"2026-05-24T02:01:20Z","url":"https://techtools.cz/tools/news/article/1702-openai-model-autonomously-disproves-erdos-80-year-old-geometry-conjecture","api_url":"https://techtools.cz/news-api/v1/articles/1702?lang=en","markdown_url":"https://techtools.cz/news-api/v1/articles/1702.md?lang=en","image_url":"https://the-decoder.com/wp-content/uploads/2026/05/Erdos-Problem-90-OpenAI.png","word_count":158,"reading_time_minutes":1,"sources":[{"url":"https://openai.com/index/model-disproves-discrete-geometry-conjecture/","domain":"openai.com"},{"url":"https://the-decoder.com/openai-shifts-the-boundary-of-automated-reasoning-with-a-milestone-in-ai-mathematics-that-experts-are-now-unpacking/","domain":"the-decoder.com"},{"url":"https://interestingengineering.com/ai-robotics/openai-paul-erdos-geometry-problem-cracked","domain":"interestingengineering.com"}],"translation":{"lang":"cs","id":1775,"title":"Model OpenAI samostatně vyvrátil 80 let starou geometrickou domněnku Erdose, držitel Fieldsovy medaile to označil za milník v matematice s AI","url":"https://techtools.cz/tools/news/clanek/1775-model-openai-samostatne-vyvratil-80-let-starou-geometrickou-domnenku-erdose","api_url":"https://techtools.cz/news-api/v1/articles/1775?lang=cs"},"content":"An internal OpenAI reasoning model has autonomously disproved Paul Erdos' 1946 unit-distance conjecture, marking the first time an AI has independently cracked a prominent open problem at the center of a mathematical subfield. Given only the problem statement, the model produced the full solution on its own.\n\nThe model discovered an infinite family of point configurations using deep algebraic number theory, including Golod-Shafarevich theory and infinite class field towers. The constructions yield a polynomial improvement over the long-assumed near-linear upper bound, achieving n^(1+delta) unit-distance pairs. Princeton mathematician Will Sawin later refined the exponent to delta = 0.014.\n\nThe proof was verified by external mathematicians, and Fields medalist Tim Gowers wrote a companion paper describing the result as a milestone in AI mathematics that he would have accepted for the Annals of Mathematics without hesitation. Number theorist Arul Shankar said current AI models now go beyond being helpers and are capable of original ideas carried through to completion."}}