李飞飞World Labs新见解：AI编写代码后，将如何重塑现实世界？
机器之心编辑部在人工智能时代，我们已经习惯了通过说话来解决各种问题：无论是请求一个表格还是完成复杂的任务，只要用语言说明清楚目标和限制条件，“小龙虾”就可以自动执行。现在，只需掌握语言技能就能操作越来越复杂的技术系统。大模型之所以能够迅速融入各个行业领域，关键在于它们建立在一个成熟且广泛使用的文本接口之上。但是，当问题涉及到空间时情况就变得不那么简单了。例如，如果要修改一个房间的布局或让机器人在新
科技5 阅读
搜索: "机器之心"
共找到 49 篇相关文章
人工智能首度完成菲尔兹奖成果的形式化证明，Gauss项目20万行代码引领数学革命？
机器之心编辑部近日，AI 在数学领域取得了新的突破！一家名为 Math, Inc. 的公司宣布其 Gauss 智能体已经完成了关于八维和二十四维空间中球体堆积最优解的定理形式化证明。原始理论由玛丽娜・维亚佐夫斯卡及其团队在多年研究后提出，并且她也因此荣获了2022年的菲尔兹奖。据悉，这是自本世纪以来首个被完全形式化验证的菲尔兹奖成果，也是迄今为止规模最大的单一用途 Lean 形式化项目。Math,
科技11 阅读
英伟达DreamZero登顶双榜，训练机器人的方法再受审视
机器之心编辑部近期，NVIDIA 推出的世界动作模型 DreamZero，在两项重要的机器人基准测试 RoboArena 和 MolmoSpaces 上取得了优异的成绩。DreamZero 的核心在于：在一个单一的架构中预测未来的视频和机器人的动作。这意味着在采取行动前，机器人可以在内部模拟未来的情境。但问题也随之而来。为什么这样的设计能显著提升性能？它与传统的策略模型或世界模型相比有何不同？这是
科技4 阅读
特朗普封杀Anthropic引爆硅谷，死对头奥特曼都来声援了
机器之心编辑部是什么样的大事，能让 OpenAI 跟 Anthropic 和解，站到了同一战线上？本周五，特朗普在社交媒体上发帖，指责人工智能公司 Anthropic 试图「强迫」五角大楼接受其条款，并指示所有联邦机构「立即停止」使用其产品并不再与 Anthropic 开展合作。这一宣布后不久，美战争部长海格塞斯将该公司列为「对国家安全的供应链风险」，这意味着任何与军方合作的承包商或供应商都不得与
科技2 阅读
再携手!清华陈建宇×斯坦福Chelsea团队VLAW,世界模型×VLA协同进化
机器之心编辑部整个具身智能领域都在探索世界模型的实用化路径。这个被寄予厚望的「数字模拟器」，本应成为机器人训练的核心工具，却因物理保真度低等问题成为「空中楼阁」。视频链接：https://mp.weixin.qq.com/s/kv7J95lcyjccJJq9JWZ8SQ去年年中，谷歌发布了 Genie-3 世界模型，让「可交互的世界模型」第一次以极具冲击力的方式走进大众视野。这是一个可以实时生成、
科技6 阅读
刚刚，奥特曼光速滑跪背刺Anthropic，OpenAI高调签下军方大单
机器之心编辑部就在奥特曼公开支持 Anthropic、声称反对五角大楼施压后不到 12 小时，剧情发生了戏剧性逆转。本周，奥特曼在致 OpenAI 员工的备忘录中表示：「我们一直认为，人工智能不应用于大规模监控或自主致命武器，在涉及高风险的自动化决策中，人类应该始终参与其中。这些是我们的主要底线。」他还在 CNBC 节目中重申：「我个人认为五角大楼不应以《国防生产法》威胁这些公司。尽管我和 Ant
科技1 阅读
谷歌Nano Banana 2再度引发热议：速度快价格低，令设计师难以置信
机器之心编辑部突破性的质量，实惠的价格。经过一段时间的期待，Nano Banana 2终于面世了。谷歌首席执行官皮查伊在他的帖子中表示：“这是我们至今为止最好的图像模型。”https://x.com/sundarpichai/status/2027057726170509724目前，该模型已经在 Gemini 应用、Google 搜索（覆盖141个国家）和 Flow 上启用，并且在 Google
科技3 阅读
清华陈建宇与斯坦福切尔西团队的全球模型Ctrl-World领先世界
机器之心编辑部在全球具身智能领域的权威测评 WorldArena 榜单中，清华大学陈建宇（星动纪元创始人）和斯坦福大学切尔西·芬恩（PI 创始人）团队研发的 Ctrl-World 世界模型取得了优异的成绩：具身任务能力获得全球第一，并在主体一致性、轨迹精度、深度准确性及策略评估一致性四大核心维度上登顶；视频生成方面排名第二，仅次于阿里 Wan 2.6，超越谷歌 Veo 3.1 和英伟达 Cosmo
科技5 阅读
春晚刚结束，宇树新款机器狗闪亮登场
机器之心编辑部新年的时光如同流水般匆匆逝去。在刚刚过去的春节假期中，AI 和机器人成为了人们热议的话题焦点。其中，在春晚节目中展示高动态和协同性的全自主集群控制技术的机器人大明星宇树一哥尤为引人注目。春晚之后，我们对宇树科技的产品发展历程和技术细节进行了详尽回顾，揭示了其如何逐步成为具身智能领域的领先者，并在行业内实现了断层式的超越。然而，在大家的目光都集
科技10 阅读