Danielle Fong 谈 AI 数学论文潮：Lean 能编译，但论文如迷幻文本难读

DanielleFong · x · 2026-10-09

Danielle Fong 回应「AI 正在改变数学研究」的讨论，表达复杂心态：她过去数年深度实践 AI、深知其潜力——Lean 证明确实能编译、智能体似乎被自己的推理说服、人机循环甚至在改进已知界。

但她指出这批 AI 数学研究论文本身可读性堪忧：没有图示、参考文献像从推理层激活中追溯编织的网、722 份推理轨迹只公开 11 份且经过摘要、用户无法直接与发现结果的智能体交互。她认为这些文档与几个月前未经 Lean 验证的「AI 精神病」式产出读起来滑腻相似——深入理解哪怕一篇的方法与意义都极其费力，且遍布歧路与迷宫式引用。这构成对 AI 数学成果「可验证但难审计」现状的实质批评。