Astra d'OpenAI a résolu dix problèmes mathématiques ouverts pour 2000 dollars de calcul
OpenAI publie les preuves formelles en Lean de dix problèmes mathématiques inédits résolus par son système Astra, avec une facture de calcul…
Rubrique
IA générative
Gemini 3.5 Flash dépasse Gemini 3.1 Pro sur les agents et le code
Google DeepMind a dévoilé Gemini 3.5 Flash à Google I/O 26 : un modèle qui surpasse son prédécesseur Pro sur les tâches agentiques longue durée, tout…
Grok Imagine Video 1.5 passe en disponibilité générale, et le timing n'est pas un hasard
xAI déploie son générateur vidéo Imagine Video 1.5 sur toutes ses plateformes au moment précis où OpenAI retire Sora. Un positionnement offensif qui…