AI数学证明易被高估：模型受限于人类创新速度
Farkle_Griffen2 · reddit · 2026-10-09
面对「如果 AI 能证明、Lean 代码能编译，人类看不懂又何妨」的质疑，作者提出反驳：AI 在数学上的优势是把人类已有的跨领域技术和技巧「抹平」整合，解决人类已接近解决的问题，但无法自己扩大知识的半径。
核心论据：
- AI 公司不把模型输出喂回训练，因为自我蒸馏会导致模型退化——所以 AI 无法从自己生成的证明中学习新思路。
- LLM 难以产生真正新颖的想法，只能重组人类已有知识，因此被限制在「人类创新的速度」上。
- 让数学家淹没在检查非新颖的、复述性的证明中，反而会拖慢人类整体进步。
所属事件:AI 冲击数学引多方论战：能力边界与学科生态之争(16 条相关)→
「漫话AGI」频道最新
- AI 意识之争:自由派天真迷信理性,道德问题非科学可解 — joshalbrecht · 2026-10-09
- 默会知识论文引发新思考：人机互动价值不止于自动化任务 — sebkrier · 2026-10-09
- AI 智能体将催生史上最大官僚系统：机器为机器打工 — brucemacv · 2026-10-09
- Google、Meta、OpenAI 竞造封闭常驻 Agent，AI 生态割裂化引热议 — humblemumble97 · 2026-10-09
- 关于 AI 处决方式的争论:见证死亡是否更体面 — liminal_warmth · 2026-10-09
- 数学博士生谈AI：技术负担大减，但也为手艺人心酸 — Nostalgic_Brick · 2026-10-09