觀點網訊：10月15日，據上海人工智能實驗室消息，實驗室訪問學者、大灣區大學教授許地生團隊依託“書生”科學多模態大模型S2，破解了世界級數學難題——三維吉斯（Ghys）猜想。這是中國數學家首次用中國大模型攻克世界級數學難題。

相關證明論文已在預印本平臺arXiv發表，其形式化代碼在Github平臺公開。

北京大學董彬教授、劉若川院士團隊對這一證明完成形式化驗證，驗證了這項工作的正確性。