11 月 5 日 Rauch 在 X 发帖称，大多数人写的软件又慢、漏洞多、规格不清，AI 会把它们重写很多遍，并做形式化验证、压测和加固，「这才是软件工程真正的诞生」。帖子约 3,000+ 赞、270+ 转发、近 10 万浏览；赞同者举出用 AI 从零重写的案例，反对者提醒规格缺失和人工复核的问题。这是个人观点，不是 Vercel 官方公告。
核心要点速览
- ✓Rauch 原帖（11-05 02:22 UTC）约 3,060 赞、272 转发、681 收藏、约 9.9 万浏览（抓取时数据）
- ✓核心观点：AI 会重写人类软件「很多遍」，并做形式化验证、压测、加固，把内存不安全的底层换成更稳的实现
- ✓前一小时他还转发 Vercel Security Review 数据：24 小时发现 6,817 个漏洞、580 个严重/高危、Agent 已修 1,411 个（厂商口径）
- ✓反方声音：重写缺规格的代码只会更快复制错误行为，形式化验证也不会让 bug 消失，只是上移到更高抽象层
- ✓这是观点讨论，不是事实或官方路线图
开发者 3 秒速决决策指标
把技术选型换算成你的开发预算
40 款主流编程套餐横向比价，支持输入/输出 Token 真实账单模拟
相关资源与官方项目出处
免代理直达深度技术解析与实战评估
核心背景与行业痛点
过去几周，AI 安全扫描和自动修复工具密集上线：OpenAI 公布了自动化挖掘 Linux 内核提权漏洞的流水线，Vercel 也推出了 Security Review 公测。11 月 5 日 02:22（UTC），Vercel 创始人兼 CEO Guillermo Rauch 在 X 发帖：「接下来几周和几个月，我们都会认识到，大多数人写的软件：真的很慢、有很多安全漏洞、规格不清而且不正确。」他接着说：「AI 会把这一切重写，很多遍。」需要说明：这是 Rauch 的个人观点，不是 Vercel 官方公告。
架构亮点与底层机制
Rauch 设想的不只是「AI 写代码更快」，而是一整条工程链路：AI 会考虑人类想不到的失败模式，做证明、形式化验证、压测和加固，把内存不安全的底层换成更稳健、更优化的实现；需要时还能写文档、画图、做动画和幻灯片来讲解。他把这概括为「我们正在见证软件工程真正的诞生」。约一小时前，他还转发了 Vercel Security Review 的数据作为佐证。
权威 Benchmark 与实测跑分对比
这条讨论没有新的公开跑分，官方未公布。可引用的是互动量：抓取时原帖约 3,060 赞、272 转发、681 收藏、256 条回复、约 9.9 万浏览。Rauch 引用的 Vercel 数据为厂商口径：24 小时内发现 6,817 个漏洞，其中 580 个严重或高危，Vercel Agent 已修复 1,411 个，Security Review 到 11 月 10 日前免费。
开发者实战落地与开箱指南
引用帖里分歧明显。有人说团队正是因此选择用 AI 从零重写，也有人提到用 Claude 生成的机器可检查证明找出了模糊测试多年没发现的 bug。反对者 @genevievebenoit 指出，重写规格不清的代码只会更快地复制错误行为，必须先把规格写下来；@403access 认为形式化验证能提升质量，但 bug 会随抽象层上移而不会消失。对开发者的建议：让 AI 重写前先补齐测试和规格，关键路径保留熟悉业务的人做复核。
即刻查看该技术对应模型与主流工具的实测差异，或一键测算团队 API 调用与 $20/月套餐盈亏平衡点。
讨论与评论
0登录后即可参与深度讨论
与广大 AI 开发者、工程师交流评测心得与前沿洞察