Acredito que há pesquisas potencialmente muito importantes sendo realizadas agora com TRM. Se conseguirmos desenvolver um solucionador neural pequeno e eficiente e integrá-lo a um decodificador também pequeno (quem se disporia a fazer isso?), poderemos reduzir significativamente o tamanho de provadores matemáticos LM viáveis.
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.