反驳“AI一年内成数学家”

inductionheads · x · 2026-07-20

一张引用图在反驳 Eric Schmidt 的判断：他曾预测一年内会出现“AI 级世界级数学家”，但作者认为这仍然是幻想。

图中给出的理由是：现实里 AI 迄今真正自主证明过的有价值定理极少，1996 年证明 Robbins conjecture 仍是经典案例；因此，哪怕在顶尖高中数学竞赛里拿到 27 名，也不能说明 AI 已经接近真正的数学研究能力。