AI 冲击数学界：AI 生成证明能否发表、功劳归谁引激辩

AI 生成证明引发数学界规范之争：Jabaluck 反驳「不应发表自己不理解的 AI 结果」这一流行观点，认为旧规范形成于可验证性稀缺的年代；jdpressman 则聚焦署名困境——若通过 prompt 让模型在 Lean 中解决 Collatz 猜想，人只能主张部分功劳。他还指出 AI 消除了「抢发」的天然摩擦，让机会主义者不看文献即可抢发成果，暴露学界早已存在的问题：读懂证明、抢发速度与防被截胡三个目标难以兼得。

2026-09-16 ~ 2026-09-18 · 4 条相关

• 数学家争论:AI 验证的成果该不该直接公开发表 — littmath · 2026-09-16
• AI 时代发表困境：读懂证明、抢发速度与防被截胡三者难兼得 — jd_pressman · 2026-09-18
• AI 证明 Collatz 该算谁的功劳？学界署名困境激辩 — jd_pressman · 2026-09-18
• AI 消除了数学界「抢发」的天然摩擦，旧问题暴露无遗 — jd_pressman · 2026-09-18