人工智能时代的数学：陶哲轩在国际数学家大会2026上的公开演讲

陶哲轩(Terence Tao)于2026年7月24日在国际数学家大会(International Congress of Mathematicians)上发表了题为《人工智能时代的数学》的公开演讲。他将当前局面与20世纪初由罗素悖论(Russell's paradox)和哥德尔不完备定理(Gödel's incompleteness theorems)引发的基础危机相类比,认为人工智能如今正带来一场类似的挑战。陶哲轩提出了一个“AI能力假说”,并区分了弱形式和强形式,但他选择将重点放在与之正交的目标与价值观问题上。他采用一个工作假设,即该假说的一个相当强的版本成立:人工智能工具将很快能够以合理的成功率、质量、可控性和成本,完成相当一部分研究级别的数学任务。在此假设下,他主张数学界必须审视自身真正的目标——解决问题、构建理论、开展教育、创造具有美学价值的成果——并警告说,如果一味以人工智能生成的解答为优化目标,这些目标可能会逐渐发生偏离。他引用了“First Proof”挑战赛(firstproof.org)的结果:在2026年5月28日,十个研究级别的问题中有七个被人工智能团队解出,每个问题的成本在10美元到1000美元之间。陶哲轩指出,在Erdős Problems等网站上出现的由人工智能生成的证明引发了验证方面的担忧,因为人类专家往往既没有时间、也未必具备足够的资质来对其进行核实。