AI 时代发表困境：读懂证明、抢发速度与防被截胡三者难兼得

jd_pressman · x · 2026-09-18

jdpressman 讨论了 AI 辅助研究时代的发表悖论：我们想要的多个目标彼此冲突——要求（人或模型）读懂所发表的证明，就与快速发表以在模型迭代间保住署名权相冲突，又与想让中间结果保密以免被抢发相冲突。

他在与 @doomslide 的讨论中提到，自己曾让模型 Astra 尝试 Collatz 猜想作为消遣，发现超过某个程度后，不借助他人的既有工作，这类探索在 token 成本上根本不划算。这条帖折射出 AI 加速数学研究后，学术署名、验证严谨性与保密策略之间的结构性张力。