Leur pari a permis d’utiliser des systèmes d’IA mathématiques formels (comme AlphaProof). En 2022, presque personne ne pensait qu’un LLM pourrait être au niveau or de l’OMI d’ici 2025.
Nat McAleese
Nat McAleese19 juil. 2025
Nous constatons des progrès en IA beaucoup plus rapides que ce que **Paul Christiano** et **Yudkowsky** avaient prédit, qui avaient estimé l'or en 2025 à 8 % et 16 % respectivement, par des méthodes plus générales que prévu.
164,56K