中国AI首次参与攻克世界级数学难题，对话作者张洁松

国产科学大模型书生S2参与攻克困扰数学界31年的三维Ghys猜想，协助探索证明思路、连接跨领域工具；北京大学团队用SHEAF框架完成主要定理的Lean形式化验证。论文作者张洁松表示，人类数学家负责研究判断、筛选思路和核查证明，AI有望拓展数学研究但仍需人工把关。

来源：腾讯新闻