Їхня ставка дозволила використовувати офіційні математичні системи штучного інтелекту (наприклад, AlphaProof). У 2022 році майже ніхто не думав, що LLM може стати золотим рівнем IMO до 2025 року.