← 全部话题

#形式化数学

1 条相关报道 · 1 期日报 · 每日更新的形式化数学新闻时间线

#形式化数学时间线 · 新到旧

9月5日星期六

Anthropic 称 Claude 11 天写出费马大定理首个完整机器验证证明，1300 万行 Lean

三十年没人做完的形式化，机器用 11 天做完了，数学证明的验收标准从此有了新底线。

// 相关标签 — 常与 #形式化数学同期出现

#Anthropic #OpenAI #英伟达 #HuggingFace #DeepSeek #华为昇腾 #智谱 #月之暗面