AI 编程实时动态与要闻

11 月 5 日 Rauch 在 X 发帖称，大多数人写的软件又慢、漏洞多、规格不清，AI 会把它们重写很多遍，并做形式化验证、压测和加固，「这才是软件工程真正的诞生」。帖子约 3,000+ 赞、270+ 转发、近 10 万浏览；赞同者举出用 AI 从零重写的案例，反对者提醒规格缺失和人工复核的问题。这是个人观点，不是 Vercel 官方公告。

Vercel CEO Guillermo Rauch 11 月 1 日在 X 上发帖：「拥有你自己的智能。任何反对这一点的人都有东西要卖给你（也许是把你自己的智能再卖回给你）。」他认为本地模型需要继续普及，超大模型暂时跑不了本地，所以最好的选择是保持选择权：自己掌握 harness、数据、连接和运行时，也就是自己的 Agent，并拥抱开源。帖子约 12 小时内获得约 2500 赞、12.8 万浏览，100 多条引用，讨论集中在本地与云端如何取舍。

Vercel CEO Guillermo Rauch 称团队在 fx 默认 auto 模式下用安全审阅器检查每条命令：当前跑在 GPT Luna，而 TypeSafe 的 Jev 在 p95 上可达约 18 倍更快且更准确，并将接入 Vercel AI Gateway，有望成为新默认。此前 Vercel 工程师也报告 Jev 在分类评测上相对 Gemini 2.5 Flash Lite 质量饱和且快约 6 倍。

Vercel CEO Guillermo Rauch（@rauchg）宣布编码智能体 CLI fx 0.0.10：changelog 称完成一轮最高约 1.6×、发起模型请求最高约 2.5×（长会话收益更大）；支持自动升级、ctrl+g 重启并恢复对话；并加强 MCP 错误路径的密钥保护。详情见 https://fx.sh/changelog#v0.0.10。

Vercel CEO Guillermo Rauch 称 GPT-6 Astra 已在 Vercel DeepsecBench 成为全球最佳网络安全模型：约 49 分钟完成 GPT-5.6 Sol 约 4 小时的工作量，分数更高、成本接近；相对 Claude Opus 5 max 更有效且约便宜 50%。榜单见 vercel.com/ai-gateway/leaderboards/deepsecbench。

Vercel 创始人兼 CEO Guillermo Rauch 宣布 v0.dev 正式从前端 UI 生成器升级为全栈应用智能体，支持自动生成 Next.js 15 Server Actions、Prisma ORM 与 Neon/PostgreSQL 数据库架构。