166 страниц и месяц проверок: что выяснили о доказательстве OpenAI для задачи Навье–Стокса
Доказательство, которое OpenAI представила в сентябре для одной из задач тысячелетия — уравнений Навье–Стокса, — стало предметом подробной проверки со стороны математического сообщества. Несколько групп экспертов на протяжении месяца изучали текст объёмом 166 страниц, пытаясь оценить его логику и происхождение использованных идей.
Поводом для особого внимания стали обвинения в том, что компания могла заимствовать подход из работ математиков, ранее исследовавших ту же проблему. Однако, как пишет Scientific American, специалисты, разбиравшие доказательство, не нашли прямого совпадения маршрута. По их оценке, изложенная в тексте стратегия отличается от той, которую использовали авторы спорных работ.
«Когда доходишь до деталей, это другой подход», — отметил математик Гонсало Као-Лабора из Лозанны. Его вывод отражает позицию нескольких групп экспертов, которые сопоставляли структуру рассуждений и технические шаги в разных вариантах доказательства.
Какую задачу пыталась решить OpenAI
Уравнения Навье–Стокса описывают движение жидкостей и газов. В рамках проблемы тысячелетия требуется строго установить, сохраняется ли гладкость решений этих уравнений или же в некоторых случаях могут возникать особые точки, где параметры потока становятся бесконечными.
Формулировка допускает четыре возможных исхода. OpenAI заявила доказательство вариантов C и D. В построенном компанией сценарии гладкая жидкость, изначально находящаяся в состоянии покоя, под воздействием гладкой внешней силы за конечное время разгоняется до бесконечной скорости. При этом её энергия остаётся конечной.
Именно сочетание бесконечной скорости и конечной энергии делает такой сценарий значимым для поставленной задачи. Если доказательство выдержит дальнейшую проверку, оно сможет показать, что решения уравнений Навье–Стокса способны за конечное время потерять гладкость. Пока же опубликованный результат остаётся предметом экспертного анализа: специалисты подтвердили отличие подхода от работ, ставших причиной обвинений, но сам спор вокруг математической корректности требует тщательного изучения всех деталей.
