Искусственный интеллект уже успел потрясти музыкальную индустрию и сферу развлечений, а теперь добрался и до математики. Компания OpenAI заявила, что с помощью тысяч программных агентов ей удалось решить задачу, над которой специалисты бились десятилетиями. Речь идёт о так называемой проблеме существования и гладкости решений уравнений Навье — Стокса, сообщает Wired.
• Что ждет физлиц и самозанятых с 1 октября: законы вступают в силу
«Художники и музыканты уже через это прошли», — приводит издание слова математика из Университета штата Колорадо Джасприта Сингха Сандху. По его мнению, математики вовсе не стремятся получить правильный ответ как можно быстрее, вопреки впечатлению, которое может сложиться из-за экзаменов с ограничением по времени. Разработка новых математических идей часто напоминает творческий поиск — почти изобретение игры или головоломки, и обычно требует вдумчивого и последовательного подхода. OpenAI же применила метод грубой силы, который сократил этот процесс и тем самым создал угрозу для человеческого понимания.
Ещё в 1940 году английский математик Годфри Харолд Харди в эссе «Апология математика» писал: «Математик, как и художник или поэт, является создателем образцов». Харди пояснял, что живописец работает с формами и красками, поэт — со словами, а математик выстраивает узоры из идей. Будучи пацифистом, он написал это эссе в годы Второй мировой войны, чтобы отстоять право на занятия математикой ради неё самой, в отрыве от практических применений, особенно военных. Харди отстаивал «бесполезную» математику и ссылался на известное высказывание Карла Фридриха Гаусса о теории чисел как образце красивой и бесполезной науки. Однако в некоторых деталях Харди ошибся: после столетий бесполезности теория чисел оказалась востребованной в протоколах шифрования, которые сегодня защищают электронную почту и банковские счета.
Пока же доказательство OpenAI остаётся именно бесполезным. Задача, которую оно решает, интересна математикам на протяжении десятилетий. Своё название проблема получила от уравнений Навье — Стокса, выведенных учёными XIX века для описания течения вязких жидкостей. Инженеры применяют эти уравнения для моделирования воздушных потоков при проектировании самолётов, однако математиков привлекли сами уравнения, а не их приложения. «Главный интерес математиков к этим уравнениям certainly не был инженерным», — говорит математик из Университета Вандербильта Джаред Спек. По его словам, специалистов привлекала «математическая насыщенность, загадочность» задачи. Её решение не поможет никому спроектировать более обтекаемое крыло самолёта: многие торты имеют цилиндрическую форму, но изучение уравнений, описывающих цилиндр, не обязательно поможет испечь торт лучше.
• Некачественный бензин грозит владельцам китайских авто неожиданным ремонтом
«Когда задачи сопротивляются решению, они обрастают легендами», — отмечает Спек. Притягательность проблемы Навье — Стокса он сравнивает с интересом к судоку или шахматам, которые не несут никакой пользы, кроме удовольствия и интеллектуальной стимуляции. Уравнения приблизительно описывают течение жидкости в окружающем мире, но математики вообразили, как они поведут себя в почти фантастических условиях, просто из любопытства. Они сформулировали загадку: следует ли из уравнений, что при нереалистичных условиях жидкость может взорваться без физической причины.
Математики ожидают, что приблизительные уравнения вроде Навье — Стокса допускают подобные бессмысленные ситуации, и это кажется им особенно интересным, поскольку иногда приводит к совершенно новым математическим идеям. Годами сообщество разрабатывало «глубокую и красивую теорию» вокруг этих уравнений, говорит Спек. Они были на пороге решения задачи, когда доказательство OpenAI показало: да, уравнения Навье — Стокса действительно допускают фантастический взрыв жидкости.
Читайте также:
• Пришла повестка на Госуслуги: что грозит россиянам за неявку в военкомат