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

大湾区大学许地生团队借助中国科学多模态大模型，通过人机协同完成困扰数学界30余年的三维Ghys猜想证明，论文已发布在arXiv，形式化代码在GitHub公开。攻关中模型先后完成7批接续推演，问题图从15个节点扩展到389个，输出上千页推导；北京大学董彬、刘若川团队用自研SHEAF框架完成全部四个主定理的Lean形式化验证，约5天产出约55万行Lean代码。