分类：大模型
一项 18 年量子难题成为新样本
据 TechCrunch 报道，初创研究实验室 Physical Superintelligence（PSI）的技术人员 David Turturean 通过早期访问 Anthropic 尚未正式发布的 Fable 5.2 模型，参与解决了一项已有 18 年历史的量子计算问题：Aaronson-Ambainis 猜想。Turturean 是近期 MIT 毕业生，曾推迟攻读 MIT 著名计算机科学与人工智能实验室硕士的计划，加入 PSI。该猜想关注量子计算机在哪些场景下能够比经典计算机更快解决问题。
PSI 的结果并不是证明量子计算机在所有困难问题上都具有速度优势，而是关闭了其中一条可能路径。Turturean 将其描述为一个“负面结果”：研究者可以明确知道，某条方向不再值得继续投入。提出该问题的研究者之一 Scott Aaronson 表示，他并不完全理解证明，但相信其正确性，因为证明已经被自动形式化到 Lean 中，并由 PSI 分享给一组顶尖研究者进行解释。
Aaronson 还提到，完整的 Aaronson-Ambainis 猜想是量子查询复杂性领域最后剩下的重要开放问题之一。他原本以为该问题会出现在 OpenAI 几周前的 Mathocalypse 成果集合中，但没有看到。这个细节说明，不同 AI 研究系统在同类难题上的表现仍存在差异，模型本身之外的问题拆解、工具调用和验证框架同样关键。
模型给出证明后，科学界如何验收
在科研场景中，模型输出答案只是第一步。PSI CEO Matt Pines 表示，一个有效的研究系统需要包含大量与工具、记忆系统和模拟基础设施相关的能力，而不只是单一问答模型。这样的系统才能从广度和深度上处理问题，并评估多种潜在方案。
这次成果的发布节奏也反映出未发布模型带来的特殊问题。由于 PSI 需要等待 Anthropic 的模型接近发布，团队得以暂时保留结果，并与相关研究人员分享，以便更好理解证明内容。Turturean 说，这是他第一次把由 AI 引出的解法打印出来，逐段阅读，并思考如何让它更自然地呈现给人类研究者。他也意识到，学术界仍会要求他解释这一结果。
这种人工复核和专家沟通，是当前 AI 科研成果进入学术体系的重要过渡方式。Northeastern University 教授、PSI 顾问 Jim Halverson 表示，作为学术研究者，他们希望以正确方式处理这件事。他提到，自己将参加下周在 MIT 举行的一场峰会，物理学家将讨论科学进展速度变化后的应对方式。Halverson 认为，最佳实践仍在出现，透明和联系专家是合理选择。
PSI 的商业化路径：从数据中心到物理验证
PSI 并没有把科研解题当作唯一目标。公司目前的收入来自用其工具优化数据中心，模拟热量、电力、水和声音等变量。按照 Pines 的说法，数据中心站点的表现以及对社区的影响，都直接取决于物理因素。
更长期的目标，是把理论物理层面的突破转化为实际技术。Pines 表示，六到九个月前他与投资人沟通时，仍需要努力论证“理论物理很快将主要由机器负责”这一判断。他承认，目前还没有完全到达那个阶段，但已经处在路上。
相比数学和计算机科学，物理领域的验证更难。Pines 说，物理不同于数学，因为现实世界会让自然对模型拥有投票权。PSI 正在研究如何以最高效方式把计算结果带入实验验证。如果某个结论是自然界的真实规律，就可能被转化为器件或设备，形成 AI 提出想法、人类验证并制造工具的循环。
类似方向也在其他公司出现。素材提到，初创公司 Discovered Materials 上周发布了 100 万美元挑战，鼓励研究者用 AI 理解超导、散热等问题。这表明，AI 辅助科研正在从可直接形式化验证的数学和代码问题，扩展到更依赖实验反馈的物理与材料科学。
行业意义：能力边界和验证机制同时显形
这次案例显示，大模型正在从通用问答走向科研辅助，但它能发挥作用的边界仍然清晰。
- 在数学、理论计算机科学等可形式化验证的领域，AI 更容易给出可被检查的结果。
- 在生命科学的许多分支和物理实验中，现实世界的反馈仍是最终标准，模型只能作为假设生成器。
- 未发布模型的早期访问，正在改变科研发现的时间线，也迫使团队提前考虑发表、解释和专家复核问题。
PSI 的尝试说明，AI 驱动科学发现并不是单一模型能力的展示，而是模型、工具链、形式化验证、实验设计和商业场景的组合。当模型产出的证明仍需要人类研究者整理、解释并承担学术责任时，行业竞争的焦点也从“能否回答难题”转向“能否把答案放进可信的科学流程”。
原创文章，作者：点点，如若转载，请注明出处：https://www.dian8dian.com/wei-fa-bu-anthropic-mo-xing-can-yu-jie-jue-liang-zi-ji-suan
