Sandberg 举反例:雅可比猜想与 N-S 证明,可能根本没有"为什么"

anderssandberg · x · 2026-09-13

Sandberg 回应"AI 在解压缩"的批评,举出现实反例:雅可比猜想的反例与 Navier-Stokes 的爆破构造,都是在不真正知道"为什么"的情况下得出的。他暗示某些特定的解可能根本不存在好的理由——只是"赤裸的事实",这削弱了"压缩解释是数学唯一价值"的传统预设。

所属事件:AI 能解题,人类数学还剩什么:X 上激辩数学的价值(26 条相关)→

原文链接 →

「漫话AGI」频道最新

更多「漫话AGI」频道 AI 资讯 →