中国团队人机协同证明三维Ghys猜想

2026年10月27日，新智元报道，大湾区大学教授许地生团队借助中国科学多模态大模型，通过人机协同完成困扰数学界30余年的三维Ghys猜想证明。北京大学董彬教授、刘若川院士团队用SHEAF框架完成形式化验证并通过Lean检验。攻关中大模型完成7批接续推演，问题图从15个节点扩展到389个，输出上千页推导。相关论文已发布在arXiv，形式化代码在GitHub公开。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。