Їхня ставка дозволила використовувати офіційні математичні системи штучного інтелекту (наприклад, AlphaProof). У 2022 році майже ніхто не думав, що LLM може стати золотим рівнем IMO до 2025 року.
Nat McAleese
Nat McAleese19 лип., 17:47
Ми спостерігаємо набагато швидший прогрес штучного інтелекту, ніж прогнозували Пол Крістіано** та **Юдковський**, які мали золото у 2025 році на рівні 8% та 16% відповідно, за методами, які є більш загальними, ніж очікувалося
161,35K