Excelente lançamento do novo provador matemático da Nous, que combina modelos especializados abertos e pipelines agentivos, e que ainda por cima é subestimado: pontuações Putnam impressionantes com apenas 3 bilhões de parâmetros ativos.
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.