来自 Alexander Doria（@Dorialexander）的推文线程

我觉得目前正在进行的TRM研究可能意义重大。如果我们能开发出一个高效的微型神经网络求解器，并将其连接到一个微型解码器上（谁会这么做呢？），我们或许能够显著降低可行的LM数学证明器的规模。