近日，困擾國際數學界30余年的三維Ghys猜想被中國團隊成功攻克，這是我國首次依托國產大模型破解世界級數學難題，實現人工智能賦能前沿基礎數學研究的標志性突破。

上海人工智能實驗室訪問學者、大灣區大學許地生教授團隊，依托書生S2科學大模型，採用人機協同全新科研模式，由AI承擔大規模、長鏈條復雜數學推演，科研人員把握研究方向、甄別有效思路，經過多輪迭代交互，完整推導出三維Ghys猜想的嚴謹証明。

Ghys猜想1995年由法國數學家提出，是復動力系統領域長期懸而未決的核心難題，推理難度極大。其對應的實（數）版本至今仍是全球未解難題，是衡量高階數學推理能力的重要標杆。

成果驗証工作由北京大學董彬教授、劉若川院士團隊獨立完成。北大團隊利用自主研發框架，通過大規模智能體並行運算，完成全部核心定理的形式化機器驗証，產出數十萬行驗証代碼，嚴格核驗整套証明邏輯完整、無漏洞、完全成立。

此次成果充分體現國產大模型在高端嚴謹數學推理領域的硬核實力。目前，相關學術論文已在國際預印本平台公開，驗証代碼全面開源。

本次突破打破了傳統數學研究依賴個人摸索的模式，建立起人機協同的基礎研究新范式，可為更多基礎學科原始創新提供重要借鑒。

（來源：央視新聞客戶端 總台記者 盛瑾瑜）