十八年没解开的量子计算猜想，被一个模型拆掉了。PSI 实验室的 David Turturean 拿到了 Anthropic Fable 5.2 的早期访问权限，用它证明了悬置已久的 Aaronson-Ambainis 猜想，且整个证明经过 Lean 的自动形式化验证：并非“看起来对”，而是机器逐行检查过的对。这件事的分量不在量子计算本身，而在于它第一次把“AI 做科学发现”从演示视频拉进了可验收的工程流程。
PSI 想卖的显然不是又一个聊天窗口。它的赌注是专用模型框架加脚手架：模型负责在巨大的搜索空间里试探、变形、自我否定，脚手架负责把猜想拆成可验证的子命题，最后交给 Lean 这类证明助手做终审。这套组合的商业价值在于把科学发现里最贵的那部分，也就是试错和形式化，变成可计价的算力消耗。实验室不必再养一个十人团队磨上三年，可能只需要买一段被精心编排的推理预算。
但案例和生意之间隔着一条沟。这次能成，很大程度因为 Turturean 本人清楚该问什么问题，Fable 5.2 的早期权限也不是谁都能拿到。真正的规模化要回答两件事：脚手架能不能跨领域复用，验证闭环能不能在没有人类专家盯着的时候自己收敛。两个答案都是肯定的，卖“科学发现”就会像卖云服务一样平常；只要有一个是否定的，这就只是一篇漂亮的个案报道。
