166 страниц доказательства и месяц споров: как OpenAI запутала математиков решением Навье–Стокса #habr
https://habr.com/ru/news/1094452/
Tags: OpenAI, Навье-Стокс, Lean, математика, ИИ
Post #325970
91
HA HABR FEED + OPENNET @tmfeed · 2.72K subscribers