11 SepnewsOpenAI решила задачу Навье-Стокса с Lean 4 доказательствомOpenAI объявила о решении задачи тысячелетия Навье-Стокса — и одновременно опубликовала формальное …→