LLM 正在重塑数学证明
推荐指数 60.0 NO. 012 · 2026.10.19
发布2026/10/18Score102Comments133
为什么值得看
数学家 Francesco Maggi 撰文探讨 LLM 生成数学证明的能力边界，呼吁将其整合进 STEM 生态以加速科学发现。对 AI 工程师而言，这是基础科学领域 LLM 落地的关键信号，数学证明的验证 pipeline 可能成为下一个高价值场景。
编辑判断
数学证明场景与代码生成有本质不同：证明的正确性需要人类数学家验证，而 LLM 目前擅长的是'生成候选'而非'保证正确'。这意味着产品形态不会是 AutoGPT 式的自动证明，而是 Copilot 式的人机协作——关键是设计好'生成-验证-反馈'的闭环界面。
值得关注的一个分支是 Lean 等形式化证明助手与 LLM 的结合，OpenAI 和 DeepMind 都在这个方向有布局。如果你在找 LLM 的垂直落地场景，数学/形式化验证领域的工具链缺口比通用编程更大，且付费意愿更强（高校研究经费、国防安全验证）。
社区反馈
负面 112 条评论
核心争论：LLM是数学的黄金时代还是终结，以及Tao等学者是否在'两头下注'保饭碗
I miss articles actually written by Tao.
I also feel like many of the current guest posts have overlapping ideas and arguments and so I get less out of each one of them. Maybe a separate blog for endorsed opinion pieces would be appropriate.
Proofs and Prompts exists already and a lot of articles on Tao's blog are also duplicated there https://proofsandprompts.com/