By verification grade
2 of 8 carry an independent check. Open the review queue.
Open longest before falling
- 56 yr4×4 complex matrix multiplication in 48 scalar multiplicationsposed 1969 · AlphaEvolve (Gemini-based)
- 53 yrFaster matrix-multiplication algorithms found by reinforcement learningposed 1969 · AlphaTensor (AlphaZero-based)
- 52 yrImproved heuristics for online bin packingposed 1971 · FunSearch (PaLM 2 / Codey)
- 27 yrCounterexample to the Dinitz–Garg–Goemans conjectureposed 1999 · GPT-5.6 Pro
From the 4 of 8 entries recording a posed year. Add a missing one.
| Date | Finding | Lab | Model | Verification | Autonomy | Field |
|---|---|---|---|---|---|---|
| 2026-07-22 | Counterexample to the Dinitz–Garg–Goemans conjecture | Independent | GPT-5.6 Pro | Claimed | AI-led | computer-science |
| 2025-11-20 | Early science acceleration experiments with GPT-5 | OpenAI | GPT-5 | Peer reviewed | AI-assisted | computer-science |
| 2025-09-25 | Limits to black-box amplification in QMA, with the key step written by GPT-5 | UT Austin / CWI Amsterdam | GPT-5 Thinking | AI-assisted | computer-science | |
| 2025-05-14 | 4×4 complex matrix multiplication in 48 scalar multiplications | Google DeepMind | AlphaEvolve (Gemini-based) | Independently checked | Search scaffold | computer-science |
| 2025-03-12 | A fully machine-generated paper passed workshop peer review | Sakana AI | The AI Scientist-v2 | AI-led | computer-science | |
| 2023-12-14 | Improved heuristics for online bin packing | Google DeepMind | FunSearch (PaLM 2 / Codey) | Peer reviewed | Search scaffold | computer-science |
| 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 |