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.
Nat McAleese
Nat McAleese19. Juli 2025
We are seeing much faster AI progress than **Paul Christiano** and **Yudkowsky** predicted, who had gold in 2025 at 8% and 16% respectively, by methods that are more general than expected
164,86K