中国科学多模态大模型助力破解三维Ghys猜想，北大团队完成形式化验证

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