Anthropic 的 Claude 在 11 天内形式化了费马大定理

Anthropic 的人工智能模型 Claude 在短短 11 天内自动形式化了费马大定理，实现了数学计算领域的里程碑。这一壮举涉及生成 1300 万行精益代码和 29,500 个中间定理来完成证明，而这一过程之前预计需要数年时间。 Claude 的成功表明了人工智能能力的显着进步，并且可能会影响其在竞争性人工智能模型领域的地位。这一成就凸显了 Anthropic 在突破人工智能技术界限方面的竞争地位。

克劳德对费马大定理的快速形式化似乎与人们对 Anthropic 人工智能能力的信心增强相一致。

市场定价表明参与者认为这一发展支持了 Anthropic 的模型成为竞争性领导者。

这一成就可能表明人们对人工智能在自动化复杂数学证明中的作用的看法发生了转变。

看什么

观察家们很想知道 Anthropic 的 Claude 在这一突破之后是否还能保持在人工智能模型排行榜上的领先地位。市场的反应，尤其是“2026 年 9 月最佳人工智能模型”类别的反应至关重要，因为当前的定价表明人们对 Anthropic 继续占据主导地位的强烈预期。 Anthropic 的进一步进展或公告可能会导致市场情绪和排名的调整。

获取由 Vera 提供支持的实时预测市场分析。报名参加维拉。