Internal Claude model proves 18-year-old Aaronson-Ambainis quantum conjecture in 3 days
新智元 · wechat · 2026-11-07
Anthropic's Physical Superintelligence team says an internal Claude model (speculated to be an unreleased ClaudeModel4) proved the Aaronson-Ambainis conjecture — open since 2008 — in just 3 days, with the theorem formally verified in Lean.
- The conjecture formalizes whether quantum computers can achieve exponential speedups on inputs without periodic structure, bounding quantum advantage: classical machines can simulate such quantum computations with only polynomial overhead.
- The result kills the blind faith in universal "quantum supremacy" while leaving legitimate quantum advantage intact.
- The team had resolved five open quantum information problems last month; model instances iteratively tightened the exponent from 22 to 11 to 7 during the proving process.
More from Models
- Dev combines Grok Super with abliterated GLM 5.2 and DeepSeek Flash Heretic for agent skill — vincent_koc · 2026-11-08
- OpenAI releases AI-generated math manuscript claiming the Exponential Time Hypothesis is false — jiqizhixin · 2026-11-08
- OpenAI Daybreak Blue lockout: hardware key swap triggers 403 verification failure — Formal_Kick2995 · 2026-11-08
- Google reportedly blocking Gemini subscription use in third-party coding harnesses, flagging accounts for ToS violations — PixelCactus1 · 2026-11-08
- Alnie Seed 9B model's benchmarks questioned: mismatched numbers, FP4 speed vs FP16 scores — cneuralnetwork · 2026-11-08
- Experiment: Claude commits to answers more firmly than ChatGPT on 29 of 34 science questions — AymericRoucher · 2026-11-08