RT @axiommathai: O Putnam, o teste de matemática de nível universitário mais difícil do mundo, terminou ontem às 16h (horário do Pacífico). Ao meio-dia de hoje, o AxiomProver resolveu 9 dos 12 problemas…
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.