RT @logic_int: 🚀 O provador Aleph acaba de entrar no MODO FERA 4 problemas matemáticos sem solução há mais de 20 anos. Demonstrações formais em Lean 4. Menos de 48 horas.
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.