搜索
近日，清华大学电子工程系数据科学与智能实验室在 AI for Science 方向提出面向智能体符号回归（agentic symbolic regression）的运行时框架 SRHarness [1]，让 AI 更可靠地从观测数据中发现公式；同时构建机制发现基准 MechBench [2]，系统评测 AI 能否进一步揭示公式背后的机理。
把杯子放进微波炉里，这一人类几乎不用思考的日常动作，机器人却可能在杯子放不稳、夹爪碰到门框这样的细节上频频出错。
在科技巨头的牌桌上，从来没有哪一次下注，像这次这般疯狂。
10 月 12 日下午，“工业具身・智造无界”2026 工业具身智能产业创新高峰论坛于国家会展中心顺利举行。
谷歌正式全球上线Gemini 4 Argon，向订阅用户、付费开发者、企业及科研人员等开放，并公布其在代码重构、科研、机器人和网络安全领域的应用案例。
智谱旗下Z.ai发布基于GLM-5.3-Flash的法律专用模型GLM-Legal，面向合同审查、证据分析和合规研究，官方评测显示其在Harvey LAB明显领先、其余两项接近一线，目前需申请API权限且未开源。
Character.AI母公司申请破产保护，迪士尼拟以2000万美元收购部分知识产权许可，其陨落折射出专用AI陪伴产品难敌通用前沿模型、C端用户规模难成商业价值及监管趋紧三重压力。
最近，我和朋友们共识了一件事：这波 Personal Agent 浪里，最值得用的就是 Grok Bot。
刚刚，Anthropic的前沿红队发布了一篇重磅报告。
啥，DeepSeek又开始给机器人公司投钱了？！