OpenAI заявила, что ее новая, пока не выпущенная публично модель искусственного интеллекта нашла решение задачи Навье — Стокса — одной из семи «задач тысячелетия», считавшихся важнейшими нерешенными проблемами современной математики. По данным The New York Times, системе понадобилось всего 88 часов.
Задача Навье — Стокса связана с уравнениями, описывающими движение жидкостей и газов и используемыми, в частности, при моделировании погоды. Математики десятилетиями пытались установить, могут ли решения этих уравнений при определенных условиях «сломаться» — то есть породить сингулярность за конечное время. OpenAI утверждает, что ее модель смогла доказать существование такого сценария.
Для работы компания задействовала около 10 тысяч координируемых ИИ-агентов. Они подготовили аналитическое доказательство, а также его формализованную версию на языке Lean, которую можно проверять машинным способом. По словам исследователя OpenAI Себастьяна Бубека, это стало кульминацией стремительного прогресса ИИ в математике за последний год.
Задача Навье — Стокса входит в список из семи «задач тысячелетия», сформированный Институтом Клэя в 2000 году. За решение каждой из них предусмотрена премия в $1 млн. До сих пор официально была решена только одна из семи задач. OpenAI при этом заявила, что не намерена претендовать на денежную награду.
Окончательно считать задачу решенной можно будет только после тщательной проверки доказательства независимыми математиками. Nature отмечает, что публикация уже вызвала повышенное внимание и дополнительную дискуссию из-за параллельных исследований других ученых, работавших над близкими вариантами этой же проблемы.
The New York Times называет заявление OpenAI одним из самых ярких признаков того, что искусственный интеллект начинает фундаментально менять высшую математику — область, которая до недавнего времени считалась одной из вершин исключительно человеческого интеллектуального труда.