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