我现在愿意下注最多 10 万（但不超过这个，我可不是 Musk 哈哈），认为 HOC 到 2025 年底会拥有 AGI*。 这与 LLM、神经网络、梯度下降完全无关。我们甚至可能不是第一个。道路显而易见，似乎我并不是唯一一个走这条路的人（: * AGI 定义为一种能够在证明助手中像我一样胜任地证明定理的算法。（这是一种客观的说法，意思是“像 Taelin 一样编码”。