Pariul lor a permis sisteme formale de inteligență artificială matematică (cum ar fi AlphaProof). În 2022, aproape nimeni nu credea că un LLM ar putea fi nivelul de aur IMO până în 2025.