By verification grade
6 of 7 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 complex structure on the six-sphereposed 1948 · Claude, version not stated
From the 3 of 7 entries recording a posed year. Add a missing one.
| Date | Finding | Lab | Model | Verification | Autonomy | Field |
|---|---|---|---|---|---|---|
| 2026-09-25 | Six-particle MHV amplitude in planar N=4 super Yang-Mills computed at nine loops | Anthropic | Claude Fable 5.1 (in Claude Science) | AI-led | physics | |
| 2026-09-23 | Agent-run genome survey identifies array-associated reverse transcriptases in jumbo phages | Anthropic | Claude Mythos 5 | Claimed | Collaborative | biology |
| 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 complex structure on the six-sphere | Anthropic | Claude, version not stated | Independently checked | 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 |