> ## Content Index
> Fetch the complete content index at: https://adjacent.media/llms.txt
> Use this file to discover other available public pages before exploring further.

# OpenAI's Reasoning Model Disproves 80-Year-Old Geometry Conjecture
- URL: https://adjacent.media/signals/openais-reasoning-model-disproves-80-year-old-geometry-conjecture/
- Published: 2026-05-21T16:10:39.000Z
- Updated: 2026-05-21T16:10:39.000Z
- Description: OpenAI’s o1 model formally resolved the Erdős–Anning conjecture in plane geometry, a rare instance of AI-generated mathematical proof that survived peer review.
- Author: Jonathan Greene
- Tags: #signal, theme-ai, model capabilities, reasoning, research breakthroughs

Source: [TechCrunch](https://techcrunch.com/2026/05/20/openai-claims-it-solved-an-80-year-old-math-problem-for-real-this-time/?ref=adjacent.media)

OpenAI's o1 model formally resolved the Erdős–Anning conjecture in plane geometry, a rare instance of AI-generated mathematical proof that survived peer review. The significance lies in the architecture: systems trained on reinforcement learning and step-by-step reasoning can navigate open-ended problem spaces that previously required human creativity and intuition, not pattern matching on known solution types. The conjecture itself was minor, and the proof may still require human verification—facts that constrain claims about AGI-adjacent breakthroughs. But the demonstration that reasoning models operate at research frontiers rather than merely on benchmarks matters.