PSI公布Aaronson-Ambainis猜想证明

Physical Superintelligence（PSI）11月6日公布Aaronson-Ambainis猜想的证明，给出显式指数7。PSI称，证明由多个Anthropic未公开模型的实例组成的研究系统在第3天写出，Lean 4形式化全部通过检查；模型名称未公开，Anthropic未就此置评。 该证明尚未经同行评审，斯坦福Blanc、Docter、Strassle、Tan四人正在审读并撰写面向专家的简明版。论文第1.3–1.5节和第9节等没有形式化对应，Lean内核、Mathlib的定义和跑检查的机器仍需信任。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。