Os provadores matemáticos continuam sendo meu parâmetro de comparação padrão. Se Gödel acertou o SOTA no 32b, isso provavelmente é tudo que você precisa para resolver os problemas mais difíceis no momento.
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.