Des virus conçus par IA franchissent un premier test chez l’humain
OpenAI lève 11 milliards, mais ralentit ses ambitions de financement
Inkling 2 Small bouscule l’ouverture des modèles IA occidentaux
Inkling 2 Small vise les agents d’entreprise et le code
Inkling 2 Small s’impose parmi les modèles ouverts américains
Inkling 2 Small vise les agents d’entreprise et les flux multimodaux
Inkling 2 Small muscle l’automatisation des tâches IA
Une IA de recherche affirme avoir démontré une conjecture de 2008
Ripple-65B Preview mise sur un modèle ouvert taillé pour le code
8 septembre 2026
Résolution par OpenAI d'un problème mathématique non résolu depuis des décennies
7 septembre 2026
6 septembre 2026
4 septembre 2026
3 septembre 2026
20 août 2026
L’IA bouscule les mathématiques, entre prouesses et crise de sens
OpenAI a publié dix résultats en mathématiques et en informatique théorique qui ont surpris le milieu. Les spécialistes saluent les progr...
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...