Taruhan mereka memungkinkan sistem AI matematika formal (seperti AlphaProof). Pada tahun 2022, hampir tidak ada yang mengira LLM bisa menjadi level emas IMO pada tahun 2025.
Nat McAleese
Nat McAleese19 Jul 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