搜索
今夏，数学圈震动不断——OpenAI的Astra模型一举解决10个长期悬而未决的数学问题（包括非sofic群的存在、高维球堆积新的结果等）；Claude Fable 5找到近百年Jacobian猜想的反例，之后还极大推动了黎曼猜想！
Qwen4还没出，架构先开源了。
从《四驱兄弟》里那些在赛道上奔跑的机械想象，到后来扎进机器人学习领域的漫长探索，徐梦迪始终被同一个问题牵引：机器要怎样进入物理世界，并在那里持续生长。
业务覆盖企业私有化算力部署与自营Token工厂。 作者 | 杨京丽 编辑 | 李水青 智东西8月27日报道，昨日，北京AI基础设施创企博伦智汇宣布完成千万级天使轮融资。本轮融资由专注AI及AI Inf
Moxt 的口号是「Build Your AI Native Team」，致力于提供一个 AI 和人类能够无缝协作的空间，实践 AI Native 的团队运行方式。
我们理想中的具身智能模型，是什么样的？
8月14日，一个叫Cocode的项目悄悄出现在GitHub上，简介写得很直白，基于DeepSeek Harness构建的开箱即用发行版。不到两周，它拿到150多个star，并在8月25日发布了v1.0.2。
867 亿元，Hugging Face 被英伟达纳入麾下，就在这桩巨额收购的前一晚，OpenAI 发布超长安全调查报告里，Hugging Face 还是一个巨大的「事故现场」——看来并没有影响它的价值。
如果说 Vibe Coding 让「写代码」这件事从「敲键盘」变成了「和 AI 对话」，那么今天要介绍的这项工作，可能正在把同样的故事在 3D 世界构建 领域重演一遍。
在 2026 世界人形机器人运动会 - 工业场景赛 -「装配上料岗」赛项中，一台机器人需要连续完成搬运上架、拣选上料、物料装配三项任务：从搬运 10kg 物料箱，到七类零件拣选，再到发动机 18 个气门的亚毫米级装配。