主要来源VnExpress Số hóa
查看原文事件专题 ·多源确认
Anthropic 未发布模型帮助证明 Aaronson-Ambainis 猜想
Anthropic 一个尚未公开发布的模型帮助科学界证明了 Aaronson-Ambainis 猜想，这是量子计算领域存在多年的未解问题。 该成果的意义在于：此前证明这类数学猜想需要研究者投入数月甚至数年的手工推导，而模型参与后加速了关键论证的完成。Aaronson-Ambainis 猜想涉及量子算法的结构性限制，是量子计算理论基础中的核心开放问题之一。 这也是前沿 AI 模型在基础数学研究中的代表性案例，显示 Anthropic 的模型能力已延伸到科研验证场景，而不限于编程与写作。
当前结论
Anthropic 一个还没对外发布的模型，帮数学家搞定了一个悬了多年的量子计算猜想。做科研或者关心 AI 能不能干真数学的，这个案例很值得看看它到底怎么参与证明的。
11 个信源63° AI 热度最后更新 2026/11/10 02:00:00
证据链
11 个信源冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。