# An OpenAI model has disproved a central conjecture in discrete geometry

DevFeed: [An OpenAI model has disproved a central conjecture in discrete geometry](<https://devfeed.tech/articles/an-openai-model-has-disproved-a-central-conjecture-in-discrete-geometry-6536.md>)

Original publisher: [Read original article](<https://openai.com/index/model-disproves-discrete-geometry-conjecture>)

Published: 2026-05-20T00:00:00Z

Content type: article

Language: en

Sources: [OpenAI News](<https://devfeed.tech/sources/openai-news.md>)

Topics: [Artificial Intelligence](<https://devfeed.tech/topics/ai.md>), [Mathematics](<https://devfeed.tech/topics/mathematics.md>), [OpenAI](<https://devfeed.tech/topics/openai.md>), [math](<https://devfeed.tech/topics/math.md>)

Tags: [ai](<https://devfeed.tech/tags/ai.md>), [math](<https://devfeed.tech/tags/math.md>), [model](<https://devfeed.tech/tags/model.md>), [models](<https://devfeed.tech/tags/models.md>), [openai](<https://devfeed.tech/tags/openai.md>), [reasoning](<https://devfeed.tech/tags/reasoning.md>), [research](<https://devfeed.tech/tags/research.md>)

## AI overview

An OpenAI model disproved a longstanding conjecture in the planar unit distance problem, producing an infinite family of examples with a polynomial improvement. External mathematicians checked the proof, which uses ideas from algebraic number theory and represents a milestone for AI-assisted mathematical research.

## Source excerpt

An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.