Checking that a major mathematical proof is correct can take years. Formalization—converting the mat...X：Anthropic (@AnthropicAI)·Sep 5, 2026, 2:50 AM·Anthropic / ClaudeAnthropic 宣布 Claude 上月完成了 Fermat 大定理的首个形式化证明，这是迄今最大的 Lean 证明。