号称 99% 通过率的 AI 代码验证，只有 1.9% 真的绑定了需求

AI 编程圈最近有个越来越响的口号：让形式化验证给模型写的代码做数学证明，做到「没有 Bug」。一篇 11 月 3 日挂上 arXiv 的论文，把这条流水线的成绩单拆开了。论文标题是《Verified

OpenAI 总裁认了：上半年很难熬，三季度企业收入首次过半

OpenAI 总裁 Greg Brockman 在 11 月 4 日加州纳帕的《华尔街日报》科技活动上，把今年的曲线讲得相当直白：上半年「相当艰难」。艰难的来源是企业客户侧的竞争加剧——销售周期被拉长

让 AI 稳定写 Unity：官方 unity-agent-plugin 技能包，Claude Code、Codex 都能用

用 AI 写 Unity 游戏的玩家多半吃过这个苦：代码本身写得出来，但 AI 总是凭印象乱猜 API，写 UXML 又喜欢留下一堆半截文件，编辑器里解析报错刷屏。现在 Unity 官方下场了：开源了