中国科学家首次用国产大模型破解三维Ghys猜想

发生了什么

据凤凰网科技报道，上海人工智能实验室访问学者许地生团队依托书生科学多模态大模型S2，通过人机协同攻克困扰数学界30余年的三维Ghys猜想，并完成形式化验证。北京大学董彬教授、刘若川院士团队利用SHEAF框架验证证明正确性。这是中国科学家首次用国产大模型攻克世界级数学难题。相关论文已在arXiv发布，代码公开。团队计划将能力封装为端砚科学发现平台模块，形成自进化飞轮。