GPT-6 Astra déclenche le débat sur l’AGI (Intelligence Artificielle Générale) alors que les avertissements de sécurité d’OpenAI se heurtent à l’expansion de l’IA

Tendance n° 1 : GPT-6 Astra déclenche le débat sur l’AGI — La contradiction interne d’OpenAI refait surface​

Le 4 septembre, OpenAI a publié GPT-6 Astra, son modèle le plus puissant à ce jour. Le PDG de NVIDIA, Jensen Huang, a posté sur X que « l’AGI est arrivée », et le président d’OpenAI, Greg Brockman, a déclaré lors d’une conférence téléphonique : « Bienvenue dans l’ère de l’AGI ». Astra aurait été entraîné sur plus de 100 000 GPU NVIDIA Grace Blackwell NVLink72, prend en charge le contrôle autonome de logiciels professionnels tels que Blender, Photoshop et Unity, et a réduit les taux d’hallucination à environ 2 %. Huang a révélé que le prochain lot de 400 000 GPU est sur le point d’être mis en service.​

Le 6 septembre, CNBC a fait état d’une « fatigue des modèles » croissante dans le secteur. En une seule semaine : Anthropic a mis à jour Fable et Mythos (1er septembre), Meta a publié Muse Spark 1.3 (2 septembre), Google a lancé Gemini 3.8 Flash (2 septembre), OpenAI a sorti GPT-6 Astra (4 septembre), et l’université MBZUAI d’Abou Dhabi a ouvert en open source sa série K2 Horizon. Gartner prévoit des dépenses en IA à 2 590 milliards de dollars en 2026, en hausse de 47 % par rapport à 2025, dont plus de la moitié consacrée à l’infrastructure. Zhen Lu, PDG de Runpod, a noté que la fatigue des modèles « est incontestablement devenue un vrai problème », tandis que Suresh Vasudevan, PDG de Clockwork Systems, a observé que « chaque lancement est désormais si incroyablement puissant qu’il devient difficile de juger ce qui constitue une véritable avancée. »​

Pendant ce temps, Claude d’Anthropic a réalisé la première preuve formalisée de bout en bout du dernier théorème de Fermat dans l’assistant de preuve Lean, en s’exécutant de manière autonome pendant 11 jours. Le système a généré un code Lean complet à partir de l’énoncé de la proposition jusqu’à la vérification de type par le noyau, sans intervention humaine sur la décomposition de la preuve. Le mathématicien de l’Imperial College, Kevin Buzzard, a estimé que cela représente « une avancée majeure vers la formalisation automatique de l’ensemble de la littérature mathématique moderne. »