在数学界百年未解的难题面前，人类智慧与智能计算的协作模式正在上海展开全新探索。
1月6日闭幕的第十届世界华人数学家大会上，国际数学最高奖菲尔兹奖得主丘成桐教授携手全球顶尖学者，面向智能计算系统发布三档难度递进的数学挑战题。
这一被称为"数学之问"的学术行动，旨在探索智能时代数学研究的创新发展路径。
现场测试数据显示，我国自主研发的智能计算系统展现出令人瞩目的解题能力。
在矩阵递归领域，某实验室系统投入数小时完成前沿引理证明；面对抽象代数难题，有系统展现出自我纠错能力；更有系统在处理广义积分时，创造性运用函数对称性实现解题突破。
这些进步印证了半年来我国在该领域的技术迭代速度——部分系统已能在国际数学奥林匹克竞赛中解决33%的博士级题目，在中国数学奥赛冬令营测试中更以102分远超78分的金牌线。
这一突破性进展背后，是经典数学理论与现代计算技术的深度融合。
丘成桐教授特别强调，即便在万亿级参数时代，上世纪60年代快速傅里叶变换等基础算法仍具重要价值。
历史经验表明，数学突破往往源于计算方法的革新——从1976年计算机辅助证明四色定理，到2016年借助智能计算解决布尔毕达哥拉斯三元组问题，算法进步持续推动着数学边界的拓展。
然而专家们清醒认识到，智能计算尚不能替代人类数学家的核心价值。
丘成桐指出，当前系统虽能高效处理既定问题，却难以自主提出"黎曼猜想"级别的原创理论。
上海市人工智能行业协会秘书长钟俊浩表示，智能计算的价值在于解放数学家从事重复性工作，使其更专注于高维度的创造性思考。
这种互补关系恰如当年望远镜之于天文学——既是观测工具，更是认知革命的催化剂。
立足这一认知，上海正构建数学与智能计算协同创新的新型科研生态。
通过整合费夫曼实验室、希钦-吴实验室等国际顶尖团队资源，聚焦基础理论突破、辅助研究工具开发、产业转化应用三大方向，着力打造具有全球影响力的交叉学科研究高地。
这种布局既回应了国家加强基础研究的战略需求，也为解决"卡脖子"技术问题提供了新的方法论支撑。
“数学之问”之所以引发关注，不在于一次竞赛式的胜负，而在于它提醒人们：当技术逼近规模化扩张的边界，真正决定未来高度的，往往是更深的理论、更严的证明、更有效的算法，以及更成熟的人机协作机制。
把大模型放进数学的严格标准之中接受检验，也是在为基础科学的长期创新寻找更可靠的工具与路径。