Acabei de sair do trabalho e tentei o Grok-4 em um problema de topologia de graduação. Demorou 9 minutos para pensar e, em seguida, deu uma resposta 😅 limpa, plausível, mas totalmente errada Não pense que este se qualifica como "habilmente adversário". Os modelos de IA estão esmagando os benchmarks – mas ainda estão muito à frente para a AGI matemática real.