Cược của họ cho phép các hệ thống AI toán học chính thức (như AlphaProof). Vào năm 2022, gần như không ai nghĩ rằng một LLM có thể đạt cấp độ vàng IMO vào năm 2025.
Nat McAleese
Nat McAleese17:47 19 thg 7
Chúng ta đang chứng kiến sự tiến bộ của AI nhanh hơn nhiều so với những gì **Paul Christiano** và **Yudkowsky** dự đoán, những người đã dự đoán vàng vào năm 2025 với tỷ lệ 8% và 16% tương ứng, bằng các phương pháp tổng quát hơn so với mong đợi.
164,28K