数学家的数学,还是数学的数学?
AI 正在重写数学,但真正危险的不是机器变聪明,而是人类不再理解。
证明跑得比人快:博士后 Stadlmann 刚把素数间隙纪录压到 240。三天后就被 AI 连刷两次,压到了 186。
成果归属乱了套:数学家 Buckmaster 用 AI 拿下了流体难题。结果 OpenAI 内部模型也搞出了同类证明。双方差点因为署名和泄密吵翻。
速度与消化的脱节:AI 几天就能爆出百年难题的证明。但人类大脑消化知识的速度没变。没人消化的证明,在人类知识里根本不存在。
灯塔由谁来立:大公司为了刷基准,专挑能证明模型强的问题做。要是以后全靠奖励函数选题,数学就会变成一堆没人懂的抽象符号。
别把纪录当成数学本身。只要还有人愿意去理解、去命名、去教学生,人类的数学就还没死。