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