搜索
任务很简单：把一个加热后的杯子放进柜子。一个智能体先把杯子放进微波炉，再放进柜子，随后陷入反复查看柜子的循环。这个无效行为重复了 36 次，直到耗尽行动预算，任务仍然没有完成。
近日，清华大学电子工程系数据科学与智能实验室在 AI for Science 方向提出面向智能体符号回归（agentic symbolic regression）的运行时框架 SRHarness [1]，让 AI 更可靠地从观测数据中发现公式；同时构建机制发现基准 MechBench [2]，系统评测 AI 能否进一步揭示公式背后的机理。
把杯子放进微波炉里，这一人类几乎不用思考的日常动作，机器人却可能在杯子放不稳、夹爪碰到门框这样的细节上频频出错。
智谱旗下Z.ai发布基于GLM-5.3-Flash的法律专用模型GLM-Legal，面向合同审查、证据分析和合规研究，官方评测显示其在Harvey LAB明显领先、其余两项接近一线，目前需申请API权限且未开源。
Character.AI母公司申请破产保护，迪士尼拟以2000万美元收购部分知识产权许可，其陨落折射出专用AI陪伴产品难敌通用前沿模型、C端用户规模难成商业价值及监管趋紧三重压力。
刚刚，Anthropic的前沿红队发布了一篇重磅报告。
就在今天深夜，Meta自豪宣布：自家的王炸大模型——Muse Wonder和Muse Wonder Full发布！
刚刚，一则消息让已经被 OpenAI 放弃的视频生成模型 Sora，再次回到公众视野。
最近，来自牛津大学&莫纳什大学&布里斯托大学的团队提出了交互式视频世界模型 Oneira，将这类模型从开放式的生成走向开放世界的交互。
一道科学问题，AI 可以给出解释，列出步骤，甚至写出分析代码。