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