Deras satsning tillät formella matematiska AI-system (som AlphaProof). År 2022 trodde nästan ingen att en LLM skulle kunna vara IMO-guldnivå år 2025.
Nat McAleese
Nat McAleese19 juli 17:47
Vi ser mycket snabbare AI-framsteg än vad **Paul Christiano** och **Yudkowsky** förutspådde, som hade guld 2025 på 8 % respektive 16 %, med metoder som är mer generella än väntat
164,33K