Taruhan mereka memungkinkan sistem AI matematika formal (seperti AlphaProof). Pada tahun 2022, hampir tidak ada yang mengira LLM bisa menjadi level emas IMO pada tahun 2025.
Nat McAleese
Nat McAleese19 Jul, 17.47
Kami melihat kemajuan AI yang jauh lebih cepat daripada yang diprediksi **Paul Christiano** dan **Yudkowsky**, yang memiliki emas pada tahun 2025 masing-masing sebesar 8% dan 16%, dengan metode yang lebih umum dari yang diharapkan
161,35K