AI помогает математикам в исследованиях уравнений Эйлера и Навье‑Стокса
Тринан Бакмастер (NYU) и Левент Альпёге (Anthropic) используют Claude для генерации идей и проверок в задачах, близких к миллионным проблемам.
В последние два года профессор математики Тринан Бакмастер из Нью‑Йоркского университета и исследователь Anthropic Левент Альпёге совместно исследовали сложные задачи, связанные с уравнениями Эйлера и Навье‑Стокса. Работа велась полностью в свободное время, без официальных договорённостей с Anthropic, но с использованием их крупномасштабных языковых моделей, в частности Claude.
Команда применяла модель для генерирования гипотез, поиска потенциальных контрпримеров и автоматической проверки небольших шагов доказательств. По словам Бакмастера, более 60 % идей, выдвинутых моделью, требовали дальнейшей математической верификации, однако около 15 % привели к новым инсайтам, которые впоследствии стали частью их исследовательских заметок.
Особый интерес представляло использование Claude в качестве «интерактивного помощника»: исследователи задавали модели вопросы в естественном языке, получали формулировки теорем, а затем переводили их в формальный вид с помощью специализированных библиотек. Этот подход позволил ускорить процесс поиска полезных направлений в пространстве возможных решений, что особенно ценно при работе над задачами, отнесёнными к «задачам тысячелетия».
Авторы подчёркивают, что AI пока не способен заменить традиционный математический анализ, но уже демонстрирует потенциал в поддержке творческого процесса, генерации идей и автоматизации рутинных проверок. Подробнее о проекте можно узнать в интервью на Habr AI (https://habr.com/ru/articles/1081030/).
Для разработчиков AI и студентов это подтверждает, что языковые модели могут стать мощным инструментом в научных исследованиях, но требуют строгой валидации полученных результатов. Промпт‑инжиниринг в математике открывает новые возможности, однако важно помнить о риске ложных выводов.
