By verification grade
2 of 5 carry an independent check. Open the review queue.
Open longest before falling
- 389 yrFermat's Last Theorem formalized end to end in Lean 4posed 1637 · Internal Anthropic research model, described in the announcement as roughly comparable to Claude Fable 5.1
- 87 yrCounterexample to the Jacobian conjecture in dimension threeposed 1939 · Claude Fable 5
- 78 yrA proposed complex structure on the six-sphereposed 1948 · Claude, version not stated
From the 3 of 5 entries recording a posed year. Add a missing one.
| Date | Finding | Lab | Model | Verification | Autonomy | Field |
|---|---|---|---|---|---|---|
| 2026-09-04 | Fermat's Last Theorem formalized end to end in Lean 4 | Anthropic | Internal Anthropic research model, described in the announcement as roughly comparable to Claude Fable 5.1 | Formally verified | AI-led | mathematics |
| 2026-08-28 | Lean proof that the percolation probability vanishes at the critical point in every dimension | Anthropic | Anthropic Claude models, versions not stated | Claimed | AI-led | mathematics |
| 2026-08-23 | A proposed complex structure on the six-sphere | Anthropic | Claude, version not stated | Claimed | AI-assisted | mathematics |
| 2026-08-10 | Proportion of zeta zeros on the critical line raised to 67.25% | Anthropic | Claude (unreleased research version) | Formally verified | AI-led | mathematics |
| 2026-07-19 | Counterexample to the Jacobian conjecture in dimension three | Anthropic | Claude Fable 5 | Formally verified | Collaborative | mathematics |