Jejich sázka umožňovala formální matematické systémy umělé inteligence (jako AlphaProof). V roce 2022 si téměř nikdo nemyslel, že by LLM mohl být do roku 2025 na zlaté úrovni IMO.
Nat McAleese
Nat McAleese19. 7. 17:47
Jsme svědky mnohem rychlejšího pokroku v umělé inteligenci, než předpovídali Paul Christiano a Yudkowsky, kteří měli v roce 2025 zlato na 8 % a 16 %, a to metodami, které jsou obecnější, než se očekávalo.
158,31K