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
Wir sehen viel schnellere Fortschritte bei der KI als **Paul Christiano** und **Yudkowsky** vorhergesagt haben, die für 2025 Gold bei 8 % bzw. 16 % hatten, durch Methoden, die allgemeiner sind als erwartet.
164,67K