陶哲轩警告：人类把思考外包给 AI，后果可能很快显现

菲尔兹奖得主陶哲轩在 10 月 16 日 UCLA 的 Science x AI Summit 上表示，人类正把思考委托给 AI，却无法确信其方案符合真实需求。他以电网、航空管制、药物研发和芯片设计为例，指出这些领域的风险远高于纯数学——数学证明可用形式化工具验证，现实世界问题则缺乏这种保障。10 月 22 日他还在《自然》杂志发文，称 AI 生成证明的速度已超过人类消化能力，呼吁推动数学研究进入 Math 2.0 时代，让 AI 增强而非取代人类对问题的理解。