RT @_Mira___Mira_: Eu quero o maior banco de dados de provas do mundo. Apresente qualquer teorema e os bots tentarão prová-lo. Se falharem, será um erro.
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.