Acabei de sair do trabalho e experimentei o Grok-4 num problema de topologia de graduação. Levou 9 minutos a pensar e depois deu uma resposta limpa, plausível, mas totalmente errada 😅 Não acho que este se qualifique como "habilidosamente adversarial." Os modelos de IA estão a esmagar benchmarks — mas ainda há um longo caminho a percorrer para uma AGI matemática real.