OpenAI заявила, что ее ИИ решил одну из «задач тысячелетия»
9 сентября. ПРАВМИР. OpenAI представила доказательство по одной из самых известных нерешенных задач современной математики — проблеме существования и гладкости решений уравнений Навье — Стокса. По заявлению компании, решение нашла еще не выпущенная модель искусственного интеллекта с помощью системы из тысяч ИИ-агентов.
Уравнения Навье — Стокса описывают движение жидкостей и газов. Их используют, например, при проектировании самолетов, прогнозировании погоды и изучении кровотока. Почти 90 лет математики пытались выяснить, могут ли в трехмерном потоке при изначально гладких условиях возникнуть точки, где математическая модель перестает вести себя нормально.
Система OpenAI построила пример, в котором жидкость начинает движение из гладкого состояния, но за конечное время скорость в одной из областей неограниченно растет. При этом общая энергия потока остается конечной.
Иными словами, предложенное доказательство показывает, что уравнения Навье — Стокса при определенных условиях действительно могут привести к так называемой сингулярности. Именно возможность такого сценария десятилетиями оставалась открытым вопросом.
Над решением одновременно работали около 10 тысяч агентов на основе новой внутренней модели OpenAI. На поиск доказательства ушло около 88 часов. Еще 17 часов потребовалось на формализацию и проверку.
Проблема Навье — Стокса входит в число семи «задач тысячелетия», сформулированных Математическим институтом Клэя в 2000 году. За решение каждой предусмотрена премия в 1 млн. долларов.
Однако публикации доказательства недостаточно. По правилам института работа должна появиться в признанном научном издании, пройти как минимум двухлетнюю проверку и получить широкое признание математического сообщества. Только после этого ее могут рассматривать как официальное решение задачи.
OpenAI заявила, что претендовать на премию не собирается. Компания рассматривает результат прежде всего как свидетельство того, насколько быстро растут возможности ИИ в научных исследованиях.
Сразу после публикации новости последовал скандал: профессор математики из Нью-Йоркского университета Тристан Бакмастер обвинил компанию OpenAI в использовании его наработок . Об этом сообщила газета The Wall Street Journal.
Фото: Vitaly Gariev/pexels.com