這是瘋狂的部分，Dario 做出了大膽的聲明，而他是 ✨對的✨。他並沒有說 90% 的 *工作* 會由 AI 完成。他說 90% 的 *代碼* 會是 AI 編寫的。今天，我自己的 90% 代碼都是由 AI 編寫的。 這怎麼不是對的呢？ 目前，在 HVM4 上： → opus 寫了 95% 的解析器 → opus 寫了 95% 的語法糖 → opus 寫了 80% 的互動 → opus 寫了 70% 的自動重複 → opus 寫了 100% 的數字運算 (17) → opus 寫了 80% 的結構相等 → opus 寫了 100% 的 UTF-8 支持 → opus 寫了 100% 的模組組織 是的，這段代碼很美，速度快，正確，數百個測試通過，而我每天都在使用它，正如我們所說的，來開發 SupGen。 不相信？那我會在評論中發佈 HVM4 的 git 日誌。這完全是 Claude 的作品。親眼看看吧！ 那麼，Opus *不能* 做什麼呢？ → 任何新穎的事物 → 任何需要真正洞察的事物 → 任何需要長期規劃的事物 → 無論那是什麼... 例如，基礎、初始文件、架構、設計選擇 - 全部由我來完成。它做不到這些，因為它無法讀懂我的心思，因為這是新事物，因為這需要洞察力。即使它記住了 HVM3，它仍然無法提出導致 HVM4 的進步。LLMs 沒有能力做到這一點。 一個更近期的例子：我今天早些時候發佈的終止遞歸列舉器。你在線上找不到那個算法。甚至 Agda/Lean 也沒有正確實現它。它不在「人類的數據庫」中。這需要真正的智慧，因此，LLMs 做不到這一點，因為它們只是被美化的查找表。 我做的一些事情仍然需要花費大量時間。思考需要大量時間，規劃需要大量時間。LLMs 無法為我做任何這些。 但是，Dario 並沒有說它們會。 他說它會寫我 90% 的代碼。 而且，嗯，確實如此...

HVM4 git 日誌本月 Claude 一路走來

此外，您可以看到一些提交，例如： "bug wip" 這實際上是我創建一個文件來隔離某個錯誤。然後我啟動Claude，讓它找到問題，而我在做其他事情。幾乎總是能找到確切的罪魁禍首。我提交後就繼續前進。節省了很多時間。

那麼 Dario 還聲稱了什麼？