陶哲轩:假如 AI 早来 20 年,张益唐还在刷盘子

陶哲轩在推演中设想,若 AI 早出现 20 年,GPY 方法公布后不到一个月,多家 AI 公司便会投入数百万美元算力,将上界刷至三位数低端,随后进展停滞并转向下一个基准测试。同一时期,国际数学家联盟背书的《莱顿宣言》于 2026 年 6 月发布,警告对 AI 生成证明的依赖正威胁数学研究的准确性、可靠性与独立可验证性,科技公司的参与可能扭曲研究重点。陶哲轩评价 Stadlmann 的工作是”秉承 Polymath8b 原始论证精神的卓越努力”,并指出她作为独立数学家,使用传统数值计算而非现代 AI 工具。

原文连接