我叫三维Ghys猜想。1995年，法国数学家艾蒂安·吉斯把我提了出来。我住在混沌动力系统与几何分类之间，问的问题很拧巴：混沌的动力系统行为，究竟能不能决定几何分类？30多年来，我成了复动力系统领域的重要公开问题，也成为检验推理能力的“试金石”。

不是没人来挑战我。中国大湾区大学理学院许地生教授团队在三维情形取得过部分成果，刊发于《欧洲数学会杂志》。但真正的转机是人和AI开始搭档。

2025年中国中学生数学奥林匹克首次AI测试，中国国产大模型与人类选手同场答题、统一阅卷。大模型“书生-S1”拿到102分，远超78分金牌线。此后，许地生与上海人工智能实验室合作，2026年受聘为访问学者，双方搭建面向数学研究场景的Harness系统，并推动模型与系统多轮迭代。升级后的书生科学多模态大模型S2（下称“书生-S2”），具备大规模递归推理和高灵活性人机交互能力，能进行多轮接续推演、灵活交互。它第一次对我出手，就产出了400页推理报告。张洁松博士随后加入攻关组。

他们不是让AI单独挑战我。模型负责长链条推演，多支线同步尝试，拆解复杂命题，承接海量繁琐推导；科研人员把握大方向，判断哪条思路值得继续，并把直觉建议变成下一轮指令。经过多轮对话，“书生-S2”完成7批接续推演，把我的问题节点从15个扩展到389个，输出千页推导，生成数十种新论证思路。许地生、张洁松抓住AI推导中的关键突破口，与模型彼此启发，共同拼出完整证明链。此前，有国际动力系统专家用海外大模型挑战我，未找到证明方案。

光有证明链还不够。北京大学董彬教授、刘若川院士团队依托SHEAF框架给我做“代码级质检”：约5天、峰值100智能体并行运算，产出约55万行Lean代码，完成论文四个主定理检验，确认语义一致、逻辑正确，并补充动力系统领域形式化基础设施。即把证明写成计算机逐行检查的代码。

就这样，30多年后，我被中国科学家和中国国产大模型一起“告破”。这是中国科学家首次用国产大模型攻克世界级数学难题。其意义不只在难度，还在于许地生团队验证了一种新型科研闭环：系统探索、专家判断、成果积累、反馈修正。该闭环可复制推广到更多“搜索空间巨大而专家稀缺”的基础研究领域。许地生团队将把这套能力封装为书生·端砚科学发现平台可复用的数学验证模块。

许地生说，本次突破只是开端，希望以此发展数学研究新范式、开辟新路径、孕育新的数学分支。