By verification grade
1 of 3 carry an independent check. Open the review queue.
Open longest before falling
- 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 2 of 3 entries recording a posed year. Add a missing one.
| Date | Finding | Lab | Model | Verification | Autonomy | Field |
|---|---|---|---|---|---|---|
| 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 |