🧠💻 Как 10 тысяч ИИ-агентов решили задачу тысячелетия
🧠💻 Как 10 тысяч ИИ-агентов решили задачу тысячелетия OpenAI заявила о решении задачи Навье — Стокса, над которой математики бьются почти 90 лет. Вместо одной модели компания запустила 10 000 автономных ИИ-агентов. Руководитель лаборатории прикладного ИИ СПб ФИЦ РАН Максим Абрамов объяснил, как была устроена эта беспрецедентная работа: 🔹 Разделение ролей: одни группы агентов искали доказательство, другие параллельно работали над опровержением. 🔹 Цифровой семинар: ИИ общались между собой, сгенерировав 2,7 млн сообщений. Отдельная модель собирала лучшие промежуточные идеи и возвращала их группам в виде новых подсказок. 🔹 Скорость: итоговый результат получили примерно за 88 часов, предварительно обкатав алгоритм на более простых задачах (это заняло 50 часов). 🔹 Машинный контроль: еще 17 часов ушло на перевод доказательства на язык Lean. Проанализировать миллионы сообщений вручную ни один математик не сможет, поэтому Lean автоматически проверял логику рассуждений шаг за шагом. Окончательного признания от научного сообщества пока нет, но сама новаторская схема параллельного перебора с автоматической проверкой доказала свою эффективность в фундаментальной математике.