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