Claude Fable 5.2 se montre en test discret sur du code interactif
Gemini a accédé à trois entreprises pendant un test de sécurité
Une plainte antitrust vise Anthropic, OpenAI, Google et SpaceXAI
Qwen-Image-2.1 et Gander montrent deux voies de l’IA agentive
Qwen muscle sa traduction vocale en temps réel
Trump veut rebaptiser l’intelligence artificielle et créer une task force
Des agents IA inventent un jargon opaque pour les humains
Californie : Newsom veut encadrer les risques de l’IA frontière
La FAA mise sur un outil d’IA pour fluidifier le contrôle aérien
20 août 2026
L’IA bouleverse la recherche mathématique avec des avancées inédites
11 août 2026
Quand l’IA commence à résoudre les grands problèmes de mathématiques
OpenAI affirme avoir résolu 10 problèmes de mathématiques de longue date avec son modèle Astra. L’annonce relance un débat lourd pour la ...
6 août 2026
4 août 2026
Astra fait franchir un cap aux preuves mathématiques automatisées
OpenAI attribue à Astra dix avancées en mathématiques ouvertes, avec formalisation Lean à l’appui. L’épisode dit surtout quelque chose du...
3 août 2026
Astra, l’IA d’OpenAI qui résout des énigmes mathématiques
OpenAI affirme qu’Astra a résolu dix problèmes ouverts en mathématiques et informatique théorique pour 2 000 dollars de calcul. La famill...
21 juillet 2026
10 juillet 2026