Anthropic internal model reportedly proved 18-year-old Aaronson–Ambainis quantum conjecture in 3 days
rickasaurus · x · 2026-11-07
rickasaurus amplifies a claim that an unreleased internal Anthropic model helped solve the 18-year-old Aaronson–Ambainis conjecture: Physical Superintelligence says its AI research system proved the conjecture on day three, Lean verified the proof, and the system improved it twice. The result shows quantum computers cannot achieve exponential query speedups on almost all random yes/no inputs; Stanford researchers called it "a huge result." Unconfirmed by Anthropic — treat as a credible-sounding leak. Comment: "These models should be available to people outside of Anthropic."
More from Models
- Your LLM Is Secretly a Reward Model: Revisiting Stanford's DPO Paper — dotey · 2026-11-07
- Meta's Muse switches to new specialized models: Active Memory eval jumps 76%→90% — alexandr_wang · 2026-11-07
- Free Chinese AI models nearly match OpenAI's top secret cyber model in hacking test — Wired AI · 2026-11-07
- Drex Max answers in 183ms median, ~10x faster than GPT-6 Sol in tests — testingcatalog · 2026-11-07
- Astra edit fixes looping by changing just 0.016% of weights; Nasdaq drops 6.3% — eyishazyer · 2026-11-07
- Friday Checks fact-checks the week in AI: GPT-6 Cyber real, China ban is a draft — eyishazyer · 2026-11-07