По данным OpenAI, компания 8 сентября опубликовала предложенное решение задачи Навье—Стокса и его формализованную версию в Lean. Компания не просто рассказала об ответе, а выложила доказательство, которое можно разбирать по шагам. Однако слово «предложенное» здесь важнее победной музыки: задача пока не объявлена окончательно закрытой.
Уравнения Навье—Стокса описывают поведение жидкостей. Для массового читателя этого достаточно, чтобы понять масштаб: речь не о школьном примере, а об одной из знаменитых задач тысячелетия, над которой математики всё ещё спорят. Именно поэтому сухое название внезапно оказалось в Google с отметкой 2 000+ запросов.
По данным OpenAI, вместе с обычным текстом опубликовано формализованное доказательство в Lean. Проще говоря, рассуждение записали в виде, где отдельные шаги может проверять компьютер. Это серьёзный способ показать работу, но не автоматическая печать «решено»: машинная проверка записи и признание результата математическим сообществом — не одно и то же.
Как пишет Nature, публикация остаётся заявлением о решении, которому ещё нужна оценка специалистов. Поэтому честная формула новости звучит так: OpenAI выдвинула доказательство, а не забрала себе закрытую задачу тысячелетия. Независимая проверка продолжается, и её исход пока неизвестен.
В этой истории особенно хорош перевёрнутый порядок ролей. ИИ пришёл с ответом на задачу века, но финальную контрольную всё равно принимают люди. Наука, к счастью, не работает по кнопке «готово»: громкость заявления здесь измеряет Google, а его прочность — только последующая проверка.
