A aposta deles permitiu sistemas de IA matemática formais (como o AlphaProof). Em 2022, quase ninguém achava que um LLM poderia estar ao nível do ouro IMO até 2025.
Nat McAleese
Nat McAleese19/07, 17:47
Estamos a ver um progresso em IA muito mais rápido do que **Paul Christiano** e **Yudkowsky** previram, que tinham ouro em 2025 a 8% e 16% respetivamente, por métodos que são mais gerais do que o esperado.
164,28K