彼らの賭けは、正式な数学 AI システム (AlphaProof など) を可能にしました。2022 年には、LLM が 2025 年までに IMO ゴールド レベルになるとは考えた人はほとんどいませんでした。