Anthropic 发起数学自动形式化项目，号称数学界的 AlphaFold
burny_tech · x · 2026-09-09
jdlichtman 发布文章介绍「MAP: Mathematics Autoformalization Project」（数学自动形式化项目），声称「我们即将把所有已知数学翻译成形式化代码」，并称这一项目相当于数学领域的「人类基因组计划」，或当代的 AlphaFold。
文中提到 Anthropic 于 9 月 4 日「震撼了数学界」，暗示该项目与 Anthropic 的模型能力进展相关。项目目标是用 AI 将现有全部数学知识转化为可机器验证的形式化证明代码，被视为 AI for Math 方向的标志性动作。
「研究」频道最新
- NVIDIA 开源 IMO 金牌系统 Nemotron:含模型、数据集与 200 道新题 — kuchaev · 2026-09-09
- Navier–Stokes新进展震动数学圈,欧拉方程爆破解研究者感慨 — burny_tech · 2026-09-09
- OpenAI 内部模型 88 小时攻克纳维-斯托克斯难题，引爆数学圈撞车风波 — Simon Willison · 2026-09-09
- GEPA 优化提示词,Meta Muse Spark 1.1 成功率 22.2% 升至 100% — iamrobotbear · 2026-09-09
- 陶哲轩讨论:100 个解 90 篇论文,成果产出与写作的成本权衡 — tak3sh8 · 2026-09-09
- 陶哲轩论数学难度地形：新工具削平难度，也拓展可探索边界 — burny_tech · 2026-09-09