新智元 (微信公众号)T2·85 分
中国大模型辅助攻克三维 Ghys 猜想
原标题：中国数学家攻克世界级数学难题！中国科学多模态大模型立功
- 中国科学多模态大模型辅助完成三维Ghys猜想的证明
- 北京大学SHEAF框架对证明结果进行了严格的形式化验证
- 验证了“系统探索-专家判断-成果积累-反馈修正”的人机协同科研闭环
返回热点榜
llm热度 9.3°
AI 聚合热点事件 · 2026/10/27
中国大模型辅助攻克三维 Ghys 猜想
1 篇收录报道1 家独立信源交叉印证持续跟踪至 2026/10/27 11:48:00
全景综述与最新动态
1 家信源交叉印证大湾区大学团队利用中国科学多模态大模型，通过人机协同完成了困扰数学界30余年的三维Ghys猜想证明。北京大学团队使用SHEAF框架对证明进行了形式化验证，确认了其正确性。这标志着中国科学家首次借助国产大模型攻克世界级数学难题，并验证了“专家直觉+机器求解”的新科研范式。
最新动向/大湾区大学团队利用中国科学多模态大模型，通过人机协同完成了困扰数学界30余年的三维Ghys猜想证明。北京大学团队使用SHEAF框架对证明进行了形式化验证，确认了其正确性。这标志着中国科学家首次借助国产大模型攻克世界级数学难题，并验证了“专家直觉+机器求解”的新科研范式。
逐小时热度走势
12 个完整观测小时当前
9.3
峰值
11.912:00
近 24h 变化
–
曲线只比较全程持续完整观测的同一批信源；缺口小时数据已插值平滑，保持趋势连续。