agi.pascalyim.comNavier–Stokes Fluides
Résolution revendiquée en septembre
Statut Clay : « Active »INTELLIGENCE ARTIFICIELLE
Vers une
IA générale
Pascal Yim
ENTRETIEN · LE POINT · 5 SEPTEMBRE 2026
François Chollet
« En général, je pense que l’IA va très bientôt être surhumaine dans tous les domaines vérifiables »
Un domaine vérifiable ?
Un test fiable vérifie la solution.
Exemple : du code Exécuter les tests.
Attendu : 5 · Obtenu : 5 ✓ Test réussi
La vérification dépend de ce que les tests couvrent.Les maths changent d’échelle
« Le changement le plus radical en mathématiques depuis au moins quatre siècles »France Inter · 8 octobre 2026
Extrait cité par franceinfo
OCTOBRE 2026 · MODÈLE INTERNE D’OPENAI
719 manuscrits372 familles de résultats · vérification à différents stades
Les 7 problèmes du millénaire
1 million de dollars par problèmeRiemann Nombres premiers
Avancée partielle sur la fonction zêta
L’hypothèse complète reste ouverteHodge Géométrie
Résultats sur des cas particuliers
La conjecture générale reste ouverteP vs NPYang–MillsBirch–Swinnerton-DyerPoincaré ✓ Perelman
Produire des preuves, les vérifier et les comprendre.
Hinton et Hassabis
sur l’IA générale
Geoffrey Hinton
“There is a 10% to 20% chance that AI will wipe out humanity over the next 30 years.”
The Guardian ↗
Demis Hassabis
“If it’s done properly and responsibly, [AGI] will be the most beneficial technology ever invented.”
Time ↗