Leur pari a permis des systèmes d'IA mathématiques formels (comme AlphaProof). En 2022, presque personne ne pensait qu'un LLM pourrait atteindre le niveau IMO or d'ici 2025.