即便 AI 成证明神谕,数学也未终结:提出好问题仍是人的价值

keenanisalive · x · 2026-09-13

keenanisalive 设想一个能瞬间证明或证伪任何命题的「神谕」(对 AI 数学能力的隐喻),指出即便如此数学也远未终结:你得到的只是海量真命题的海洋,还需要弄清各定理之间如何关联、如何拼出更大的数学图景、如何解释与传播。他举 Thurston 几何化猜想为例:Perelman 因证明它获得首个千禧年大奖,但没有 Thurston 1982 年提出的猜想,根本无从证明——「证明只是故事的一半」,提出正确的问题和结构化理解同样核心。