О проблеме тысячелетия Навье–Стокса

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