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, 17:47
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.
158,31K