OpenAI заявила о крупном прорыве в математике: компания представила доказательство по проблеме Навье — Стокса. Это одна из семи знаменитых задач тысячелетия.
По словам разработчиков, результат был получен с помощью системы из примерно 10 000 ИИ-агентов, которые работали над задачей несколько десятков часов.
Читают прямо сейчас:
Нерешённые математические задачи, на которых можно заработать — что такое задачи тысячелетия, сколько их осталось нерешёнными и что значит задача Навье-Стокса для математики
Как создать AI-агента: пошаговое руководство — как устроена координация тысяч агентов, которые параллельно ищут разные варианты решения одной задачи
Как обучают нейросети: методы и алгоритмы — как ИИ научился рассуждать в областях, где у людей десятилетиями не было прогресса
ИИ искал доказательство 88 часов
Для работы OpenAI использовала внутреннюю версию своей модели, которая координировала тысячи агентов. Они получили разные варианты постановки задачи и параллельно искали возможные решения.
В итоге система нашла доказательство, показывающее, что трехмерные уравнения Навье — Стокса могут приводить к возникновению сингулярности за конечное время при определенных условиях.
После генерации результата, доказательство дополнительно проверили с помощью формальной системы Lean. OpenAI утверждает, что такой подход позволил подтвердить корректность математических шагов, а не просто получить правдоподобное объяснение.
Одна из самых сложных задач современной математики
Проблема Навье — Стокса десятилетиями остается одной из главных нерешенных задач в математике. Она связана с уравнениями, которые описывают движение жидкостей и газов.
Ученые пытаются понять, всегда ли в трехмерном случае решения остаются гладкими или в некоторых ситуациях могут «сломаться» и привести к бесконечно большим значениям.
За решение задачи Математический институт Клея назначил награду в $1 млн. Однако OpenAI заявила, что не будет претендовать на приз и рассматривает результат как демонстрацию возможностей ИИ в научных исследованиях.
Прорыв уже вызвал дискуссии
Несмотря на заявление OpenAI, работа еще должна получить оценку независимых специалистов. В математике подобные открытия обычно проходят длительный процесс проверки и публикации.
При этом сама компания считает результат примером нового подхода к исследованиям: вместо одного алгоритма над сложной задачей могут одновременно работать тысячи специализированных ИИ-агентов, которые проверяют идеи, спорят между собой и объединяют найденные решения.
Скидка на все курсы Практикума
Раз вы дочитали эту новость до конца, с технологиями у вас всё в порядке. А если давно присматривались к разработке, аналитике, нейросетям, тестированию или кибербезопасности, сейчас туда можно зайти дешевле.
Промокод KOD (можно просто нажать) даст скидку на любой платный курс! А если пока не готовы покупать курс, у Практикума есть бесплатные вводные части.
