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, 17:47
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.
158,3K