ところで、HOC の最新情報: 私はほとんどの主要な AI ラボに連絡を取りましたが、彼らはまったく興味がないことが判明しました。xAI と OpenAI は数回のやり取りの後、私をゴースト化しましたが、Anthropic は返事をしませんでした。だから、今のところ私たちは一人でいると思います^-^ 失敗といえば、256ミニは間違いだったと思います。プレフィックスシャーディングによる並列化は、私が予想していなかった重ね合わせ評価の利点のほとんどを排除することがわかりました。 理想的な SupGen クラスターは、次のことを行います。 →できるだけ多くのコアを持つ →可能な限り最速のメモリを搭載 →できるだけ多くのメモリを用意する 256 個のミニでは、大量のコアと非常に高速なメモリを備えていますが、デバイスあたり 16 GB の制限が SupGen の妨げになっています。その意味では、M3 Ultra または EPYC を積み重ねる方が、コストパフォーマンスが最も高い可能性があると思います。 いずれにせよ、クラスターは稼働し、準備ができており、HVM4 の準備はほぼ完了しており、それで楽しい実験を実行する予定です。Grok 5はARC-AGIでどこまでうまくいくのだろう

HVM4の進歩に非常に満足しています。SupGen が組み込まれ、ついにインタラクション ネット上で直接実行されるネイティブ型システムが完成し、HVM が高速で並列証明の検証ツールとして使用できるようになります。Leanよりも速いOOMになっても驚かないでしょうし、RLを証明する定理に適用したいと思います また、AI コーディングにより、C は驚くほど実行可能になっています。HVMのコードベースは100%C(パーサー、エバリュエーター、チェッカーなど)であり、私はまだそれを完全に制御しています。大きくなりすぎると、コードの品質を磨き、改善するためだけに、次のいくつかのプロンプトを費やします。それを抑制することは非常に重要です。Haskellから来て、私はCですべてがどれほど安定していて高速であるかに感謝しています(そしてついにCPUを100%使用できるようになりました!