首次国产大模型攻克世界级数学难题！北上广三地联手
首次国产大模型攻克世界级数学难题！北上广三地联手大湾区大学许地生教授团队与上海AI实验室借助书生-S2科学基础模型证明Ghys猜想在复余维一情形下成立，北京大学董彬教授、刘若川院士团队随后完成形式化验证。
来自主题: AI资讯
8482 点击 2026-10-19 12:14
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
大湾区大学许地生教授团队与上海AI实验室借助书生-S2科学基础模型证明Ghys猜想在复余维一情形下成立，北京大学董彬教授、刘若川院士团队随后完成形式化验证。
你可能不信，Claude Code 现在差不多 90% 的代码，是 Claude 自己敲的。
世界模型赛道仍在源源不断涌入最智慧的大脑。
千呼万唤，Kling 4.0终于全面上线了！！
把一家冰淇淋店交给机器人，需要准备多少东西？
近日，Manifold AI流形空间登顶机器人学习基准RoboDojo榜单（Agent Track），超越 GPT-6-Astra、英伟达 GR00T-N1.。其 WorldScape R²SI系统超过GPT-6-Astra、英伟达 GR00T-N1.7等模型，位列总榜第一。
Sora，可能要回来了。
都知道跨学科才能拿大结果，可啃完全陌生的领域又太烧心？
设定一些不合理的目标，然后告诉模型：这非常合理！
这个秋天，清华电子工程系的一间实验室里，5台智元精灵G1机器人一字排开。