上海人工智能实验室书生-S2 协助团队证明三维 Ghys 猜想

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