SCOPE: точные операции можно вынести за пределы модели

В предварительной научной работе, обновлённой 15 октября, SCOPE разделяет планирование, вычисления и сборку проверяемого доказательства: модель выбирает действия, а точные операции выполняет отдельный механизм. Авторы сообщают о 191 подтверждённом решении из 218 при модели на 135 миллионов параметров; это результат на конкретных наборах, а не доказательство универсального превосходства маленьких моделей. Практический вывод касается устройства всей системы и передачи ей актуального состояния задачи: размер модели — лишь одна часть решения.

Понять внутреннее устройство ИИ — ещё не значит доказать его управляемость

MIT Technology Review разбирает предположение исследователя Goodfire Ника Каммараты: языковые модели могут оказаться понятнее, чем принято считать, что потенциально упростило бы контроль. Однако Крис Поттс из Стэнфорда считает, что представленный материал пока не облегчает эти задачи, а сам Каммарата удивлён силе реакции. Здесь важен разрыв между многообещающим научным предположением и уже доказанной возможностью безопасно управлять системой.

Our World in blocked: привлечённые инвестиции не равны всем расходам на ИИ

Этот справочный набор за 2019–2025 годы, обновлённый 20 апреля, измеряет внешнее частное финансирование непубличных компаний генеративного ИИ: публичные технологические корпорации и внутренние расходы на исследования и инфраструктуру в него не входят. Суммы приведены к покупательной способности доллара 2021 года, поэтому их нельзя без оговорок сравнивать с номинальными денежными суммами. Это не новая октябрьская статистика, а полезная проверка смысла цифр в разговорах о масштабе отрасли.