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
We are seeing much faster AI progress than **Paul Christiano** and **Yudkowsky** predicted, who had gold in 2025 at 8% and 16% respectively, by methods that are more general than expected
164,86K