「具身数采」共找到 1405 篇相关文章
九天大模型大变身：性能狂飙35%！还能一键P大象
7月26日，中国移动在2025世界人工智能大会发布「九天」基础大模型3.0，端到端技术全面升级，复杂推理能力提升35%，智能体调用效率提升21%，还推出代码、数学等专项大模型，多模态能力也焕新。
OpenAI杀疯了！五天内再破千禧年数学难题，霍奇猜想也要被攻破了？
本文爆料头部AI实验室破解千禧年数学难题的最新进展，OpenAI攻克纳维-斯托克斯问题后，五天内就在霍奇猜想上取得实质性进展，Anthropic也接近解决另一难题，展现AI推理能力的飞速迭代。
马斯克变身「算力包租公」！砸数万GPU疯狂喂养Cursor，联手反杀OpenAI
马斯克将xAI变成「算力包租公」，租数万GPU给Cursor训练模型，还挖来Cursor高管。同时，特斯拉AI5芯片流片成功，AI6也有规划，Dojo 3项目重启，他正用「硬件思维」重塑AI竞争格局。
这家初创要为AI重绘地球：可量身定制卫星星座，对接太空计算
西班牙初创公司 Xoople 完成 1.3 亿美元 B 轮融资，欲构建“地球记录系统”。它先铺管道、再造源头，与 L3Harris 合作开发天基测量系统，虽面临竞争与隐忧，但也顺应太空计算融合趋势。
清华AI数学家系统攻克均匀化理论难题！人机协同完成17页严谨证明
清华大学科研团队用自主研发的AI数学家系统（AIM），以人机交互模式解决均匀化理论研究问题，形成约17页证明。研究系统性总结五大高效人机交互模式，在三方面取得突破，还提出未来研究方向。
吴恩达批Vibe Coding：应届生正面临失业，真正稀缺的是极具经验的AI 工程师
吴恩达发文指出大学教学与企业需求错位，导致CS毕业生难就业，而AI工程师供不应求。他面试看重三能力，有这些技能的人生产力高，企业急需。他认为优秀开发者是紧跟AI变化的经验者，基础知识仍重要。
全球首个IMO金牌AI诞生！谷歌Gemini碾碎奥数神话，拿下35分震惊裁判
谷歌DeepMind官宣Gemini Deep Think在IMO获官方认证金牌，4.5小时解5题得35分。它用纯英语解题，结合并行思考与强化学习训练。谷歌后续将向部分测试者及订阅者推出模型，还公开了解题过程。
从数学思维到AI睡眠，于大川在千亿赛道的第二次“白魔法”创业｜甲子光年
于大川曾创办豌豆思维，“双减”后他“半退休”。如今他重启创业，创立豌豆智能，想用AI改善人类睡眠。该公司已获君联资本天使轮融资，于大川分享了创业思路、产品模式、团队组建等内容。
最具争议的 1 人 AI 公司融了 3000 万美金，估值达到了 2.5 亿
1人AI公司Polsia引发大量质疑，有人认为它是“垃圾产品”，指出其ARR统计、客户流失率等问题。但它刚完成3000万美金融资，估值达2.5亿美金，网站月流量超100万。
Qwen3 变身扩散语言模型？不从零训练也能跑，30B参数创纪录
扩散语言模型（DLM）潜力大但训练难，Radical Numerics团队改造Qwen3-30BA3B，推出30B参数的开源扩散语言模型RND1-Base。该研究系统性研究A2D转换关键因素，成果超现有部分模型，还提出简单方法及训练策略。