标签： 推理

Fission-AI 在 GitHub 发布 OpenSpec，一套以 Markdown 规格文件为核心、面向 AI 编码工具的“规格驱动”工作流框架，试图让 AI 在写代码前先产出可审阅的计划与需求文档。

钉钉创始人陈航（花名无招）在卸任钉钉 CEO 三个月后，以 10 万元年薪出任港股上市公司百望股份的非执行董事。一个曾掌管阿里体系内头部 To B 产品的老将，以近乎象征性的薪酬进入一家税务 AI 公司董事会，值得关注的是他后续会不会真正参与业务，而不只是挂名。

戴森推出 CameraJet，把摄像头、WiFi、机器学习和流体动力学塞进一支电动牙刷，用视觉识别牙缝并自动喷射漱口水。它验证了一件事：消费硬件的差异化正在从马达和外观，转向“感知+推理+执行”的闭环。

开发者发布了一门名为 Bend 的编程语言，试图用“法则（laws）”式的证明约束来阻止 AI 生成的代码跑偏，并同时支持 CPU 与 GPU 执行。它想解决的不是“AI 会不会写代码”，而是“AI 写的代码是否真的符合你的意图”。

美国联邦航空管理局（FAA）计划投入 8.75 亿美元，采购一套名为 SMART 的 AI 软件，用来预测航班流量、提前发现航线冲突，缓解全国性的空管人手不足问题。这是 AI 进入关键基础设施调度环节的一次高金额、长周期落地。

乌克兰方面称，其 Sargan-3000 无人艇用遥控武器站发射 12.7mm 机枪弹，摧毁了一艘俄方武装无人艇，并称之为首次两艘无人水面舰艇直接交火。目前这一说法只有乌方单方面消息，尚无独立核实或击毁视频。