先了解这件事
OpenAI 宣布其内部 AI 系统给出 Navier–Stokes 存在与光滑性问题的解答,证明初始光滑的流体可在有限时间内形成奇点,并附证明文稿与 Lean 形式化验证。
最新进展
OpenAI 称 88 小时解决 Navier-Stokes 问题,却引发数学界抢发与数据争议
事件进展1
OpenAI澄清在对方公开发表前未以任何方式接触其工作、未访问特定用户数据,但不排除去标识化使用数据改善了其模型
OpenAI:官网动态:OpenAI 宣布以内部 AI 系统给出 Navier–Stokes 千禧年问题解答