來自 Alexander Doria（@Dorialexander）的推文串

我覺得目前正在進行的TRM研究可能意義重大。如果我們能開發出一個高效的微型神經網路求解器，並將其連接到一個微型解碼器​​上（誰會這麼做？），我們或許能夠顯著降低可行的LM數學證明器的規模。