Physical Superintelligence announces AI-generated proof of Aaronson-Ambainis conjecture

Pyros-SD-Models · reddit · 2026-11-07

Physical Superintelligence PBC officially announced a proof of the Aaronson-Ambainis conjecture, one of the central open problems in quantum complexity with major implications for quantum computing speedup. The proof was reportedly found by a system running a non-public Anthropic model in 3 days and formally verified in Lean.

Related event: PSI research system proves Aaronson-Ambainis conjecture in three days using unreleased Anthropic model(5 posts)→

Original post →

More from Research

• OpenVax revamps personalized cancer vaccine toolkit; OpenVax2 adds long-read support — iskander · 2026-11-07
• Google's Muir linear attention fits 10M tokens in a 25MB state, beats GDN-2 — CategoryNormal149 · 2026-11-07
• Ollama's prompt cache changes LLM outputs even at temperature 0 with fixed seed — Full-Travel857 · 2026-11-07
• OpenAI launches BioBasicsBench: 100 real wet-lab tasks to stress-test AI agents — OpenAI · 2026-11-07
• Scaling systolic array diagrams from 8x8 to 64x64: 4096 PE matrix multiply visualized — satnam6502 · 2026-11-07
• Aristotle formally verifies FP16 systolic matrix multipliers up to 64x64 in Lean 4 — satnam6502 · 2026-11-07

Research channel →