波士顿动力 Atlas 团队把机器人双脚换成滑板车轮改装成研究测试台，用学习型全身控制器驱动，验证执行器在性能包络边缘的表现。团队称轮式 Atlas 不是产品，而是利用 Spot 和 Stretch 客户经验数据研究极端场景下可靠性的平台；项目通过在 MuJoCo 中精确匹配真实电机模型缩小 sim2real 差距，侧滑动作中策略自发学会用轮子滚动，360 度跳跃动作一次训练即成功上机。
对A股整机与本体、数据采集环节中性偏利好，波士顿动力验证sim2real与执行器极限属技术探索，非量产进展
推荐理由：Atlas 团队工程师亲述轮式改装与 RL 全流程，读者可借此理解 sim2real 落地时电机建模与策略训练的配合方式。
英伟达董事会针对近期关于 CEO 黄仁勋成为外国情报行动目标的报道发起独立调查，由独立董事组成的委员会在外部独立法律顾问协助下负责。董事会表示没有理由认为国家安全或英伟达机密已被泄露，但将审查所有可用信息；黄仁勋完全支持此次审查并承诺配合，董事会对其及领导团队保持信心，并将适时提供进一步更新。
对A股涉及英伟达公司治理传闻，董事会称暂无泄露迹象，对英伟达链影响中性
推荐理由：英伟达董事会官方声明，交代调查安排、Jensen Huang 态度及董事会立场，是理解该事件走向的一手信息。
Microsoft Research 发布研究原型 PDD Kit，提出 Proof-Driven Development（PDD）方法：把开发者意图转成 Verus 形式化规范，对智能体编写的代码在所有输入上给出证明，证明覆盖不到的部分回退到测试并显式标注可信边界。
推荐理由：微软介绍了 PDD Kit 如何把意图转成 Verus 形式化规范来验证智能体代码，并展示了在 Pet Store 登录逻辑上的实际流程。
OpenAI 宣布将收购 Pierre Computer Company, Inc.，以扩展 Codex 在构建、理解和审查代码方面的工具能力。
推荐理由：官方宣布收购 Pierre，读者可据此关注 Codex 代码工具链后续的整合方向。