By verification grade
2 of 18 carry an independent check. Open the review queue.
Open longest before falling
- 57 yrMatrix multiplication exponent lowered to below 2.371177posed 1969 · AlphaEvolve
- 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)
From the 12 of 18 entries recording a posed year. Add a missing one.
| Date | Finding | Lab | Model | Verification | Autonomy | Field |
|---|---|---|---|---|---|---|
| 2026-09-02 | A quantum oracle separating QMA(2) from QMA | MIT / Columbia / University of Washington | ChatGPT 5.6 Sol | AI-assisted | computer-science | |
| 2026-08-31 | Unrestricted Boolean multiplicative complexity of four-term binary polynomial multiplication | Independent | GPT-5.6 Sol; Claude Opus 5 | Formally verified | AI-assisted | computer-science |
| 2026-08-29 | Randomized metric distortion improved to 2.3282 | Independent | GPT-5.6 Sol; Claude Opus 5.0 | AI-led | computer-science | |
| 2026-08-26 | Rapid mixing for spin systems on graphs of girth at least five | Independent | GPT-5.6 Sol Ultra | Collaborative | computer-science | |
| 2026-08-24 | Optimal linear encoding rate for lossy compression of Bernoulli sources | Independent | GPT-5.6 Sol | AI-led | computer-science | |
| 2026-08-20 | Marton's inner bound shown not to reach the broadcast channel capacity region | Independent | GPT-5.6 Sol, Claude Fable 5 and Claude Opus 5 | AI-assisted | computer-science | |
| 2026-08-19 | Counting linear extensions below the 2^n barrier | Independent | Claude Opus 5; ChatGPT 5.6 Sol | AI-led | computer-science | |
| 2026-08-17 | Matrix multiplication exponent lowered to below 2.371177 | Google DeepMind | AlphaEvolve | Search scaffold | computer-science | |
| 2026-08-11 | A prescribed Hamiltonian cycle that a book-embedding algorithm cannot produce | Independent | OpenAI Codex, with Claude for adversarial review | Formally verified | AI-assisted | computer-science |
| 2026-07-28 | Kemeny rank aggregation shown NP-hard for three voters | Independent | GPT-5.6 Sol Ultra, Claude Fable 5 | Formally verified | AI-led | computer-science |
| 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 |