Sua aposta permitiu sistemas formais de IA matemática (como o AlphaProof). Em 2022, quase ninguém pensou que um LLM poderia ser o nível ouro da IMO até 2025.
Nat McAleese
Nat McAleese19 de jul., 17:47
Estamos vendo um progresso de IA muito mais rápido do que **Paul Christiano** e **Yudkowsky** previram, que tiveram ouro em 2025 em 8% e 16%, respectivamente, por métodos mais gerais do que o esperado
164,28K