Une IA de recherche affirme avoir démontré une conjecture de 2008
Physical Superintelligence dit avoir obtenu une preuve de la conjecture d’Aaronson-Ambainis avec un modèle Anthropic. La démonstration a ...
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
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
OpenAI maintient son pari sur les data centers malgré les résistances locales
7 novembre 2026
31 octobre 2026
28 octobre 2026
27 octobre 2026
OpenAI publie des preuves de recherche IA en mathématiques, physique et informatique
OpenAI dit avoir produit trois résultats de recherche en mathématiques, informatique et physique, puis les avoir formalisés avec l’aide d...
26 octobre 2026
17 octobre 2026
Navier-Stokes : les doutes s’accumulent sur la preuve d’OpenAI
Des mathématiciens contestent la manière dont OpenAI présente sa preuve potentielle du problème de Navier-Stokes. La controverse porte au...
14 octobre 2026
12 octobre 2026
AlphaProof Nexus résout des problèmes de mathématiques ouverts
Google DeepMind affirme que son système AlphaProof Nexus a résolu des dizaines de problèmes ouverts en mathématiques. L’étude, publiée da...