Leur pari a permis des systèmes d'IA mathématiques formels (comme AlphaProof). En 2022, presque personne ne pensait qu'un LLM pourrait atteindre le niveau IMO or d'ici 2025.
Nat McAleese
Nat McAleese19 juil., 17:47
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,27K