IT之家·· 3 小时前精选AI 评分80
上海人工智能实验室用书生-S2 完成三维 Ghys 猜想证明
中国科学家首次用中国大模型攻克世界级数学难题，曾困扰学界 30 余年
AI 导读
上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型 S2，基于“通专融合”技术路径，通过人机协同完成三维 Ghys 猜想证明。北京大学董彬教授、刘若川院士团队用其开发的 SHEAF 框架对证明完成形式化验证，确认其正确性。
推荐理由
原文给出人机协同证明三维 Ghys 猜想并完成形式化验证的过程，可供关注数学推理与形式化方法的研究者参考。
来源：IT之家 · ithome.com