陶哲轩谈数学证明：为何 AI 需公开展示推理链

r0ck3t23 · x · 2026-08-24

陶哲轩指出数学领域虽庞大且充满错误，但因其要求证明链条完全公开且可验证，从而迫使学者保持诚实，无需依靠虚张声势。文章对比指出，当前 AI 模型多基于人类文本的“结论”而非“推理过程”训练，这导致模型能够流畅地输出“虚张声势”但缺乏实质性证明。作者认为，数学解决这一问题的方案——构建向下追溯到基础公理、且可被机器验证的公开链条——正是构建可靠推理机器的关键。