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