📰 PSI Announces Aaronson–Ambainis Conjecture Proof: Non-Public Anthropic Model, Lean Formalization Open-Sourced
On 2026-11-06, Physical Superintelligence (PSI, @psipbc) said its internal research system, running non-public Anthropic model instances, produced a complete proof of the Aaronson–Ambainis conjecture (open since 2008) on day three, accepted by Lean, then improved the result twice.
💬 What's your take? Join the discussion in the comments.
