Cược của họ cho phép các hệ thống AI toán học chính thức (như AlphaProof). Vào năm 2022, gần như không ai nghĩ rằng một LLM có thể đạt cấp độ vàng IMO vào năm 2025.