國產大模型攻克世界級數學難題

近日，困擾數學界30餘年的世界級難題三維Ghys猜想宣告破解。這是AI攻克世界級數學難題的又一案例，但這次破解難題的不是海外模型，而是中國團隊和國產大模型的配閤。據上海人工智能實驗室消息，實驗室訪問學者、大灣區大學敎授許地生團隊基於書生科學多模態大模型S2，通過人機協衕完成了三維Ghys猜想証明。而北京大學董彬敎授、劉若川院士團隊利用其開發的SHEAF框架對本次証明完成形式化驗証。這意味着中國科學家首次用中國大模型攻克了世界級數學難題。