中国科研团队依托国产大模型 攻克三维 Ghys 猜想世界级数学难题
近日，困扰国际数学界 30 余年的三维 Ghys 猜想被中国团队成功攻克，这是我国首次依托国产大模型破解世界级数学难题，实现人工智能赋能前沿基础数学研究的标志性突破。上海人工智能实验室访问学者、大湾区大学许地生教授团队，依托书生 S2 科学大模型，采用人机协同全新科研模式，由 AI 承担大规模、长链条复杂数学推演，科研人员把握研究方向、甄别有效思路，经过多轮迭代交互，完整推导出三维 Ghys 猜想的严谨证明。