热点事件 历史事件
Anthropic员工Levent Alpöge与NYU教授Tristan Buckmaster得到受迫欧拉方程问题的解答，OpenAI承认其在该问题上的优先权并致贺
先了解这件事
报道摘要OpenAI 宣布其内部 AI 系统给出 Navier–Stokes 存在与光滑性问题的解答，证明初始光滑的流体可在有限时间内形成奇点，并附证明文稿与 Lean 形式化验证。
报道时间线
沿着报道，了解事件的不同侧面。
显示 1 篇全部报道，最新在前
- OpenAI 宣布以内部 AI 系统给出 Navier–Stokes 千禧年问题解答
OpenAI 宣布其内部 AI 系统给出 Navier–Stokes 存在与光滑性问题的解答，证明初始光滑的流体可在有限时间内形成奇点，并附证明文稿与 Lean 形式化验证。