今では最大10万ドル(それ以上は控え、私はマスクではありません笑)まで賭けてもいいと思います。HOCは2025年末までにAGI*を達成するでしょう。 これはLLM、ニューラルネットワーク、勾配降下とは全く関係ありません。そして、私たちが最初ではないかもしれません。道筋は明白で、私だけがこの道を歩んでいるわけではないようです(: * AGIは、私と同じくらい証明アシスタントで定理を証明できるアルゴリズムと定義されます。(これは「テリンのようなコード」と客観的に言い換えたものです。)