Je viens de finir le travail et j'ai essayé Grok-4 sur un problème de topologie de premier cycle. Cela a pris 9 minutes pour réfléchir et ensuite a donné avec confiance une réponse propre, plausible, mais totalement fausse 😅 Je ne pense pas que celui-ci puisse être qualifié de "habilement adversarial." Les modèles d'IA écrasent les benchmarks — mais il reste encore un long chemin à parcourir pour une AGI mathématique réelle.