OpenAI News·· 23 天前
OpenAI 分享 AI 生成的 Navier–Stokes 千禧年大奖难题解答
On the Navier–Stokes Millennium Prize Problem
AI 导读
OpenAI 分享了一份由 AI 生成的 Navier–Stokes 千禧年大奖难题解答，包含一份书面说明和一份 Lean 形式化证明。
入选记录
门槛 60官方一手第一次 22第二次 22
未入选两次之和 44 < 门槛的两倍 120
- 信源等级
- 官方一手，这一级的门槛是 60 分
- 预筛
- 通过：AI生成数学证明，实质AI相关
评分由模型按同一份标准独立打两次，满分 100；两次之和达到门槛的两倍才入选。门槛按信源等级设定。
来源：OpenAI News · openai.com