太带劲了！抢先Claude 5，OpenAI深夜祭出了一个编码杀器——Codex。它可以让一人指挥多Agent并行协作，自带Skills，编码从此进入自动化时代。
“80%的手机App会被吃掉！”
硬氪独家获悉，人形机器人公司逐际动力LimX Dynamics已完成2亿美元的B轮融资。
救命，现在的AI，光会帮我下单已经不够了。
这两天我在扫 X 推文的时候，有一个名字出现的频率明显变高了：Fanvue，一个创作者订阅平台。
为了给OpenAI凑齐3000亿美金的算力投名状，硅谷老教父Larry Ellison杀疯了！3万名员工集体祭天，283亿美金买回来的医疗巨头Cerner直接送上拍卖台。为了买显卡，甲骨文正在自残？
上周末，号称「AI 版 Reddit」的 Moltbook 闹得沸沸扬扬。
企业 AI 转型，再也不需要自建 agent 了
让模型真正 “能行动”，往往需要一个可执行、可验证的符号世界模型（Symbolic World Model）：它不是抽象的文字描述，而是能被规划器或执行器直接调用的形式化定义 —— 例如 PDDL 领域 / 问题，或可运行的环境代码 / 模拟器。
不做 VLA；不做遥操，以可穿戴设备采真实数据。
