这所新大学设立1年，首次用中国大模型攻克世界级数学难题

来源：高校人工智能与大数据创新联盟

近日，困扰数学界30余年的世界级难题——三维Ghys猜想迎来了破解。大湾区大学理学院教授许地生团队依托上海人工智能实验室（上海AI实验室）书生科学多模态大模型S2，基于“通专融合”技术路径，通过人机协同完成了三维Ghys猜想证明。

北京大学董彬教授、刘若川院士团队利用其开发的SHEAF框架对本次证明完成形式化验证，验证了这一工作的正确性。这标志着中国科学家首次用中国大模型攻克世界级数学难题。

“Ghys猜想”由法国数学家艾蒂安·吉斯（Étienne Ghys）于1995年提出，猜测每一个紧致复流形上的全纯Anosov系统，都双全纯共轭于某个复infra-幂零流形上的全纯仿射自同构。该问题兼具理论难度与学科标志性价值，被动力系统领域数学专家公认为该领域重要的长期公开问题之一，是检验数学推理能力的一块试金石。

突破的起点，始于书生大模型在2025年全国中学生数学奥林匹克（Chinese Mathematical Olympiad，CMO）决赛中的亮眼表现。

作为大湾区大学理学院教授，许地生长期专注于动力系统、谱理论、分形几何、数学教育与AI for Math等领域的研究，在数学四大期刊等国际顶尖期刊发表了多篇论文。

许地生关注到书生大模型在数学方面展现出的潜力，而拿下CMO金牌后的上海AI实验室，也在探索将模型能力从竞赛级转向难度更高的研究级数学，以硬核数学难题倒逼模型能力迭代。双方目标不谋而合。

2026年初，双方正式启动模型训练合作研究。许地生教授成为上海AI实验室访问学者，双方的科研协作由此走向更深、更紧密的阶段。

联合团队同步搭建面向数学研究场景的Harness系统。许地生教授结合数学科研经验，精准指出模型与系统的能力短板；依托真实前沿数学研究命题，排查出系统存在的不足，驱动系统完成多轮迭代打磨。迭代成型的书生—S2及配套系统，具备大规模递归推理能力，同时拥有高灵活性的人机交互能力，在复杂数学命题的处理能力上实现质的跃升。其中，针对三维Ghys猜想的首轮推理，书生—S2就产出了400页的推导报告。

从书生—S2提供的详尽报告中，联合团队敏锐抓住了其中的关键突破口，持续给模型反馈、校准探索方向，引导模型向着有价值的思路持续深耕，开展多轮深度人机交互，完整解决了该猜想。

攻关过程中，书生—S2先后完成7批接续推演，问题图从15个节点扩展到389个，输出总量达千页的严密推导，同时生成数十种全新论证思路，成功助力团队破解这一世界级数学难题，得到该方向国际前沿学者“思考深度远超预期”的评价。

AI助力产出的成果是否经得起验证？北京大学董彬教授、刘若川院士团队完成了本次论文全部四个主定理的形式化验证，证明已通过Lean检验。Lean作为交互式定理证明系统，能对形式化证明进行严格逻辑检查。北大团队骨干成员姜杰东、吴彬介绍，整个过程仅约5天，峰值并发达100个智能体，产出约55万行Lean代码，展现出极大的并行规模与极快的验证速度。专家确认形式化陈述与论文主定理语义一致，Lean验证据此确保其严格正确性。

接下来，依托本次研究跑通的完整能力闭环，团队将进一步封装为书生·端砚科学发现平台可复用的数学验证模块，供后续科学问题研究直接调用。

大湾区大学简介

大湾区大学是由广东省人民政府举办、东莞市人民政府投入保障的全日制普通高等学校。学校于2025年6月经教育部批准设立，定位为高起点、小而精、研究型、国际化的“新型研究型大学”，着重开展基础性、前沿性的科学技术研究，服务国家重大发展战略和区域经济社会发展需求，致力于打造一所“国际水准、开放包容、湾区特色”的新型研究型大学。

大湾区大学是由广东省人民政府举办、东莞市人民政府投入保障的公办普通高等学校。2025年6月，教育部同意设立大湾区大学。2025年12月6日，大湾区大学举行成立大会。

学校首批设置数学与应用数学、物理学、材料科学与工程、计算机科学与技术、工业工程等5个普通本科专业，实行大类招生、分类培养，并对理学和工学等学科门类制定差异化的人才培养方案。

（来源：大湾区大学）

全国高校人工智能与大数据创新联盟

全国高校人工智能与大数据创新联盟（简称:高校联盟）是由清华大学、浙江大学、中南大学、东北大学、上海工程技术大学、重庆邮电大学、东北林业大学、佛山科学技术学院、曲阜师范大学、黑龙江大学、海豚大数据科技等全国54家高校、企业共同发起，于2018年5月26日在北京中国科技会堂正式成立。迄今为止，联盟发展会员300多家, 覆盖全国20多个省市。联盟由一批积极投身于“人工智能、大数据、区块链”教育事业的高校、科研机构、企事业单位和个人自愿组成的公益性、全国性学术交流服务平台。中国工程院原常务副院长、中国工程院院士潘云鹤、中国科学院院士陈国良、中国工程院院士李伯虎担任联盟名誉理事长，中国工程院院士谭建荣担任联盟理事长。联盟工作接受工信部、国家网信办等政府部门行政管理和业务指导。联盟主要工作是推进产教融合、校企合作、协同育人。(加盟微信13651193492)

华算人工智能研究院

华算人工智能研究院全称是“山西省华算人工智能研究院有限公司”，是经山西转型综合改革示范区管理委员会批准，于2023年10月在太原成立的第一批专业研究人工智能、赋能数字经济产业发展的独立法人组织。华算人工智能研究院依托全国高校人工智能与大数据创新联盟专家委员会及理事会资源，按照山西省委省政府、山西转型综合改革示范区管理委员会发展人工智能、数字经济的系列文件精神和工作计划，将研究院打造成为山西省发展人工智能、数字经济的示范应用推广平台，同时面向全国开展人工智能业务。华算人工智能研究院名誉院长由中国工程院院士李伯虎担任。研究院内设AI产业学院共建中心、实训实习就业中心、实验室建设中心、专家智库等6个职能部门。欢迎加入华算人工智能研究院专家智库，共同赋能高校AI人才培养及产教融合事业发展。

高校区块链专委会

全国高校人工智能与大数据创新联盟区块链专委会（简称:高校区块链专委会），是由北京大学、浙江大学、武汉大学、西南财经大学、北京交通大学、郑州大学、贵州大学、桂林电子科技大学、山西农业大学、佛山科学技术学院、陕西师范大学、中国网安、海豚大数据科技等全国40多家高校、企业和机构共同发起，于2019年12月7日在广东省佛山市正式成立。目前发展高校及企业会员70多家。中国工程院院士、浙江大学教授陈纯担任高校区块链专委会名誉顾问；福州大学教授蔡维德、中国计算机学会区块链专委会主任斯雪明教授、中国人民银行数字货币研究所副所长狄刚担任高校区块链专委会名誉主任；北京大学信息科学技术学院区块链中心主任陈钟教授担任高校区块链专委会主任。高校区块链专委会主要工作是促进高校区块链教育，为高校区块链专业建设及学科发展提供专家咨询服务。

高校元宇宙专委会

全国高校人工智能与大数据创新联盟元宇宙专业委员会（简称:高校元宇宙专委会），是由清华大学、湖南大学、浙江大学、四川大学、汕头大学、河北金融学院、保定市元宇宙协会、英伟达中国、海尔衣联网研究院、海豚大数据科技(天津)有限公司等全国20多所高校、企业和机构共同发起，于2022年11月5日在北京正式成立。中国工程院院士、计算机软件与虚拟现实领域专家赵沁平担任高校元宇宙专委会名誉顾问；中国工程院院士、北京航空航天大学电气与自动化学院名誉院长、中国航天科工集团有限公司科技委高级顾问李伯虎担任高校元宇宙专委会名誉主任；清华大学信息国研中心可信软件和大数据部常务副主任邢春晓担任高校元宇宙专委会主任委员。目前已发展高校及企业会员30多家。高校元宇宙专委会主要工作是促进高校元宇宙教育、加强校企合作、推动元宇宙专业建设及学科发展，为元宇宙教育教学提供专家咨询服务。

高校数字经济专委会

全国高校人工智能与大数据创新联盟数字经济专业委员会（简称:高校数字经济专委会），是由华算人工智能研究院、清华大学、北京大学、中国人民大学、中国社会科学院信息化研究中心、四川大学、北京外国语大学、北京科技大学、北京工业大学、北京语言大学、北京化工大学、北京联合大学、北京物资学院、北京印刷学院、西藏民族大学、河北金融学院、重庆财经学院、苏州城市学院、北京中关村软件园、百度、海豚大数据科技等全国60多家高校、企业和机构共同发起，于2024年1月12日在北京正式成立。清华大学经济管理学院教授姜旭平、北京大学信息管理系教授赖茂生、中国社会科学院信息化研究中心主任姜奇平、中国科学院大学经济与管理学院教授吕本富担任高校数字经济专委会主任委员。高校数字经济专委会主要工作是促进高校数字经济专业建设及学科发展，推动产学研合作，为高校数字经济专业教育教学提供专家咨询服务。

联盟“资料图书馆”

微信咨询

说明：转载文章和图片均来自公开网络，推送文章除非无法确认，都会注明作者和来源，如有侵权请联系删除。

往期精彩文章（单击就可查看）：

. 办

. 》