国产大模型S2完成三维Ghys猜想证明并获形式化验证

上海人工智能实验室消息，访问学者、大湾区大学教授许地生团队依托“书生科学多模态大模型S2”，通过人机协同完成三维Ghys猜想证明。该猜想由法国数学家Étienne Ghys于1995年提出，是数学动力系统领域的长期公开问题。北京大学董彬教授、刘若川院士团队使用自主开发的SHEAF框架，对证明过程进行形式化验证，确认其正确性。研究称，这是中国科学家首次利用国产大模型攻克该数学难题，显示大模型已被用于复杂数学推理和基础科学研究。