La loro scommessa ha permesso sistemi di intelligenza artificiale matematica formale (come AlphaProof). Nel 2022, quasi nessuno pensava che un LLM potesse essere a livello oro IMO entro il 2025.