「数学没有被解决」:AI 是把数学生走遍的宇宙变成虫洞

ignite_intelligence · reddit · 2026-09-22

作者反驳「数学已被 AI 解决」的说法:数学是不断扩张的开放系统,千禧年大奖难题只是冰山一角,每个领域的未解问题成千上万,且每解决一个问题就催生新的猜想与子领域。哥德尔不完备定理表明任何足够强的一致形式系统都无法穷尽数学真理,扩展基础的过程永无止境。作者认为 AI 现在产出证明的能力已超过几乎所有人类数学家,是把数百年「步行穿越宇宙」变成「建造虫洞」的工具;真正结束的只是「以个人之名证明」的自我中心数学。