Su apuesta permitió sistemas de IA matemática formal (como AlphaProof). En 2022, casi nadie pensaba que un LLM podría estar al nivel de oro IMO para 2025.
Nat McAleese
Nat McAleese19 jul, 17:47
Estamos viendo un progreso de IA mucho más rápido de lo que **Paul Christiano** y **Yudkowsky** predijeron, quienes tenían el oro en 2025 en un 8% y un 16% respectivamente, mediante métodos que son más generales de lo esperado.
164,32K