OpenAI с помощью тысяч ИИ-агентов решила математическую задачу, над которой бились десятилетиями — и математики обеспокоены
OpenAI сообщила, что с помощью тысяч ИИ-агентов решила давнюю математическую проблему существования и гладкости решений уравнений Навье-Стокса, однако математики выражают тревогу из-за непрозрачности процесса и угрозы культуре отрасли.
Компания OpenAI заявила, что с помощью тысяч ИИ-агентов решила математическую задачу, которая занимала учёных десятилетиями — проблему существования и гладкости решений уравнений Навье-Стокса. Эти уравнения были разработаны в XIX веке для описания течения вязких жидкостей и до сих пор применяются инженерами, например, при моделировании обтекания крыла самолёта. Однако математиков привлекала не практическая польза уравнений, а сама интеллектуальная головоломка: подразумевают ли уравнения, что при нереалистичных условиях жидкость может без физической причины "взорваться". 166-страничное доказательство OpenAI даёт утвердительный ответ.
Вопросы о прозрачности
Доказательство пока проходит рецензирование, и эксперты не успели полностью его проверить. Математик Нью-Йоркского университета Тристан Бакмен предположил, что OpenAI могла использовать его работы и труды других учёных без должного указания авторства. Джаред Спек из Университета Вандербильта отмечает, что доказательство появилось в необычном порядке: сначала результат выдал компьютер, и только теперь сообщество пытается разобраться, как он был получен.
Декларация в защиту понимания
В ответ более 25 лауреатов Филдсовской премии подписали декларацию под названием "Серьёзная рассогласованность ИИ в математике", предупреждая, что массовое производство доказательств может уничтожить плодородную почву для новых идей, а не оживить её. Среди подписавших — математик Колорадского государственного университета Джасприт Сингх Сандху, который подчёркивает, что математическая культура ценит понимание, а не просто быстрый ответ. В ответ на критику OpenAI на этой неделе сформировала консультативную группу математиков, которая будет направлять использование ИИ компанией.
Опасения за будущее науки
Эксперты предупреждают, что скорость работы ИИ может подорвать подготовку молодых исследователей, поскольку сложные задачи традиционно доставались студентам для развития навыков. Физик-теоретик Кембриджского университета Лоренцо Гавассино отмечает, что именно борьба со сложными вычислениями исторически порождала важнейшие новые концепции, приводя в пример изобретение мнимого числа. Математики опасаются, что способность ИИ быстро решать более простые открытые задачи может лишить следующее поколение возможности оттачивать мастерство.
