1965年,傅里叶变换算法把计算机科学从困境里给拽了出来。那时的计算机面临着N²的瓶颈,也就是处理数据时时间会呈指数级增长,简直让人头疼。这时候数学家库利和图基联手发现了FFT,利用复数根的对称性这个巧妙的数学原理,把计算复杂度从N²给降到了NlogN,这就为后来的信息技术革命打下了基础。 现如今的人工智能也遇到了类似的情况。它给丘成桐教授带来了很多反思。丘教授说现在的人工智能很多时候还是在靠堆算力和消耗能源来解决问题,效率已经很低了。他觉得下一次突破不能光靠更快的芯片或者更大的数据集,得像FFT那样,从底层逻辑去重构计算范式才行。 于是上海人工智能实验室和阿里通义实验室决定搞一个“全球数学征解”计划。这个计划分成了“初探”、“突破”和“拓界”三个部分。“初探”是面向大学生的,“突破”是给博士生看的,“拓界”就是向所有人发起挑战了。这种分层级、系统化的研究方式,把人才培养和前沿探索都给串联起来了。 这次活动里的直接对话简直就是一场高水平的图灵测试。上海人工智能实验室的“书生”模型在数学竞赛中直接跟人类选手比拼,结果拿到了102分,把78分的金牌线给远远甩在身后。阿里通义实验室的Qwen3-Max模型也不甘示弱,在解决抽象代数难题时展现出了类人的自我验证和纠错能力。它在推导过程中会主动暂停说“让我验证一下”,然后推翻之前的结论再去调用其他方法交叉验证。 中国一直都很重视基础科学研究,这次的全球数学征解计划也体现了我国开放合作、聚焦长远的发展理念。把数学的严谨逻辑和人工智能的计算能力结合在一起,人类认知边界的拓展就能获得前所未有的动力。这次关于根本原理的追问可能就会孕育出下一个改变世界的范式革命。