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