2026-09-10 · 来源：{'name': 'SiliconANGLE p2', 'url': 'https://siliconangle.com/2026/09/04/anthropic-uses-claude-to-formalize-proof-of-fermats-last-theorem/'}
Anthropic 在 2026 年 9 月 4 日发布的博客文章中称,Claude 成功生成了费马大定理这一著名复杂证明的计算机可验证版本。
Anthropic PBC 将其 Claude 模型对准了一道以复杂著称的数学难题。在 2026 年 9 月 4 日发布的博客文章中,该公司介绍了一个项目:Claude 被用来生成费马大定理证明的机器可验证版本——用该公司的话说,这是一个既大名鼎鼎又极其复杂的结果。
这项任务的核心在于形式化。按照博文的表述,证明是一系列论证,用于确立某个数学命题的正确性。然而,写给人类读者的证明无论多么严谨,都依赖读者去检验其中的推理;计算机可验证版本则是以机器能够直接校验的形式呈现论证。这两种形态之间的距离正是难点所在,而 Claude 的任务,就是在一个该公司自己都称之为"高度复杂"的证明上跨越这道鸿沟。
目标的选择赋予了这项任务分量。按照 Anthropic 的描述,费马大定理是一个著名的数学命题,而验证它的证明恰恰是形式化工作所要捕捉的那类复杂论证。对于 AI 开发商而言,这类任务的吸引力是结构性的。
萬安算交所 AIXX · 算力硬件实名会员制交易平台 · 进入货源大厅