Ich ich zakład pozwolił na formalne systemy AI matematycznych (takie jak AlphaProof). W 2022 roku prawie nikt nie sądził, że LLM może osiągnąć poziom IMO złota do 2025 roku.
Nat McAleese
Nat McAleese19 lip, 17:47
Obserwujemy znacznie szybszy postęp w AI, niż przewidywali **Paul Christiano** i **Yudkowsky**, którzy przewidywali wzrost o 8% i 16% odpowiednio do 2025 roku, przy metodach, które są bardziej ogólne niż oczekiwano.
164,27K