国产大模型攻克世界级数学难题，AI正在改写数学研究
第一财经
10月20-22日上海黄浦江畔，2026可持续全球领导者大会再度来袭。诺奖、图灵奖得主现场讲述科技未来与趋势，更有“解救”焦虑、内卷时代的网红教授——麦克法兰与项飙现场对话！
名额有限，手慢无。让我们共赴可持续之约！ 【点击报名】
数学界的兴奋与警惕。
近日，困扰数学界30余年的世界级难题三维Ghys猜想宣告破解。这是AI攻克世界级数学难题的又一案例，但这次破解难题的不是海外模型，而是中国团队和国产大模型的配合。
据上海人工智能实验室消息，实验室访问学者、大湾区大学教授许地生团队基于书生科学多模态大模型S2，通过人机协同完成了三维Ghys猜想证明。而北京大学董彬教授、刘若川院士团队利用其开发的SHEAF框架对本次证明完成形式化验证。
这意味着中国科学家首次用中国大模型攻克了世界级数学难题。但随之而来的疑问是，AI开始进入研究级数学后，数学家的研究方式会被怎样改写？
在此之前，OpenAI曾宣布旗下模型攻克了多个世界级数学难题，在业界引起很大反响，对此数学界态度不一，关于AI是否会改变、甚至损害数学研究的争论，也在持续升温。
上海人工智能实验室青年研究员赵海腾对第一财经记者表示，AI始终是帮助人提升在单位时间能进行的智力生产活动上限的工具，而人类是把控着研究价值和进展方向的关键角色，最后这种协同会整体地提高人类在数学研究上的进展速度。
大模型如何攻克数学难题
这次破解的Ghys猜想是由法国数学家艾蒂安·吉斯（Étienne Ghys）于1995年提出的，是复动力系统领域的重要问题之一，其核心是：混沌的动力系统行为的存在是否能决定几何上的分类。如果这一猜想成立，混乱的动力学轨迹的问题就能被“化归”成简洁、规整的标准代数模型。
在采访中，许地生认为，就和很多数学问题一样，破解三维Ghys猜想，并不意味着它能在接下来的一两个月之内就能有潜在的应用价值。而是思考这一问题发明了新的方法、新的工具，会对后面的数学研究乃至科学研究提供新的帮助。
许地生长期深耕三维Ghys猜想的研究，曾与其导师、菲尔兹奖得主阿图尔·阿维拉（Avila）教授合作研究三维情形，但未形成有效的证明思路。上海人工智能实验室此前一直在探索将模型能力从竞赛级转向难度更高的研究级数学，以硬核数学难题倒逼模型能力迭代。
在双方目标一致的情况下，2026年初，许地生团队与上海人工智能实验室启动模型训练合作研究。许地生提到，在前期他参与了书生-S2模型关于训练语料的一些选择、benchmark（基准）等目标方向的一些建议。
转折出现在7月底。“模型大概升级到我们觉得有机会能做出东西的时候，我们开始大规模地测试了一些不同的数学题目，希望看到它产出思维的深度和广度的变化，我发现系统开始变得更强了。”于是，许地生将Ghys猜想也喂给了AI，他发现有些关键的反馈和以往有了很大的不同。
许地生邀请了学生张洁松加入团队进一步攻关，张洁松现就职于瑞典皇家理工学院，Ghys猜想是他从攻读博士至今一直关注的问题，但一直卡在几个关键的点上。
在上海人工智能实验室，张洁松试着拿卡住的关键点来问模型。“模型相对于人的特点是，在跨领域的知识积累上更广泛，AI输出了不少我不太熟悉的一些来自于微分几何研究的观点和思路。”
张洁松提到，针对三维Ghys猜想的首轮推理，书生-S2产出了400页的推导报告。其中有一些是很有启发性的，也有一些思路是走不通的，这个时候需要人来做进一步的筛选和提示。
从书生-S2提供的详尽报告中，团队抓住了一些关键突破口，持续给模型反馈、校准探索方向，书生-S2先后完成7批接续推演，问题图从15个节点扩展到389个，输出总量达千页的推导。经过数轮筛选和提示，他们慢慢形成了攻克关键难点的方法，最终拼凑出完整的证明链条，破解三维Ghys猜想。
上海人工智能实验室认为，这一研究的意义在于验证了一种新的科研范式。传统数学研究依赖个体天才的漫长摸索，而本次攻关将专家的敏锐直觉和大模型的求解回路结合，形成了系统探索、专家判断、成果积累、反馈修正的链路。这一范式可复制推广至更多搜索空间巨大而专家稀缺的基础研究领域，实现更多原始创新突破。