Anthropic(@AnthropicAI)· Anthropic (@AnthropicAI)·· 2026-09-05AI 评估 · 74/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
Anthropic 称 Claude 完成费马大定理首个形式化证明
Checking that a major mathematical proof is correct can take years. Formalization—converting the mat...
AI 导读
Anthropic 表示，上月 Claude 完成了费马大定理的首个形式化证明，即把数学推理转成 Lean 等计算机证明助手可验证的形式，该项目此前被认为需耗时多年。
来源：Anthropic(@AnthropicAI) · x.com