中国科学家首用自主大模型破解三维Ghys猜想世界难题

每经AI快讯，10月15日，上海人工智能实验室官方微信公众号发布了一则令人振奋的消息：在数学领域沉寂了30多年的世界级难题——三维Ghys猜想，终于被成功破解。此次突破性的进展，源自上海人工智能实验室（上海AI实验室）访问学者、大湾区大学知名教授许地生所带领的科研团队。他们凭借自主研发的书生科学多模态大模型S2（简称书生-S2），并依托“通专融合”这一创新技术路径，通过人机协同的高效模式，成功完成了三维Ghys猜想的证明工作。

值得一提的是，为了确保这一证明的严谨性和准确性，北京大学董彬教授与刘若川院士所领导的团队，利用他们精心开发的SHEAF框架，对许地生团队的证明过程进行了全面而细致的形式化验证。经过严格的审查与比对，最终确认了这一证明的正确性，为这一世界级数学难题的破解画上了圆满的句号。

这一成就不仅彰显了中国科学家在数学领域的深厚底蕴和创新能力，更标志着中国科学家首次利用自主研发的大模型技术，成功攻克了世界级数学难题，为中国乃至全球的数学研究贡献了重要力量。