当全球数学界齐聚菲尔兹奖颁奖礼,庆祝人类智慧巅峰时刻,陶哲轩却以罕见的审慎姿态敲响警钟——他直言,数学正滑向一场堪比20世纪初‘基础危机’的深层震荡。彼时罗素悖论与哥德尔不完备定理撼动公理根基,催生现代形式化体系;而今,AI正以前所未有的效率解构数学创造的本质逻辑。独立评测平台First Proof最新测试显示:5月28日发布的10道原创研究级难题中,四套主流AI系统在专家盲审下,以达学术发表标准的质量成功攻克7题,单题算力成本仅10–1000美元。这一现象暴露出根本性裂隙:传统数学活动中高度耦合的目标——突破未解难题、构建新理论、传承知识、凝聚学界、培育人才、创造美学价值——正被AI单点突破式解题能力悄然解耦。当‘解题’不再自然带动‘理解’与‘生长’,数学作为一门活的传统,正失去其内在生态平衡。
来源:量子位
