Innsatsen deres tillot formelle matematiske AI-systemer (som AlphaProof). I 2022 trodde nesten ingen at en LLM kunne være IMO-gullnivå innen 2025.
Nat McAleese
Nat McAleese19. juli, 17:47
Vi ser mye raskere AI-fremgang enn **Paul Christiano** og **Yudkowsky** spådde, som hadde gull i 2025 på henholdsvis 8 % og 16 %, ved metoder som er mer generelle enn forventet
144,39K