Anthropic 用 AI 形式化费马大定理证明
jlebar · hn · 2026-09-05
Anthropic 发布研究：将费马大定理的证明进行机器可验证的形式化。这是 AI 辅助形式化数学的重要案例，展示了大模型在长而复杂的数学证明形式化中的能力与局限，对 Lean/形式化社区和 AI for Science 都有参考价值。
「研究」频道最新
- 模型会模糊记住「概念」而非原文:一场关于 SAE 特征与记忆的争论 — voooooogel · 2026-09-05
- ICML 立场论文:「无标签」不等于「无人类监督」,呼吁披露先验来源 — serrjoa · 2026-09-05
- 浙大与达摩院 VLA-Corrector：小模型审计划，机械臂成功率大涨 — 机器之心 · 2026-09-05
- 1.5ms 检出幻觉:开源 Spanda 比 Semantic Entropy 快 9 万倍 — Otherwise_Nobody_721 · 2026-09-05
- Bug Hunt Bench 发布:105 个真实 Bug 横测 GPT-6、Claude、Grok 等前沿模型 — PawelHuryn · 2026-09-05
- 数学家称同侪重名刊名校轻真理，AI 证明引文化反思 — avt_im · 2026-09-05