まず、ここだけ
- Vercel CEOのGuillermo Rauch氏が、人のソフトは遅く脆弱で仕様不足だったとXに投稿した。
- 表示175,555、いいね5,073。AIが何度も書き直し、高速・低コスト・安全にすると述べた。
- 形式検証や負荷試験、メモリ安全でない土台の堅牢化まで担い、工学の誕生と位置づけた。
遅く、穴だらけで、仕様も足りなかった
人が作ったソフトの多くは、本当に遅く、脆弱性が多く、仕様が不十分で正しくなかった
2026年11月5日、Vercel CEOのGuillermo Rauch氏（@rauchg）は、これからの数週間から数カ月で誰もが学ぶことになる、と切り出した。人が作ったソフトの多くは本当に遅く、セキュリティ上の脆弱性が多く、仕様が足りず正しくなかった、という三点だ。
投稿のURLは https://x.com/rauchg/status/2118166970273292299 。表示175,555、いいね5,073、ブックマーク1,101、リポスト463。肩書きは@vercel CEO、サイトは https://rauchg.com とプロフィールにある。
参照先[1]
診断と、AIが担うとされた仕事
Rauch氏は、AIがそれらを何度も書き直すと続ける。速く、コスト効率がよく、安全にし、人が頭を回せなかった故障モードまで考える、という主張だ。
| 人が作った側の診断 | AIが担うとされたこと |
|---|---|
| 本当に遅かった | 高速でコスト効率のよい実装へ書き換え |
| 脆弱性が多かった | 安全にし、人が想定しきれない故障モードを考える |
| 仕様不足で正しくなかった | 何度も書き直し、証明・形式検証・負荷試験・堅牢化 |
| メモリ安全でない土台 | 堅牢で最適化された土台へ置き換え |
参照先[1]
証明と図解まで含む、工学の誕生という位置づけ
列挙は実装の速度だけではない。証明し、形式検証し、負荷試験し、堅牢化する。頼まれれば徹底的に文書化し、教え、図やアニメーション、スライド資料まで作る、と書いている。
締めは、私たちは多くの意味でソフトウェア工学の本当の誕生を目撃している、だった。既存の人のコードを欠点の目録として置き、書き換えと検証と説明までをAIの仕事にまとめた一文が、この投稿の芯になっている。
- 形式検証と証明まで工程に含める
- 負荷試験と堅牢化をセットで語る
- メモリ安全でない基礎を最適化された土台へ
- 依頼すれば文書・図・アニメ・スライドまで
参照先[1]
話題の元投稿
作者の投稿や紹介を、X で確認できます。
