AI证伪两大猜想：数学家如何从‘解题者’转型为‘架构师’？

在国际数学家大会的聚光灯下，一个令人深思的问题浮出水面：当人工智能能够连续推翻悬置数十年的数学猜想时，人类数学家的核心价值究竟何在？陶哲轩等顶尖学者指出，AI的介入正在引发数学界深刻的“价值观危机”，迫使我们重新审视技术变革下的研究范式。

不同于依赖概率预测的大语言模型，能够攻克国际奥数满分难题的AI系统，采用了多智能体协作与自动验证机制，彻底消除了“幻觉”风险。其核心突破在于跨学科的反向证伪能力，例如引入数论工具解决几何空间问题。这种“降维打击”式的视角，使AI能快速排除错误路径，如找到雅可比猜想和埃尔德什单位距离猜想的“反例”，为研究者节省了大量试错成本。

然而，计算与证伪的优势并不意味着机器将取代人类。数学的本质不仅是解题，更是提出原创猜想、创造新概念并搭建逻辑大厦。AI的作用更多在于加速那些超前于现实的理论检索与验证过程，充当人类的“外置大脑”或“探路者”。在奔赴未知、开拓全新数学世界的进程中，人类数学家依然是不可替代的先行者，负责触碰数学真正的灵魂。