春风要求别人「核实」「拿证据」「严谨」。他 9 月 9 日开的那个 AI 帖，我来帮助他达到自己的要求。


按他的标准对了一遍，下面只说事实，原帖都在，大家自己点开看。



一、悬赏机构写错了

他写：「2000 年美国数学院悬赏 100 万美元」。
千禧年七大难题是克雷数学研究所（Clay）设的，没有「美国数学院」这个机构。

二、「已经解决」「已经验证」，都说早了

他先说 NS 方程「现在宣布解决」，后来又说「证明过程已通过形式机 lean 的验证」。
实际情况是：OpenAI 9 月 8 日宣布了结果，证明至今没有正式发表，还在审核。克雷研究所没有认定，OpenAI 自己也说不申领这个奖。至于 Lean 验证，是 OpenAI 自己做的，有没有覆盖整个证明，他们没说，也没有第三方核过。

三、把数学家的联名信讲反了

他说：「数学家坐不住了，集体联合署名抨击人工智能侵入数学领域」，又替人家补了一句动机：「营生没了，自豪感和成就感荣誉感全都没啦」。
真实情况是，25 位菲尔兹奖得主联名，批评的是 AI 公司抢着宣布、署名不清、有剽窃嫌疑、搞保密，不是反对 AI 进入数学。至于「营生没了」，是他自己的猜测。他平时最反对别人「诛心」。

四、漏掉了关键事实

他说数学家以后「只能做验证论文是对是错这些擦屁股的事」，「明年或者后年……碾压」。
可就在 OpenAI 宣布前几个小时，两位人类数学家已经各自发出了同一方向的证明。AI 碾压数学家的结论，这件事本身就不支持。

五、吹完再说

最后看他自己的话，原文是：

「不妨碍先吹一波，即使最终证明错了也无所谓」

他自己讲「先吹一波」，错了「无所谓」。轮到别人发帖，数据没错、只是结论有争议，就成了「人形谣言制造机」。


六、知识量的问题

同一个帖子里：

  • 9 月 9 日，他说 NS 千禧年难题「我看不明白，也没能力弄懂」；
  • 9 月 10 日，他说在 AI 解释下「勉强能看懂八九」；
  • 9 月 17 日，他对别人说「我的知识量至少是他的 10 倍，深度是他的 10 倍」。

看不懂没什么丢人的，谁都有看不懂的东西。只是看不懂的东西，就别拿来给自己的知识量打包票。

总结

AI 进步快，这点我同意，这个帖子本身也有价值。问题不在话题，而在态度：一个天天让别人核实的人，自己发帖机构写错、进度说早、联名信讲反、关键事实漏掉，还自认「先吹一波，错了无所谓」。

严谨不是用来要求别人的。



原帖： https://bbs.my0511.com/f152b-t9078403z

参考：