Anthropic 用 AI 形式化费马大定理证明
jlebar · hn · 2026-09-05
Anthropic 发布研究：将费马大定理的证明进行机器可验证的形式化。这是 AI 辅助形式化数学的重要案例，展示了大模型在长而复杂的数学证明形式化中的能力与局限，对 Lean/形式化社区和 AI for Science 都有参考价值。
「研究」频道最新
- NEJM AI 研究:AI 诊疗建议花费是医生的 3.2 倍,防御性医疗更激进 — dvir_a · 2026-10-22
- BakerLab 联手 NVIDIA 发布 RFD4-Proteina，蛋白质设计模型全面超越现有方案 — AllThingsApx · 2026-10-22
- 自适应采样让触觉皮肤读出率达 kHz,捕捉毫秒级接触 — _krishna_murthy · 2026-10-22
- 剪切力感知让机械臂「隔工具」感知外部接触 — _krishna_murthy · 2026-10-22
- 约翰霍普金斯发布 OpenTac：可在任意机器人表面自动定制触觉皮肤 — _krishna_murthy · 2026-10-22
- 用 LLM 写高 assurance 密码学代码：作者自述 Lean 形式化验证实践 — jedisct1 · 2026-10-22