搜索：混元3D世界模型1.0

「混元3D世界模型1.0」共找到 9089 篇相关文章

稚晖君家智元没参展机器人大会，合着是人家自己办（doge）

这是智元机器人首届合作伙伴大会现场画面。前段时间世界机器人大会没智元身影，原来它有自己的大会。现场机器人表现多样，有比心、穿梭、自主讲解等，还有真机数据采集、流水线分拣等工作场景。

在Manus火热背景下，Spring AI Alibaba JManus诞生，它是用Java实现的开源OpenManus。可集成多个大模型，功能完善，能让Java开发者低门槛搭建智能体系统，还给出了运行方法及共建思路。

DeepSeek官方版Harness未出，民间开源编程Agent「Pi」先火。它适配DeepSeek，让其缓存不命中率低至0.03%，调用成本大降。Composio测试显示Pi完成任务平均成本最低。同时，DeepSeek正组建团队做官方Harness。

深度求索放出数据中心高级运维工程师等岗位，要将效率至上哲学从软件延伸到机房运营。其选择乌兰察布建数据中心，因当地条件优、产业生态成熟。且传闻其新一代大模型V4将发布，算力成决胜关键。

菲尔兹奖得主陶哲轩携手ChatGPT打造开源数学概念验证工具，数天迭代至2.0版，可全自动或半自动证明。还支持渐近估计，上手简单、可扩展性强。此外，他用AI 33分钟“盲做”一页数学证明，重塑研究范式。

近期龙虾（OpenClaw）热度下降，harmess engineering大火。开源项目hermes-agent已有52.7k Star，是自学习型AI智能体，能积累技能、持续学习，可轻松切换多种模型，还给出安装、使用指南和文档教程。

快排算法之父、图灵奖得主托尼·霍尔（Tony Hoare）去世，享年92岁。他提出快速排序，创造霍尔逻辑、CSP并发模型，也引入“空引用”。他出身古典学，学术生涯成果丰硕，荣誉等身。

情人节，Unitree G1 人形机器人解锁求婚技能。背后是清华叉院等联合团队的 HuMI 框架，解决人形机器人数据采集难、效率低问题，通过硬件、交互与算法协同，实现低成本、高效全身操作策略学习。

三年多前ChatGPT发布，教育改变。曾寄望用AI检测器识别生成文本，但学生易规避。检测难维持信任，还可能惩罚错对象。生成式AI可提升学习，应构建新评估模型，如展示真实理解等。

当下机器学习应用开发流程复杂，开源数据库Postgres带来惊喜。PostgresML团队让AI模型跑在数据库中，介绍了PostgresML和Korvus两个关键项目，二者结合降低复杂度，让‘在SQL里跑AI’成工程现实。