Их ставка позволила использовать формальные математические ИИ-системы (такие как AlphaProof). В 2022 году почти никто не думал, что LLM может достичь уровня IMO золота к 2025 году.
Nat McAleese
Nat McAleese19 июл., 17:47
Мы наблюдаем гораздо более быстрый прогресс в области ИИ, чем предсказывали **Пол Кристиано** и **Юдковский**, которые оценивали золото в 2025 году на уровне 8% и 16% соответственно, используя методы, которые оказались более общими, чем ожидалось.
164,29K