中国团队用多模态大模型人机协同证明三维Ghys猜想

大湾区大学许地生团队借助中国科学多模态大模型，通过人机协同完成困扰数学界30余年的三维Ghys猜想证明，论文已发布在arXiv，形式化代码在GitHub公开。 攻关中模型先后完成7批接续推演，问题图从15个节点扩展到389个，输出上千页推导；北京大学董彬、刘若川团队用自研SHEAF框架完成全部四个主定理的Lean形式化验证，约5天产出约55万行Lean代码。 报道称，该基模能力已具备辅助科研团队攻关研究级数学问题的基本水平，但距离真正破解世界级难题，还需要更上一层楼。

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

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