OpenAI数学结果被批slop，几天内被研究者改进

OpenAI 最近在数学问题上给出了一组结果。几天后，研究者就明显改进了这些结果，并在 Lean 里验证过。改进的代码和结果发在 GitHub 仓库 CrocSwap/integer-mult-bounds 上。这个仓库做的是整数乘法里的界限问题。

有人一开始管 AI 生成的数学证明叫 slop。有用户指出，这个说法没撑多久——有人几天内接手改进了结果，再这么叫说不过去。

参与的人不止一个。大约六个人向这个仓库提了 PR。有人把问题交给 OpenAI 的 6.1 Sol 模型试了试，发现界限还能再压低；另有人说，自己已经看到过把界限压到 2^-20 的构造。这些结果是不是接近最优，目前没有明确说法。

讨论里有几种说法。一种描述是：机器做数学，人类在后面追着优化。另一种提醒则是：证明还是得有人来查、找错、再改。还有人把重点放在起点上——AI 第一个结果不完美没关系，能快速拿到一个有用起点，研究过程可能就不一样。有一句总结很短：人类加 AI，大于 AI。也有人说，这更像给研究者一份快得多的初稿，而不是取代研究者。

话题后来转到职业处境。有评论拿木匠打比方：AI 是更好的工具，就像电动工具比手动工具更快、更干净。还有评论直接引了一句：“你不会被 AI 取代，你会被使用 AI 的人取代。”讨论里的风险判断指向依赖死记硬背的人。AI 工具被形容成终极的机械学习者；所谓创造力，不过是把一套机械学习结果和另一套组合成新形式。说话的人补了一句：这不是贬低，这种组合本身能做好多事。只靠记忆工作的人，会发现自己要跟一种工具竞争。多数人更愿意跟这种工具待在一起，而不是跟习惯死记硬背的人相处。

也有人对这场讨论的意义表示怀疑：如果输出有价值，有技能、有知识的人自然会去验证、改进；没有，就随它去。评论区还冒出一句调侃：那下一步大概是光速旅行了。