Vamos analisar a Harmonic PR da semana passada: 1. Afirmou que Aristóteles resolveu a maioria dos problemas de Erdős, quando na verdade o software auxiliou na formalização de problemas com soluções humanas já existentes. 2. Alegaram ter conseguido Putnam primeiro, quando na verdade não conseguiram. 3. Afirmaram que o IMO é mais difícil que o Putnam porque as provas são mais longas. Não sei se o gerente de mídias sociais entende de assuntos técnicos, então deixo passar.
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.