By verification grade
2 of 5 carry an independent check. Open the review queue.
Open longest before falling
From the 1 of 5 entries recording a posed year. Add a missing one.
| Date | Finding | Lab | Model | Verification | Autonomy | Field |
|---|---|---|---|---|---|---|
| 2026-05-20 | Disproof of the Erdős unit-distance conjecture | OpenAI | GPT-5 series reasoning model | Independently checked | AI-led | mathematics |
| 2026-01-13 | Erdős problem #728 resolved and formalized in Lean | OpenAI / Harmonic | GPT-5.2 Pro + Aristotle | Formally verified | Autonomous | mathematics |
| 2025-11-20 | Early science acceleration experiments with GPT-5 | OpenAI | GPT-5 | Peer reviewed | AI-assisted | computer-science |
| 2025-10-19 | GPT-5 "solved 10 Erdős problems": it located existing solutions | OpenAI | GPT-5 | Already known | Retrieval | mathematics |
| 2025-08-01 | Improved step-size bound in smooth convex optimization | OpenAI | GPT-5 Pro | Already known | AI-assisted | mathematics |