.png)
【中国大模型攻克世界级数学难题！】近日，上海AI实验室访问学者、大湾区大学许地生团队依托“书生-S2”大模型，通过人机协同成功证明复动力系统领域长期公开的“三维Ghys猜想”。随后，北京大学董彬、刘若川院士团队利用SHEAF框架，仅用5天产出约55万行代码完成形式化验证，确认了证明的正确性。这标志着中国科学家首次用国产大模型攻克世界级数学难题。该成果不仅展现了“书生-S2”强大的长程推理能力，更验证了“专家直觉+机器求解”的人机协同科研新范式，为基础科学突破提供了可复制的全新路径。目前相关论文及代码均已公开。
原文链接
本文链接：https://kx.umi6.com/article/38311.html
转载请注明文章出处
分享至
打开微信扫一扫
内容投诉
生成图片
.png "38311")
相关推荐
.png)
换一换
OpenClaw们狂奔，谁来焊死安全车门？
2026-02-02 16:45:19
谷歌物理真觉醒！全新Gemini 4 Argon一大波实测来了
2026-10-14 16:38:17
高通CEO：AI厂商28年要在手机跑1000亿参数大模型 还要自己造手机
2026-10-11 22:07:19
门槛崩塌！AI耗资1.4万就能设计出RISC-V芯片：功耗仅20毫瓦
2026-10-15 17:00:34
王的猜想，刚刚扩展到四维
2026-10-11 15:44:39
响应速度比Claude Code快3倍，实现真正无限上下文！APUS AI开源Reflex Agent
2026-10-14 12:23:06
微软总裁：AI受到的监管还不如一盒牛奶
2026-10-13 00:28:26
罗永浩微博停更一周后复更：我很好 一个AI相关视频教程即将登场
2026-10-12 19:12:32
华为AI靠RSI通关25款游戏！操作次数比人类少56%
2026-10-12 14:55:03
每月花20美元还得照顾AI情绪！Anthropic立规 严重辱骂Claude可封号
2026-10-09 23:35:03
一周10万星 AI逆向一切 但大家不要过于兴奋
2026-10-13 00:31:01
凌晨解禁的Gemini4 可能是目前最适合普通人的AI
2026-10-14 12:27:42
联想天禧自研代码智能体TianxiCode斩获SWE-bench-Live全球第一
2026-10-09 17:13:23
820 文章
1080835 浏览
24小时热文
更多
-
2026-10-15 17:00:34 -
2026-10-15 16:59:05
-
2026-10-15 16:57:47
