Ihre Wette erlaubte formale mathematische KI-Systeme (wie AlphaProof). Im Jahr 2022 dachte fast niemand, dass ein LLM bis 2025 IMO Goldniveau erreichen könnte.