В сентябре OpenAI объявила о решении одной из задач тысячелетия — проблемы, связанной с уравнениями Навье–Стокса. Внутренняя модель компании с помощью 10 тысяч ИИ-агентов нашла решение за 88 часов, а еще за 17 часов доказательство было формализовано на языке Lean. Результат вызвал бурную дискуссию о том, как искусственный интеллект меняет математику.

T-invariant разбирается, что именно удалось сделать OpenAI, почему часть математиков осталась разочарована результатом и как за несколько недель сентября ИИ изменил сам способ работы над сложнейшими математическими задачами.


НАСТОЯЩИЙ МАТЕРИАЛ ПРОИЗВЕДЕН, РАСПРОСТРАНЕН И НАПРАВЛЕН ИНОСТРАННЫМ АГЕНТОМ T-INVARIANT, ЛИБО КАСАЕТСЯ ДЕЯТЕЛЬНОСТИ ИНОСТРАННОГО АГЕНТА T-INVARIANT. 18+.

Задача Навье–Стокса существует больше двух столетий. Она связана с поведением вязкой жидкости и вопросом о том, может ли при конечной внешней силе за конечное время скорость ее движения стать бесконечной. OpenAI утверждает, что такое возможно: ИИ-агенты построили сложную внешнюю силу, которая растягивает и закручивает вихрь так, что возникает «взрыв». При этом другой вариант задачи — без внешней силы — по-прежнему остается открытым.

Через три дня после заявления OpenAI группа лауреатов Филдсовской премии выступила с обращением о рисках применения ИИ в математике. Его подписали 28 человек — больше половины ныне живущих филдсовских лауреатов. Среди их опасений — превращение великих математических задач в бенчмарки для ИИ-компаний, проблемы авторства и приоритета и риск того, что молодые математики лишатся важнейшего способа обучения — самостоятельной работы над сложными задачами.

Но сентябрь показал и другую сторону происходящего. Три специалиста по уравнениям Навье–Стокса — Питер Константин, Михаэла Игнатова и Влад Викол — всего за девять дней подготовили 34-страничную работу, в которой определили границы результата OpenAI. Для разбора 166-страничного доказательства и подготовки собственной статьи они сами активно использовали Claude и ChatGPT. Авторы подчеркивают, что каждое сформированное ИИ утверждение проверялось ими независимо.

Еще в 2012 году Владимир Воеводский говорил, что компьютеры позволят математикам работать с областями одновременно высокой абстрактности и высокой сложности, недоступными человеческому мозгу. В сентябре 2026 года эта идея стала частью повседневной научной практики: машины уже способны искать и формально проверять решения, а человеку остается задача понять, что именно они нашли и почему это важно.

В полном материале на нашем сайте — о том, как ИИ решил задачу тысячелетия, почему против гонки ИИ-компаний выступили филдсовские лауреаты, как математики сами используют нейросети для проверки результатов и почему сентябрь 2026 года может оказаться поворотным моментом для всей математики.

——————————————
▶Материал целиком на нашем сайте / Наши материалы также доступны на английском языке /

@t_invariant — медиа о науке во время войны

Подписаться