AI 又一次解开了让数学家皱眉的难题,这事我们看得太多了。多数报道会把它写成"AI 又比人聪明了一截",但 Davide Piffer 在 8 月 4 日的博文里泼了一盆冷水:AI 赢的那一截,可能不是智商,而是一块大得多的便签纸。
人类做数学时,工作记忆是硬天花板。心算两位数乘三位数已经让人额头出汗,再多走两步推演,变量、约束、已用过的引理就开始在脑子里打架。真正卡住我们的,往往不是"想不到下一步",是"记不住上面那一步说了什么"。
AI 不靠灵感,靠上下文窗口。题目原文、几十分钟的草稿、走过的死胡同、定义和前置结论,全可以摊在一张看不见的大桌子上互相引用。它做的事情,本质上是把人类数学家那块极小的临时记事本,换成了一面墙。
顺着这个角度看,AI 在数学里更像被机器放大的冯·诺依曼:极快、极广、符号记忆巨大,并不是什么"电子版爱因斯坦"。如果优势主要来自外置的符号工作空间,那这种能力与其说是"更聪明",不如说是对我们认知瓶颈的一次工程性放大。
所以下次看到 AI 拿下某道题,不必急着欢呼硅基又赢一局,更值得想的是:它赢的,是推理,还是内存。
你平时做一道稍难的题,最先撑不住的是哪一步——记不住已知条件,还是想不到下一步?


