ChatGPT共同创造者Liam Fedus：数学之后，AI该去实验室了编辑｜Panda前两天，OpenAI 在 GitHub 上一次性放出了 722 篇数学手稿（后面撤回了几篇），覆盖数论、几何、理论计算机科学、数学物理等 17 个领域，其中一部分附带了可由计算机机械检查的 Lean 形式化证明。据 OpenAI 介绍，它们全部出自一个尚未发布的内部前沿模型，平...机器之心昨天 20:38
从「刷榜」到「做科研」：研究员还有多久被 AI超越？AI 离超越前沿科研人员还有多远？近日，OpenRSI Index 在 X 上引发关注。截至目前，项目发布帖已有超过 13.3 万次浏览，相关话题出现在 X 的 Today’s News 栏目中。图 1 OpenRSI-Index 出现在 X 的 Today’s News 栏目中。 X 发布...机器之心昨天 20:31
陶哲轩最新演讲：数学2.0来了，证明稀缺时代正在终结就在今天，陶哲轩公开了其在加州理工学院举行的最新演讲《Math 2.0》（数学 2.0）。他介绍道，这场演讲早在一年多前就已经开始筹划，最初的标题是《机器辅助证明》（Machine Assisted Proof），原计划于今年 5 月举行。后来，演讲被推迟到了 10 月。由于近期发生的一系列事...机器之心昨天 20:27
机器人伸手时，杯子被挪走了：LIBERO-MAX用22.4万次仿真检验动态可靠性设想这样一个场景：你让机器人把桌上的杯子收进托盘。它已经看到了杯子，机械臂正朝杯子伸过去。这时，旁边的人顺手把杯子挪开了几厘米。对人来说，接着调整一下手的位置就好。对机器人来说，事情可能复杂得多：它之前看到的是旧位置，已经生成的动作也指向旧位置。如果继续执行，手就可能伸向一块空桌面。它能及时看...机器之心昨天 20:19
长鑫技术新突破：4F²架构产品预计年底亮相长鑫存储4F² DRAM架构研发近期取得关键进展。该公司总裁曹堪宇博士在第四届集成芯片和芯粒大会上发表演讲，全面介绍了长鑫存储在DRAM器件、4F²架构及混合键合等方向的技术探索与积累，并官宣预计年底将推出融合了上述先进技术的新一代DDR5 RDIMM产品。据曹堪宇博士介绍，长鑫自成立以来就启...新闻资讯10-10
首张完整紫外全天图问世，Claude Science补全缺失的三分之一天空编辑丨coisini天空的样子完全取决于你用什么波来观测它，每个波段都会凸显出不同的特征。在可见光下，人们主要看到的是恒星。切换到红外波段，则会显现出集中于银河系带状区域中的微小尘埃颗粒所发出的光芒。在射电波段，恒星和尘埃逐渐隐没，而氢气（形成新恒星的原材料）则变得可见。而在 X 射线波段，人...ScienceAI10-10
从记忆到自进化：Agent 走向 RSI 的关键一步近期，全球顶尖 AI 实验室正在密集释放一个信号：AI 正在从帮助人类完成任务，走向参与自身的研发与改进。9 月，OpenAI 宣布已经实现「自动化 AI 研究实习生」的阶段性目标，并计划在 2028 年 3 月前打造真正的「自动化 AI 研究员」。OpenAI 首席科学家 Jakub Pac...机器之心10-10
田渊栋：与GPT-5合写最后一篇论文后，我意识到自己5年内会失业编辑｜Panda前些时日，OpenAI 在 GitHub 上一口气放出了 722 篇数学论文手稿。这些手稿被归为 372 个结果「家族」，横跨 17 个数学领域，全部出自一个尚未发布、也没有公开名字的内部模型——其性能远胜 GPT-6 Astra。 OpenAI 首席研究官 Mark...机器之心10-10
OpenAI搅乱数学界！科研项目没了，数学家遭毁灭性打击，学界还要数年消化数学家可能真的遇到难题了：AI 产出新数学的速度，开始超过数学界理解数学的速度。几天前，OpenAI 突然在 GitHub 上公开了一批由内部未发布前沿模型生成的数学研究成果，数量达到惊人的 722 篇。其中涉及数论、代数几何、分析、组合数学等多个方向，一些成果还配有 Lean 形式化证明。仓...机器之心10-10
NeurIPS 2026 | 别等Agent把任务搞砸！7B审计员AgentForesight在线抓错从事后归因到在线审计，在任务失败前识别关键错误多智能体的失误，未必表现为当场报错。更麻烦的是，一个 Agent 给出错误前提，其他 Agent 却继续认真执行。来自罗格斯大学、得克萨斯大学奥斯汀分校和普渡大学的研究团队提出 AgentForesight，让一个 7B 模型在任务运行中持续审计。...机器之心10-10
一天卖出约100单，合肥机器人开始自己「开店」了编辑｜陈彦杉让机器人走出实验室，去找一份工作，它能干什么？过去一年，人形机器人学会了跑步、跳舞、格斗，也开始出现在工厂、仓库和商场里。但对机器人企业来说，能完成一次漂亮的演示，和能够每天为顾客提供服务，仍然是两回事。今年国庆假期，合肥合柴1972文创园里，一家只有机器人营业员的小店交出了一份成...科城变量10-10
够不到就自己加凳子！李弘扬团队创业半年，机器人实机成果来了玩偶放得太高，机器人伸手够不到。镜头里，它搬来踏台，站上去，把玩偶取了下来。看起来只是 “垫高一点”。但搬动踏台、踏上高处、伸手取物，每一步都在改变身体的支撑条件。从此前技术博客中提出“全身智能”（Whole-Body Intelligence，WBI）技术路线，到如今首次系统性公开实机成果，...机器之心10-10
主动理解物理世界：ROMA让机器人学会交互探索物体我见，我摸，我理解。人类认识一个物体，从来不只是「看」。看到一个盒子，我们可能会拿起来掂一掂，判断它有多重；我们可能会摇一摇，听听里面有没有东西；还可能会捏一捏，试试它软不软。人类感知世界的过程不是被动地接受已有的感官信息，而是在发现我们对身边事物不够了解时，主动地与之交互，根据交互的信息补全...机器之心10-10
AI灾难恐在一年内发生！OpenAI和Anthropic已在推演应对方案编辑｜Panda刚刚，Axios 发布了一篇独家报道，称 Anthropic、OpenAI 等 AI 公司的高管正在私下推演这样一个场景：一场由 AI 引发的灾难性事件发生之后，公众和政界会如何反弹，公司又该如何应对。Axios 将其概括为为「the day after」做准备。被预设的并非科...机器之心10-10
当AI开始造AI：递归自我改进的2026年编辑｜Panda今年 3 月，Andrej Karpathy 在 GitHub 上开源了一个叫 autoresearch 的小项目。README 的开头是一段「来自未来」的追忆：前沿 AI 研究曾经由「肉做的计算机」完成，它们要吃饭、要睡觉，偶尔通过「声波互联」在一种叫「组会」的仪式上同步一下...机器之心10-10
全球首次！人形机器人用灵巧手自主叠衣，西湖机器人做到了一台人形机器人从冰箱取出玉米，丝滑 U 型转身走向空气炸锅，放下食材后快速下蹲拖动收纳筐，把散落一地的玩偶逐个收纳，再起身前往卧室整理被子。全程没有停顿，没有 “站定再动手”，没有场景切换后的任务重启。这是西湖机器人最新发布的通用大脑 WR1 跑出的真实场景演示。让机器人做家务，难在真实家务从...机器之心10-09
让自然语言成为世界模型的表征，英伟达Physis-Lang这样增强视频物理真实性X：https://x.com/NVIDIAAI/status/2105051552029556942从一块黄油如何融化，到 Physics-IQ Verified 的榜一，视频里的物理细节值得被重新描述一遍。给视频模型一句「黄油受热融化」，它该...机器之心10-09
数据不出药企，AI却学会了更多：蛋白质模型迎来一次重要升级编辑丨&在发展进程中，AI 蛋白质结构模型最令人印象深刻的突破，几乎都是朝一个方向努力——让机器理解蛋白质的三维结构。但对于理解蛋白质结构来说，公用数据库的数据量还是有些少了，并且真正有价值的数据其实不在这些公共数据之中，反而在制药公司的未公开的药物结构里。2026 年 9 月 14 ...ScienceAI10-09
给具身智能换个「因果」内核，Aether AI的愿景终于走进物理世界编辑｜张倩机械臂眼看就要抓到咖啡袋了，旁边的人突然伸手，把袋子挪走了。操作咖啡机时，人又拿灯光晃它，按钮周围的光照一下就变了。到了微波炉前，旁边的人又故意往应该装蛋糕的盘子里放了一个饮料罐…… 而等到它准备关门，一只手又伸到了门边……短短七分钟的一个视频，我们看到了各种意外干扰。但更令人意外的...机器之心10-09
被OpenAI解雇后，三名安全研究员联名公开信曝光内幕上周，OpenAI 宣布解雇三名员工，理由是内部调查发现三人违反了公司关于敏感信息访问与处理的规定，涉嫌在既定程序之外向第三方 AI 安全评估组织分享机密信息。他（她）们分别是从事模型对齐相关工作的 Jasmine Wang、从事 AI 安全研究并曾参与 OpenAI 与外部安全评估机构之间技...机器之心10-09