RT @yanda: @HarmonicMath @leanprover @namrata_anand2 Axiom resolveu 8/12 em tempo real, 2 minutos antes do fim da prova humana e publicou 3 dias depois…
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.