近日，困扰世界 数学界30余年的三维Ghys猜想被中国团队成功攻克 ，这是我国首次依托国产大模型破解世界级数学难题 ，实现人工智能赋能前沿基础数学研究的标志性突破 。
上海人工智能实验室访问学者、大湾区大学许地生教授团队，依托书生S2科学大模型 ，采用人机协同全新科研模式 ，由AI承担大规模 、长链条复杂数学推演，科研人员把握研究方向 、甄别有效思路 ，经过多轮迭代交互 ，完整推导出三维Ghys猜想的严谨证明 。
Ghys猜想1995年由法国数学家提出，是复动力系统领域长期悬而未决的核心难题，推理难度极大。其对应的实（数）版本至今仍是全球未解难题 ，是衡量高阶数学推理能力的重要标杆 。
成果验证工作由北京大学董彬教授、刘若川院士团队独立完成 。北大团队利用自主研发框架 ，通过大规模智能体并行运算，完成全部核心定理的形式化机器验证 ，产出数十万行验证代码 ，严格核验整套证明逻辑完整 、无漏洞 、完全成立。
此次成果充分体现国产大模型在高端严谨数学推理领域的硬核实力 。近来 ，相关学术论文已在世界 预印本平台公开 ，验证代码全面开源 。
本次突破打破了传统数学研究依赖个人摸索的模式 ，建立起人机协同的基础研究新范式，可为更多基础学科原始创新提供重要借鉴。
（文章来源：央视财经）
