我現在願意下注最多 100k（但不會超過這個數字，我可不是 Musk 哈哈），相信 HOC 到 2025 年底會擁有 AGI*。 這與 LLM、神經網絡、梯度下降完全無關。我們甚至可能不是第一個。這條路很明顯，似乎我不是唯一一個走這條路的人（: * AGI 定義為一種能夠在證明助手中像我一樣熟練地證明定理的算法。（這是一種客觀的方式來說「像 Taelin 一樣編碼」。）