AI 不只写代码，开始啃数学硬骨头了！悬了 18 年的数学难题被 AI 干掉了？非公开 Anthropic 模型出手，量子圈炸锅

大白话据 Techmeme 转述，AI 物理创业公司 PSI 对外宣布：他们用一套跑着 Anthropic 未公开模型的系统，证明了一个叫 Aaronson-Ambainis 猜想的数学问题。这个猜想从 2008 年提出到现在一直没被解决，属于量子计算和理论计算机科学的交叉地带。简单说，就是 AI 不只是会写代码聊天，还可能开始啃人类数学家卡了很久的硬骨头。不过 PSI 没放出完整证明和验证过程，外界还无法独立核实。

对你意味着如果属实，这是 AI 参与基础数学研究的一个标志性案例，做科研、数学、理论计算机的人都该留意；但先别急着封神，等同行验证。