AI 数学争议发酵,数学界重读 Thurston 经典并展望算力普及

围绕 Navier-Stokes 证明与 AI 数学的争论持续发酵。数学家 Keenan Crane 推荐重读 William Thurston 1994 年的经典文章《论证明与数学进步》,认为其中早已回应了当下争议。有研究者预测,1-2 年内小型实验室即可复现该问题求解,4-5 年内二线大学校级计算集群可复现,十年内家用消费级硬件也能实现。另有数学家表示,尽管学界已发布关于 AI 数学严重错位的公开信,也拦不住 AI 数学的扩张。

2026-09-13 ~ 2026-09-13 · 4 条相关