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