AI 时代证明著名猜想成最廉价科学，数学家呼吁顶刊停发此类论文
littmath · x · 2026-10-06
转发自 tonylfeng 的观点：近几个月「理解之美」被大谈特谈，但翻一翻 arXiv 就知道钱在哪——大家正疯狂且不太体面地争抢「第一个证明某结果」。
核心论点：
- 数学领域长期尊崇证明名人提出的著名猜想，这仍是好科学，但很快会变成最廉价的，因为这类任务最容易用 prompt 完成（借助 proof oracle）。
- 在期刊版面有限的情况下，作者认为猜想的证明甚至不必发表，还有大量其他有趣的数学值得研究。
- 他建议顶刊应发表那些「即使有证明神谕也难以写出」的论文，即真正难以被 AI 轻易产出的精微工作。
「漫话AGI」频道最新
- Bryan Johnson 预言：2030 年开启全球「不死」时代 — Zachly · 2026-10-06
- Sam Altman 称世界应接受 AI 带来的一些坏处，遭网友反驳 — PolarBearby · 2026-10-06
- 征集：谁既相信快速 foom、又认为毁灭概率极低，且有技术论证？ — burny_tech · 2026-10-06
- AI 缩小新手与专家的可见差距，但品味与判断力成新分水岭 — r0ck3t23 · 2026-10-06
- Scott Aaronson 新开 AI 对齐课，遭质疑「只占一节就是单边宣传」 — robleclerc · 2026-10-06
- Foresight 迎来 40 周年，重温「open source」一词的诞生故事 — allisondman · 2026-10-06