Article Summary (Model: gpt-5.4)
Subject: Inferred Erdős Disproof
The Gist: Inferred from the HN discussion: OpenAI is claiming a model found a counterexample that disproves a long-standing Erdős conjecture in discrete geometry, apparently by importing ideas from algebraic number theory into an elementary geometric setting. Commenters say the result was then turned into a human-edited paper and supporting notes. The writeup also appears to include a long summarized chain-of-thought, but the proof was not formally verified in Lean.
Key Claims/Facts:
- Counterexample, not proof: The model seems to have disproved the conjecture by constructing a counterexample rather than proving the conjecture true.
- Cross-field technique: Commenters highlight the reported use of algebraic number theory ideas on a discrete-geometry problem.
- Human validation layer: Discussion suggests mathematicians refined, checked, and wrote up the final exposition, rather than publishing raw model output.
Discussion Summary (Model: gpt-5.4)
Consensus: Cautiously Optimistic. Many readers, including mathematicians, think the result is genuinely impressive, but a large share of the thread treats the post as partly a marketing claim until process, verification, and reproducibility are clearer (c48214064, c48219489, c48219512).
Top Critiques & Pushback:
Better Alternatives / Prior Art:
Expert Context: