8 сентября 2026 г.
ИИ-агенты вышли за пределы чата: 10 000 искали доказательство Navier–Stokes
8 сентября OpenAI сообщила о предложенном аналитическом доказательстве сингулярности Navier–Stokes, над которым работали 10 000 агентов. Внутренняя модель, которую компания считает значительно более способной, чем GPT-6 Astra, направляла работу 88 часов, а формальная проверка заняла ещё 17 часов. Агенты отправили 2,7 млн сообщений и сгенерировали около 130 млрд output-токенов при оценке затрат в $10–40 млн.
В 2023 году AutoGPT собрал 100 тысяч звёзд за несколько месяцев, но довезённых продуктов было почти ноль. Теперь OpenAI масштабирует вычисления во время решения, а не только обучение модели. Параллельно Meta запустила Muse в США на iOS, Android и muse.ai: агент работает в выделенной Linux VM, подключает email, calendar и Instagram, продолжает задачи после закрытия приложения и просит подтверждение перед чувствительными действиями.
Для скептика важна граница проверки: Lean проверяет формальную запись, но человек ещё должен подтвердить её соответствие исходной математической задаче. Приоритет, загрязнение данных и нормы открытой науки обсуждали Sam Altman, Sébastien Bubeck и Terence Tao; 10 сентября OpenAI заявила, что конкретные данные пользователей Buckmaster и Alpöge не влияли на модель.
Следующая проверка результата зависит от того, подтвердят ли люди соответствие формального доказательства исходной задаче и его приоритет.
* Meta Platforms Inc. признана в РФ экстремистской организацией, её деятельность запрещена; Facebook и Instagram заблокированы. Meta AI и другие продукты компании — продукты этой организации.
Первоисточник
