南方日报讯 （记者/章倩倩 陈启亮）近日，困扰数学界30余年的世界级难题——三维Ghys猜想宣告破解。大湾区大学理学院教授许地生宣布，其团队依托上海人工智能实验室书生科学多模态大模型S2，基于“通专融合”技术路径，通过人机协同模式完成猜想证明。北京大学董彬教授、刘若川院士团队完成形式化验证，确认成果的正确性。这是中国科学家首次用国产大模型攻克世界级数学难题。

    Ghys猜想由法国数学家艾蒂安·吉斯于1995年提出，核心探讨混沌的动力系统行为能否决定几何上的分类，是复动力系统领域公认的重要长期公开问题，被视作检验数学推理能力的“试金石”。如果猜想成立，复杂混乱的动力学轨迹问题可“化归”为简洁规整的标准代数模型。

    许地生团队在攻关过程中采用深度人机协同模式。书生-S2发挥长链条大规模推演优势，多支线同步尝试、拆解复杂命题、承接海量繁琐推导，每轮迭代输出大量成果；科研人员则把握研究大方向，判断思路价值、校准探索方向，提供直觉建议作为下一轮指令。二者通过多轮对话与反馈紧密互动、迭代推进，书生-S2先后完成7批接续推演，问题节点从15个扩展到389个，输出总量达千页的严密推导，同时生成数十种全新论证思路，最终成功助力团队破解这一世界级数学难题。

    成果的严谨性由北京大学团队完成专业形式化验证。相关论文已在预印本平台arXiv发布，其形式化代码也在Github平台公开。

    本次突破不仅是一项重大数学成果，更验证了一种新型科研范式，即将专家直觉系统性接入机器求解回路，形成“系统探索—专家判断—成果积累—反馈修正”的闭环。该范式可复制推广至更多“搜索空间巨大而专家稀缺”的基础研究领域，助力实现更多“从0到1”的原始创新。据了解，后续团队将把本次研究跑通的完整能力闭环，封装为书生·端砚科学发现平台可复用的数学验证模块，供后续科学研究直接调用。