上海AI实验室用书生S2大模型人机协同证明三维Ghys猜想

上海人工智能实验室宣布，许地生团队依托书生科学多模态大模型 S2（书生-S2），通过人机协同完成困扰学界30余年的三维 Ghys 猜想证明；北大董彬、刘若川团队用 SHEAF 框架完成形式化验证。论文已发布 arXiv，形式化代码公开于 https://github.com/frenzymath/HolomorphicAnosov ，相关能力将封装为书生·端砚科学发现平台的可复用数学验证模块。