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