一句话看懂：Anthropic 于 2026 年 11 月 9 日发布消息称，其预发布测试阶段的 Mythos 5.2 和 Fable 5.2 模型完成了费马大定理的形式化证明，并解出两个黑洞物理开放问题。若这些说法经核实，将意味着大模型的数学推理与科研辅助能力正从“对话工具”转向可验证的推理系统。
事件核心：发生了什么
据 The Verge 记者 Jay Peters 报道并经 Techmeme 收录，Anthropic 在 2026 年 11 月 9 日表示，Mythos 5.2 和 Fable 5.2 在预发布测试期间将费马大定理做了形式化证明，同时解决了两个此前未解的黑洞物理学开放问题。目前公开信息显示，这属于公司自述的测试结果，详细实验设置、证明文本和验证方式尚未在素材中披露，也没有证据表明相关能力已通过 API 或产品向普通用户开放。
为什么重要
费马大定理的形式化证明对推理严谨性和长链条步骤要求很高；黑洞物理开放问题则涉及专业推导和物理直觉。如果结论成立，说明大模型在“可验证的数学与物理推理”上又推进了一步。这类能力对 AI 行业的意义在于：训练和推理的评测边界正从语言理解、代码生成，延伸到科研级问题求解；同时也提高了对算力、验证工具链和人工审阅的需求。不过，预发布测试不等于产品化能力，也不等于同行评审认可的学术成果，行业影响仍取决于后续复现与验证。
对用户/开发者/创作者的影响
对普通用户而言，短期内更可能看到的是相关模型能力逐步用于教育、科普和复杂问题问答，而非直接获得“证明定理”的入口。对开发者来说，值得关注的是 Anthropic 是否会提供数学形式化、符号推理相关的 API 或工具调用能力，以及定价和配额如何设计。对企业采购方，这类进展可能提升 AI 在研发辅助、工程验证等场景的试点意愿，但需要先看可审计的评测报告和失败案例。内容创作者则要留意科学传播中的核验问题：模型生成的推导过程必须与权威证明和验证工具交叉检查，不宜直接当作结论引用。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
值得关注的后续
第一，Anthropic 是否公开测试细节、证明文件或验证流程，是否邀请第三方复现。第二，Mythos 5.2 和 Fable 5.2 是研究原型还是面向 API 的产品线，若面向开发者，开放时间和价格将直接影响采用节奏。第三，竞品是否跟进发布可验证的数学推理评测，以及学术界和监管机构对“AI 宣称解决开放问题”一事的审查标准是否会收紧。
来源：Techmeme
