Сервисы
BTC $83 048 +0.5%ETH $2 492 -1.5%SOL $110 -2.1%TON $1,49 +4.6%BTC $83 048 +0.5%ETH $2 492 -1.5%SOL $110 -2.1%TON $1,49 +4.6%
ии3DNews

Ученые нашли расхождения между текстом и Lean-версией доказательства OpenAI по уравнениям Навье — Стокса

Ученые нашли расхождения между текстом и Lean-версией доказательства OpenAI по уравнениям Навье — Стокса

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

Ученые сопоставили опубликованное доказательство OpenAI по уравнениям Навье — Стокса с его версией на языке Lean, которую можно проверить на компьютере, и нашли расхождения. В нескольких ключевых местах машинный вариант содержит более слабые утверждения, чем текст статьи. Об этом сообщил 3DNews.

Расхождения сами по себе не опровергают результат. Речь идет о том, что формализованная версия и текст доказательства говорят не совсем одно и то же: там, где в публикации заявлено сильное утверждение, Lean-версия фиксирует более осторожное. Именно на такие места и обратили внимание исследователи.

Уравнения Навье — Стокса описывают движение жидкости и газа. Одна из задач тысячелетия — доказать, что их решения в трехмерном случае всегда существуют и не обращаются в бесконечность. Результат, о котором заявила OpenAI, относился именно к этой области.

Что означает находка для статуса работы, пока неясно. Авторы не объявляли об отзыве или исправлении доказательства, независимой проверки всех выводов также не представлено. Дата и формат дальнейшего разбирательства не названы.

Источник

3DNews · права на исходный материал принадлежат автору.

Материал носит информационный характер и не является индивидуальной инвестиционной рекомендацией. Операции с криптовалютами связаны с риском полной потери вложенных средств. Подробнее — «Отказ от ответственности».

Bittalk в Telegram

Разборы событий, итоги дня и то, что двигает рынок. Без сигналов и обещаний — только факты и что они значат.

Читать в Telegram →

По теме