Premier épisode d'une nouvelle série hebdomadaire, consacré aux preuves mathématiques produites par le modèle Astra d'OpenAI et à la sortie de Gemini Robotics 2.
Épisode inaugural d'une série hebdomadaire de synthèse de l'actualité IA, diffusé le 3 août 2026. Deux sujets structurent l'émission : l'annonce par OpenAI de dix problèmes mathématiques ouverts résolus par son modèle Astra, avec des preuves formalisées en Lean 4 et publiées pour vérification, et la sortie de Gemini Robotics 2 par Google DeepMind.
L'épisode couvre également les autres mouvements de la semaine, des sorties de modèles aux publications de recherche, en passant par les annonces produits et les évolutions réglementaires.
Watch this video directly on YouTube
Open on YouTube →