核心要点速览
- Vercel CEO Guillermo Rauch在X上发帖称，人写的软件又慢、又脆弱，而且规格不足。
- 浏览量175,555，点赞5,073。他表示，AI会反复重写，使其更快、更省成本、更安全。
- 他还把形式化验证、负载测试，以及对内存不安全基础的加固都交给AI，并称之为工程的诞生。
又慢、漏洞百出，规格也不够
2026年11月5日，Vercel CEO Guillermo Rauch（@rauchg）开篇写道：未来数周到数月里，所有人都会明白一件事。人做的软件大多确实很慢，安全漏洞很多，规格也不够，而且并不正确。这是他点出的三点。
帖子链接为 https://x.com/rauchg/status/2118166970273292299 。浏览量175,555，点赞5,073，收藏1,101，转帖463。个人资料中的头衔为@vercel CEO，网站为 https://rauchg.com 。
出处[1]
诊断，以及被交给AI的工作
Rauch接着说，AI会把这些软件反复重写：让它更快、更省成本、更安全，并想到人没能顾及的故障模式。
出处[1]
连证明与图解都包括在内，被定位为工程的诞生
他列举的并不只是实现速度。还包括证明、形式化验证、负载测试和加固。若有人要求，还会彻底写成文档、进行讲解，并制作图表、动画和幻灯片资料。
结尾是：在许多意义上，我们正在见证软件工程的真正诞生。他把现有的人工代码当作缺陷清单，再把重写、验证和说明一并收进AI的工作里。这一句，就是这篇帖子的核心。
出处[1]
X（推特）首发原帖
可在 X 上直接查看创作者发布的原帖与互动详情。
