Heidän vetonsa mahdollisti muodolliset matemaattiset tekoälyjärjestelmät (kuten AlphaProof). Vuonna 2022 lähes kukaan ei uskonut, että LLM voisi olla IMO:n kultataso vuoteen 2025 mennessä.
Nat McAleese
Nat McAleese19.7.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,85K