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ä.