Research
OpenAI's reasoning model disproves 60-year-old geometry conjecture
OpenAI announced that a general-purpose reasoning model discovered a counterexample to Erdős's unit-distance bound, a 60-year-old conjecture in discrete geometry. The claim raises questions about reproducibility and
1 min read
Sourcer/machinelearning
OpenAI announced that one of its general-purpose reasoning models found a construction disproving the conjectured n^{1+O(1/log log n)} upper bound in Erdős's planar unit-distance problem, a foundational open question in discrete geometry. The model discovered finite planar point sets with more than ...
Sign in to read the full analysis
Free — just an email. Get full analysis on LLM unit economics, plus the weekly Cost-of-Inference column.
Method & sources
- Source type
- Primary publication (lab/vendor blog) — our analysis + implication
- Source link
- r/machinelearning
- Published
- UTC
- Byline
- By the gotcontext.ai team (editorial standards)
- Correction?
- corrections@gotcontext.ai