搜索
国产大模型攻克世界级数学难题
8 小时前
10月17日消息，近日，数学界一大世界级难题——三维Ghys猜想，在困扰学界30余年后终获破解。此次破解工作由中国团队与国产大模型携手完成，是AI助力攻克世界级数学难题的又一例证。据上海人工智能实验室透露，实验室访问学者、大湾区大学教授许地生团队，依托书生科学多模态大模型S2，通过人机协作成功证明了三维Ghys猜想。同时，北京大学董彬教授、刘若川院士团队利用SHEAF框架对证明进行了形式化验证。这标志着中国科学家首次利用国产大模型攻克了世界级数学难题。
