By verification grade
9 of 22 carry an independent check. Open the review queue.
Open longest before falling
- 331 yrImproved lower bound for the 11-dimensional kissing numberposed 1694 · AlphaEvolve (Gemini-based)
- 70 yrImproved bound for the Erdős minimum-overlap problemposed 1955 · AlphaEvolve (Gemini-based)
- 56 yr4×4 complex matrix multiplication in 48 scalar multiplicationsposed 1969 · AlphaEvolve (Gemini-based)
- 53 yrNew lower bound constructions for the cap set problemposed 1970 · FunSearch (PaLM 2 / Codey)
From the 7 of 22 entries recording a posed year. Add a missing one.
| Date | Finding | Lab | Model | Verification | Autonomy | Field |
|---|---|---|---|---|---|---|
| 2026-05-21 | Nine Erdős problems and 44 OEIS conjectures proved with machine-checked proofs | Google DeepMind | AlphaProof Nexus (LLM + Lean) | Formally verified | Search scaffold | mathematics |
| 2026-01-15 | Structure in Bruhat intervals of permutation groups | Google DeepMind | AlphaEvolve (Gemini-based) | Independently checked | Search scaffold | mathematics |
| 2025-11-03 | AlphaEvolve across 67 problems: 20 improvements, 8 regressions | Google DeepMind | AlphaEvolve (Gemini-based) | Independently checked | Search scaffold | mathematics |
| 2025-09-17 | New families of unstable singularities in fluid equations | Google DeepMind (with Brown, NYU and Stanford) | Physics-informed neural networks with Gauss–Newton optimisation | Search scaffold | mathematics | |
| 2025-07-21 | Gold-medal standard at the 2025 International Mathematical Olympiad | Google DeepMind | Gemini Deep Think (advanced version) | Independently checked | AI-led | mathematics |
| 2025-05-14 | 4×4 complex matrix multiplication in 48 scalar multiplications | Google DeepMind | AlphaEvolve (Gemini-based) | Independently checked | Search scaffold | computer-science |
| 2025-05-14 | Improved lower bound for the 11-dimensional kissing number | Google DeepMind | AlphaEvolve (Gemini-based) | Independently checked | Search scaffold | mathematics |
| 2025-05-14 | Improved bound for the Erdős minimum-overlap problem | Google DeepMind | AlphaEvolve (Gemini-based) | Independently checked | Search scaffold | mathematics |
| 2024-11-20 | A neural decoder that identifies quantum errors more accurately than hand-designed methods | Google DeepMind / Google Quantum AI | AlphaQubit | Peer reviewed | AI-led | physics |
| 2024-07-25 | Silver-medal standard at the 2024 International Mathematical Olympiad | Google DeepMind | AlphaProof + AlphaGeometry 2 | Independently checked | AI-led | mathematics |
| 2024-05-08 | Joint structure prediction for proteins, nucleic acids and ligands (AlphaFold 3) | Google DeepMind / Isomorphic Labs | AlphaFold 3 | Peer reviewed | AI-led | biology |
| 2024-01-17 | Olympiad geometry solved without human demonstrations | Google DeepMind | AlphaGeometry | Peer reviewed | Search scaffold | mathematics |
| 2023-12-14 | New lower bound constructions for the cap set problem | Google DeepMind | FunSearch (PaLM 2 / Codey) | Peer reviewed | Search scaffold | mathematics |
| 2023-12-14 | Improved heuristics for online bin packing | Google DeepMind | FunSearch (PaLM 2 / Codey) | Peer reviewed | Search scaffold | computer-science |
| 2023-11-29 | Large-scale prediction of new stable crystalline materials (GNoME) | Google DeepMind | GNoME (graph neural network) | Disputed | Search scaffold | materials |
| 2023-11-14 | Medium-range weather forecasts from a graph neural network beat the operational physics model | Google DeepMind | GraphCast | Peer reviewed | AI-led | climate |
| 2023-09-19 | Pathogenicity predictions for 71 million human missense variants | Google DeepMind | AlphaMissense | Peer reviewed | AI-led | medicine |
| 2023-06-07 | Faster sorting routines discovered and merged into the LLVM C++ library | Google DeepMind | AlphaDev (AlphaZero-based) | Independently checked | Search scaffold | computer-science |
| 2022-10-05 | Faster matrix-multiplication algorithms found by reinforcement learning | Google DeepMind | AlphaTensor (AlphaZero-based) | Peer reviewed | Search scaffold | computer-science |
| 2022-02-16 | Deep reinforcement learning controls tokamak fusion plasma | Google DeepMind | DeepMind RL controller | Peer reviewed | Search scaffold | physics |
| 2021-12-01 | Two theorems found by machine pattern-spotting in knot theory and representation theory | Google DeepMind (with Oxford and Sydney) | Supervised networks with gradient-based attribution | Peer reviewed | AI-assisted | mathematics |
| 2021-07-15 | Accurate protein structure prediction across the known proteome (AlphaFold2) | Google DeepMind | AlphaFold2 | Independently checked | AI-led | biology |