【國產大模型攻克世界級數學難題】10月17日訊，近日，困擾數

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