Математический институт Клея впервые публично признал, что проблема существования и гладкости Навье-Стокса — одна из семи задач Премии тысячелетия — «по-видимому, решена». Заявление, опубликованное на веб-сайте института в пятницу, переносит одну из самых спорных историй года в области искусственного интеллекта и математики в формальный процесс оценки премии института, в то же время ясно давая понять, что ни одна премия не была присуждена и никакие доказательства не подтверждены.
«Сегодня CMI разделяет волнение мирового математического сообщества, поскольку мы ожидаем объявления о том, что проблема Навье-Стокса, по-видимому, решена», — написал институт в объявлении от 11 сентября 2026 года. «Мы надеемся увидеть волны нового человеческого понимания, высвобождаемые по мере того, как инновации, лежащие в основе этой работы, анализируются и исследуются». Подробнее об этой истории — в нашем новости об ИИ.
Почему это утверждение имеет значение
Размеренный язык института проделывает большую работу, и каждое слово в течение нескольких часов разбиралось на Hacker News, где объявление набрало более 100 баллов. То, что не говорится в заявлении, столь же важно, как и то, что оно делает: Институт математики Клея не называет OpenAI, не подтверждает правильность какого-либо конкретного доказательства и не дает повода для присуждения премии.
Контекст объясняет сдержанность. 8 сентября OpenAI опубликовала заявленное решение проблемы Навье-Стокса, заявив, что внутренняя система искусственного интеллекта, которую компания описывает как значительно более мощная, чем ее модель GPT-6 Astra, произвела как аналитическое доказательство, так и формальную проверку в помощнике по Lean доказательству. В этом объявлении сразу же говорилось как о кредите, так и о вычислениях, потому что два академических математика в один и тот же день опубликовали тесно связанные статьи, а исследователи надавили на OpenAI, чья работа легла в основу результатов машины.
Теперь, когда институт признает, что проблема «по-видимому, решена», спор меняет направление: от пинг-понга с пресс-релизами к процедуре оценки премии «Миллениум», которую институт описывает как «намеренно неторопливую».
Что спрашивает задача Навье-Стокса
Проблема касается существования и гладкости решений уравнений Навье-Стокса в трехмерном евклидовом пространстве — уравнений, описывающих движение таких жидкостей, как вода и воздух. Хотя эти уравнения ежедневно используются инженерами, метеорологами и аэродинамиками, математики никогда не доказали, что гладкие, физически разумные решения всегда существуют в трех измерениях или что они ведут себя предсказуемо, а не развивают сингулярности.
Институт математики Клея представил задачи премии тысячелетия на встрече в Париже в 2000 году, прикрепив премию в 1 миллион долларов к каждой из семи задач, которые также включают гипотезу Римана и P против NP. В своем пятничном заявлении институт подтвердил свою первоначальную цель: повысить осведомленность общественности о том, что математические границы открыты, и признать «достижения в математике исторического значения».
Только одна из семи проблем, гипотеза Пуанкаре, была решена — Григорием Перельманом в работах, опубликованных в 2002 и 2003 годах, за которые он, как известно, отказался как от медали Филдса, так и от призовых денег.
Впереди «намеренно неторопливая» оценка
Заявление института указывает на правила премии как на руководящую основу для того, что произойдет дальше. "Правила, регулирующие призы, описывают процесс оценки достигнутых результатов и присвоения баллов", - говорится в заявлении. «Процесс намеренно неторопливый, но мы будем предоставлять обновленную информацию».
Эта формулировка оставляет открытыми несколько вопросов, которые сейчас открыто обсуждаются в математическом сообществе. Проверка является первым препятствием: доказательство гладкости Навье-Стокса обычно занимает у комитета экспертов многие месяцы, чтобы проверить строку за строкой. Заявление OpenAI о том, что ее результат включает в себя формализацию с машинной проверкой в Lean, в принципе может значительно сократить этот график, поскольку формальная проверка сводит вопрос о правильности к тому, что примет помощник по доказательству. Но институт не сообщил, была ли ему предоставлена такая формализация, кто является рецензентом и как будет распределена заслуга между системой искусственного интеллекта, ее создателями из OpenAI и академическими математиками, чьи соответствующие статьи появились на той же неделе.
В заявлении также не говорится о том, может ли решение, в значительной степени приписываемое системе искусственного интеллекта, претендовать на премию, предназначенную, на языке основания института, для признания математических достижений человека — вопрос, не имеющий прецедента за 26-летнюю историю премии.
Напряжение, скрывающееся за объявлением
Это объявление сделано в чрезвычайно деликатный момент для пересечения искусственного интеллекта и математики. В пятницу группа из 25 медалистов Филдса, включая Теренса Тао, опубликовала официальное заявление, предупреждающее, что гонка за демонстрацию систем искусственного интеллекта на математических тестах наносит ущерб как науке, так и сообществу, которое ее поддерживает — заявление, которое собрало более 1300 дополнительных сторонников в течение дня, как ранее сообщал AI Buzz Wire.
Эти два документа читаются почти как ответы друг на друга. Заявление математиков предостерегает от обращения с глубокими проблемами как с контрольными трофеями; Заявление института, несмотря на то, что он охватывает результат, подчеркнуто концентрирует момент вокруг понимания, а не победы, в надежде увидеть «волны нового человеческого понимания, высвобождаемые по мере того, как инновации, лежащие в основе этой работы, анализируются и исследуются».
Даже собственный отчет института об окружающей области признает этот сдвиг: «Растущая способность новых технологий ускорять математические исследования усилила это чувство предвкушения», — отмечается в заявлении, отмечая, что недавние прорывы в смежных областях — некоторые из которых отмечены премией Клэя за исследования — породили надежды на то, что Навье-Стоукс может вскоре пасть.
Что будет дальше
На данный момент практический вывод узок, но реален: институт, которому принадлежит проблема, официально заявил, что считает проблему, по-видимому, решенной, и обязался публиковать обновления по мере ее оценки. Если работа выдержит тщательную проверку, это станет второй решенной «Проблемой тысячелетия», первой за два десятилетия — и первой в истории, частично заслугой которой является система искусственного интеллекта, и именно это различие определит, как математические учреждения будут решать следующие подобные претензии.
Институт попросил терпения. Учитывая, что этот процесс по замыслу намеренно неторопливый, на вопросы сообщества — о доказательствах, кредите и роли машины, которая его произвела — будут даны ответы в хронологии института, а не в цикле новостей.
---
Будьте в курсе ИИПоследние новости, аналитика и прорывы в сфере ИИ — всё в одном месте.
Читать больше новостей об ИИ →
