Claude 完成费马大定理的首次 Lean 形式化证明

Anthropic 的 Claude 使用 Lean 证明助手完成了费马大定理的首次形式化证明，这也是迄今规模最大的 Lean 证明。专家原本认为这一工作需花费多年时间。

内容详情 · 原文链接

via AI Pulse | 全球 AI 动态简报 - Telegram Channel