Компания OpenAI объявила о решении одной из семи «задач тысячелетия» — проблемы существования и гладкости решений уравнений Навье – Стокса, сообщается в заявлении разработчика. Доказательство было получено с помощью внутренней модели искусственного интеллекта, возможности которой значительно превосходят GPT-6 Astra.

Мы представляем решение задачи о существовании и гладкости решений уравнений Навье – Стокса — одной из «задач тысячелетия». <…> Мы публикуем как описание самого доказательства, так и его формализацию на языке Lean, — говорится в заявлении OpenAI.