IT之家 · 智能时代T2·86 分
上海 AI Lab 用书生 S2 攻克三维 Ghys 猜想：人机协同证明获形式化验证
原标题：中国科学家首次用中国大模型攻克世界级数学难题，曾困扰学界 30 余年
- 书生 S2 大模型结合专家直觉，成功破解三维 Ghys 猜想这一长期公开问题。
- 北京大学团队使用 SHEAF 框架完成形式化验证，确保数学证明的逻辑严密性与正确性。
- 验证了“系统探索-专家判断-成果积累-反馈修正”的闭环科研范式，可推广至其他基础学科。
返回热点榜
llm热度 11.2°
AI 聚簇研判事件 · 2026/10/15
上海 AI Lab 用书生 S2 攻克三维 Ghys 猜想：人机协同证明获形式化验证
1 篇报道存证1 家独立信源交叉印证持续跟踪至 2026/10/15 11:23:31
全景综述与最新动态
1 家信源交叉印证上海人工智能实验室团队依托书生科学多模态大模型 S2，通过“通专融合”的人机协同路径成功破解困扰学界 30 余年的三维 Ghys 猜想。北京大学团队利用 SHEAF 框架完成了该证明的形式化验证，确认其正确性。这一突破不仅解决了具体数学难题，更验证了将专家直觉接入机器求解回路的新型科研范式，相关论文与代码已公开。
最新动向/上海人工智能实验室团队依托书生科学多模态大模型 S2，通过“通专融合”的人机协同路径成功破解困扰学界 30 余年的三维 Ghys 猜想。北京大学团队利用 SHEAF 框架完成了该证明的形式化验证，确认其正确性。这一突破不仅解决了具体数学难题，更验证了将专家直觉接入机器求解回路的新型科研范式，相关论文与代码已公开。
热度曲线逐小时热度走势
3 个完整观测小时当前
11.2
峰值
11.812:00
近 24h 变化
–
曲线只比较全程持续完整观测的同一批信源；缺口小时数据已插值平滑，保持趋势连续。