北京
来源：央视米兰体育-米兰(中国)官网客户端
记者：盛瑾瑜
近日，困扰国际数学界30余年的三维Ghys猜想被中国团队成功攻克，这是我国首次依托国产大模型破解世界级数学难题，实现人工智能赋能前沿基础数学研究的标志性突破。
上海人工智能实验室访问学者、大湾区大学许地生教授团队，依托书生S2科学大模型，采用人机协同全新科研模式，由AI承担大规模、长链条复杂数学推演，科研人员把握研究方向、甄别有效思路，经过多轮迭代交互，完整推导出三维Ghys猜想的严谨证明。
图片来源：摄图网
Ghys猜想1995年由法国数学家提出，是复动力系统领域长期悬而未决的核心难题，推理难度极大。其对应的实（数）版本至今仍是全球未解难题，是衡量高阶数学推理能力的重要标杆。
成果验证工作由北京大学董彬教授、刘若川院士团队独立完成。北大团队利用自主研发框架，通过大规模智能体并行运算，完成全部核心定理的形式化机器验证，产出数十万行验证代码，严格核验整套证明逻辑完整、无漏洞、完全成立。
此次成果充分体现国产大模型在高端严谨数学推理领域的硬核实力。目前，相关学术论文已在国际预印本平台公开，验证代码全面开源。
本次突破打破了传统数学研究依赖个人摸索的模式，建立起人机协同的基础研究新范式，可为更多基础学科原始创新提供重要借鉴。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
