By verification grade
0 of 4 carry an independent check. Open the review queue.
Open longest before falling
- 177 yrBounded prime gaps improved to 212, with a Lean certificate of the deductionposed 1849 · AxiomProver
- 1 yrBrowning-Sawin conjecture on random sign-coefficient hypersurfaces proved, with a Lean formalization assuming existing literatureposed 2025 · AxiomProver
From the 2 of 4 entries recording a posed year. Add a missing one.
| Date | Finding | Lab | Model | Verification | Autonomy | Field |
|---|---|---|---|---|---|---|
| 2026-09-17 | Huang-Jiang-Oblomkov conjecture proved for every torus-knot singularity, with a Lean formalization conditional on two literature inputs | Axiom Math | AxiomProver | Claimed | AI-assisted | mathematics |
| 2026-09-16 | Browning-Sawin conjecture on random sign-coefficient hypersurfaces proved, with a Lean formalization assuming existing literature | Axiom Math | AxiomProver | Claimed | AI-assisted | mathematics |
| 2026-09-03 | Bounded prime gaps improved to 212, with a Lean certificate of the deduction | Axiom Math | AxiomProver | Claimed | Collaborative | mathematics |
| 2026-08-18 | Bounded prime gaps of 246 formalized in Lean from Bombieri-Vinogradov | Axiom Math | AxiomProver | Formally verified | Collaborative | mathematics |