1月6日，在“人工智能与数学夜话”活动中，上海市人工智能行业协会与上海数学与交叉学科研究院共同发布“全球数学征解”，以三类不同难度的数学题目征集全球数学家及AI企业解答；同时宣布打造数学家AI国际合作平台，将持续发布数学题目和数学猜想征解，推动人工智能与数学持续融合。

上海市人工智能行业协会副秘书长沈涛介绍，本次发布的全球数学征解的题目包括三个难度层次，即初探、突破和拓界。其中，初探是面向本科生的逻辑迷宫，突破是面向硕博的结构洞察，拓界则是面向全人类的终极猜想。

最受关注的“拓界”数学难题包括两部分，第一部分是三道拓扑学猜想题，第二部分则是围绕“卡拉比-丘流形”提出AI辅助挑战，每道难题描述里都写明可由AI做的工作。

据现场专家介绍，“卡拉比-丘流形”源于卡拉比1957年的猜想与丘成桐1977年的证明，因此以两位数学家的姓氏联合命名。

著名数学家、上海数学与交叉学科研究院理事长丘成桐现场表示，数学和AI是分不开的，现在AI参数已到万亿级别，一定有数学办法能简化算法。AI对数学也很重要，可以参与解决很多重要数学难题。让人脑和AI合作发现和解决重要数学问题，目前外国还做不到这一步，希望人工智能专家积极参与，更希望中国人工智能行业先行一步。

2025年7月世界人工智能大会期间，包括丘成桐教授在内的多位数学专家发出“数学之问”，面向AI给出多道数学难题。1月6日的夜话现场，四个大模型团队分别对上述题目做出解答。

上海人工智能实验室的张文蔚团队展示了AI的长时间思考能力，在处理一道奥赛数学题时，“书生”大模型进行了长达数小时的深度推理，提出让评委耳目一新的解题方法。

阿里通义实验室刘大一恒和卓越团队演示了更深层的思维进化，当大模型“意识到”了原有回答的逻辑问题后，主动推翻之前的结论，调用了另一种方法进行交叉验证，这显示大模型已具备了强大的数学解题和思考泛化能力。

商汤科技肖鹏带来的“日日新”模型，展示了大模型的某种数学直觉，即面对问题时没有陷入暴力的数值计算，而是巧妙地将难题化归为零，这被在场数学家称为“机器的审美”。

字节跳动Seed团队的袁正，则介绍了Seed-Prover模型采用形式化数学的路径，既保障最终答案正确，也确保每一步推理严格，避免幻觉；通过测试时扩展的技术，大模型可以提高思考深度和宽度，有望解决更困难的数学问题。

上海市人工智能行业协会秘书长钟俊浩向《经济参考报》记者表示，人工智能的基础是数学。有了基础理论的支撑，行业才能更好定义边界和看清未来，才有望解决人工智能面临的不可解释性和幻觉问题。AI也可以赋能数学家，AI解决数学问题的能力也在持续增强。