2026年10月15日，上海人工智能实验室宣布，许地生团队依托书生-S2多模态大模型，通过人机协同完成三维Ghys猜想证明。该猜想由法国数学家Étienne Ghys于1995年提出，是动力系统领域标志性公开问题。北大董彬、刘若川团队用SHEAF框架完成形式化验证。论文已发布于arXiv，代码开源至GitHub。此举标志中国首次以自研大模型攻克世界级数学难题，并验证了‘通专融合’新型科研范式。

免责声明：本文内容由开放的智能模型自动生成，仅供参考。