国产科学大模型书生S2参与攻克困扰数学界31年的三维Ghys猜想,协助探索证明思路、连接跨领域工具;北京大学团队用SHEAF框架完成主要定理的Lean形式化验证。论文作者张洁松表示,人类数学家负责研究判断、筛选思路和核查证明,AI有望拓展数学研究但仍需人工把关。
来源:腾讯新闻
本站内容来自 Telegram 频道,实时更新
订阅频道