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.