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 2025
We are seeing much faster AI progress than **Paul Christiano** and **Yudkowsky** predicted, who had gold in 2025 at 8% and 16% respectively, by methods that are more general than expected
164,79K