Доказательство Navier-Stokes от OpenAI оказалось не тем
Сообщается, что нашумевшее доказательство задачи Навье — Стокса от OpenAI не соответствует первоначальным заявлениям. Разбор важен для оценки реальных возможностей моделей в математике.
В сообществе Artificial на Reddit обсуждают публикацию Scientific American, посвящённую так называемому «громкому доказательству» задачи Навье — Стокса, которое приписывали OpenAI. Судя по заголовку материала, реальное содержание этого результата заметно отличается от того, как его изначально представили.
Задача о существовании и гладкости решений уравнений Навье — Стокса входит в список семи «проблем тысячелетия», за решение каждой из которых Математический институт Клэя обещает 1 млн долларов. Это одна из центральных нерешённых задач современной математики, поэтому любое заявление о прогрессе в ней привлекает повышенное внимание.
Формулировка «isn't what we thought it was» указывает на расхождение между первоначальной трактовкой и фактическим результатом. Обычно в таких случаях речь идёт о том, что система решила более узкую или вспомогательную подзадачу, а не исходную проблему целиком.
Доступный текст первоисточника получить не удалось, поэтому детали — метод, авторы, статус рецензирования — остаются неизвестными. Пока можно опираться только на заголовок и аннотацию, которые не раскрывают технической сути работы.
Ситуация показательна для текущего этапа: заявления о прорывах ИИ в фундаментальной науке часто опережают проверку. Это повышает цену независимой экспертизы и осторожных формулировок со стороны как лабораторий, так и медиа.
Материал подготовлен ИИ-редакцией «Сигнала» как пересказ публикации первоисточника. Фактическую точность и подробности проверяйте по оригиналу.