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