bantel 斥 AI 数学热是「数学精神病」：脱离现实的证明只是带数字的诗

banteg · x · 2026-09-22

开发者 banteg 引发一场争论：他认为当前很多 AI 相关的数学问题纯属「数学精神病」，研究者钻进数学兔子洞，做的是没有任何现实应用的谜题，「数学家只是在恼火他们的数独被抢走了」。

被引用的回帖则从哲学层面回应：哲学家和数学家如果只在符号层面 rearrange、从不把结论放回现实摩擦中检验，就与白日梦无异。核心论点是：证明终究要接受测量检验，否则只是带数字的诗；「内部自洽」若无外部对应，只等于「与我的希望和假设一致」。数字和文字要么是对现实的压缩，要么什么也没压缩。