Unreleased Anthropic model reportedly proves 18-year-old quantum conjecture in 3 days
141_1337 · reddit · 2026-11-07
A research system at Physical Superintelligence (PSI), running a non-public Anthropic model, produced a proof of the Aaronson-Ambainis conjecture in just 3 days. Open since 2008, the conjecture concerns when quantum computers can be exponentially faster than classical ones. The proof, formally verified in Lean, establishes a fundamental limit on quantum speedups.
More from Models
- Mistral's $5.99 student plan bundles $165 worth of DeepSeek and GLM usage — GuillaumeLample · 2026-11-07
- 11,398 real-world robot evals across 124 sites confirm GPT-6 Astra is seriously strong — DJiafei · 2026-11-07
- Google DeepMind's Ivan Leo to reveal how agents cheat on benchmarks at scale at AIE Code — jocarrasqueira · 2026-11-07
- OpenAI launches BioBasicsBench: 100 real wet-lab tasks to stress-test AI agents — OpenAI · 2026-11-07
- SoMark's 1.3B OXR tops olmOCR-Bench, OmniDocBench with pluggable layout module — pmttyji · 2026-11-07
- Tomo launches Dachi 1.0, a companion-focused model beating Opus on retention — Jackyhuang · 2026-11-07