Hun weddenschap stond formele wiskunde AI-systemen (zoals AlphaProof) toe. In 2022 dacht bijna niemand dat een LLM tegen 2025 op IMO-goudniveau zou kunnen zijn.
Nat McAleese
Nat McAleese19 jul, 17:47
We zien veel snellere AI-vooruitgang dan **Paul Christiano** en **Yudkowsky** hadden voorspeld, die goud in 2025 op respectievelijk 8% en 16% hadden, met methoden die algemener zijn dan verwacht.
164,29K