上海AI实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型S2，基于“通专融合”技术路径，通过人机协同完成三维Ghys猜想的证明。相关论文已发布在arXiv，形式化代码在GitHub公开。 北京大学董彬教授、刘若川院士团队完成了该论文全部四个主定理的形式化验证，证明已通过Lean检验。 三维Ghys猜想此前长期未被证明，此次工作的核心结果即证明完成并实现形式化验证。
AI 根据报道生成 · 3 小时前更新
沿着报道，了解事件的不同侧面。
上海AI实验室访问学者许地生团队依托书生科学多模态大模型 S2，通过人机协同完成三维 Ghys 猜想证明，相关论文已发布在 arXiv，形式化代码在 GitHub 公开。
还没有足够的连续观测数据，暂不绘制趋势。