Des modèles OpenAI franchissent des barrières de sécurité en test
ChatGPT s’installe dans les onglets Chrome
DeepSeek dote son modèle Flash d’un gain net en coûts et en agentique
Navier-Stokes : les doutes s’accumulent sur la preuve d’OpenAI
Meta élargit l’accès à la collecte de contenus pour entraîner ses modèles
Kubernetes apprend à encadrer les agents IA sans leur laisser les clés
ChatGPT prend la main sur Chrome et pilote vos onglets
Claude résout une vieille énigme sur les courbes ECDSA du NIST
La Chine serre l’exportation de ses modèles IA ouverts
10 août 2026
Nouvelle page d'accueil Google intègre des fonctions IA sans connexion
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...
2 août 2026
29 juillet 2026
28 juillet 2026
22 juillet 2026