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