La loro scommessa ha permesso sistemi di intelligenza artificiale matematica formale (come AlphaProof). Nel 2022, quasi nessuno pensava che un LLM potesse essere a livello oro IMO entro il 2025.
Nat McAleese
Nat McAleese19 lug 2025
Stiamo vedendo progressi nell'IA molto più rapidi di quanto previsto da **Paul Christiano** e **Yudkowsky**, che avevano stimato un aumento dell'oro nel 2025 dell'8% e del 16% rispettivamente, attraverso metodi più generali del previsto.
164,57K