Published at 11/7/2026, 5:14:12 AM · 17 views
📰 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.
Read the original Chinese version
📰 PSI 宣布证出 Aaronson–Ambainis 猜想：非公开 Anthropic 模型三日得出证明，Lean 形式化已开源
2026-11-06，Physical Superintelligence（PSI，@psipbc）宣布：其内部研究系统在非公开 Anthropic 模型实例上，于第三天得到 Aaronson–Ambainis 猜想（2008 年起开放）的完整证明，并经 Lean 接受；随后又改进两次。
💬 你怎么看？欢迎在评论区讨论。
#PSI #Physical Superintelligence #Aaronson-Ambainis
0 Comments