Alexander Doria（@Dorialexander）のスレッド

TRMを用いた研究は、現在、非常に重要な可能性を秘めていると感じています。もし、効果的な小型ニューラルソルバーを開発し、それを小型デコーダー（誰がそんなことをするでしょうか？）に接続できれば、実用的なLM数学証明器のサイズを大幅に削減できるかもしれません。