AI圈报
论文研究普通

上海人工智能实验室团队用书生 S2 大模型完成三维 Ghys 猜想证明

信息来源:IT之家·人工智能·
原始标题:中国科学家首次用中国大模型攻克世界级数学难题,曾困扰学界 30 余年

内容摘要

上海人工智能实验室发文宣布,许地生团队依托书生科学多模态大模型 S2,通过人机协同完成困扰数学界 30 余年的三维 Ghys 猜想证明。北京大学董彬、刘若川院士团队用 SHEAF 框架完成形式化验证,论文已发布于 arXiv,形式化代码开源在 GitHub。上海人工智能实验室表示该范式可推广至其他搜索空间大而专家稀缺的基础研究领域。
内容分类AI 论文与研究
内容层级普通情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源IT之家·人工智能
站内情报编号intel-29cb3f60a96125254cebaaae