OpenAI заявила о решении задачи тысячелетия — и оказалась в центре спора

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

Параллельно математики Тристан Бакмастер и Левент Альпёге заявили, что долго работали в том же направлении и допускают, что OpenAI могла воспользоваться сведениями об их исследовании. Компания это отрицает и настаивает на независимости результата. Теперь обсуждается не только корректность доказательства, но и вопрос научного приоритета: кому принадлежит идея, если итог получила система из тысяч ИИ-агентов.