A aposta deles permitiu sistemas de IA matemática formais (como o AlphaProof). Em 2022, quase ninguém achava que um LLM poderia estar ao nível do ouro IMO até 2025.