OpenAI News·· 23 d ago
On the Navier–Stokes Millennium Prize Problem
On the Navier–Stokes Millennium Prize Problem
AI summary
OpenAI shared an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a written explanation and a formal Lean proof.
Selection record
Threshold 60Official, first-handFirst 22Second 22
Not admittedSum of both 44 < twice the threshold 120
- Source tier
- Official, first-hand; this tier's threshold is 60
- Pre-filter
- passed：AI生成数学证明，实质AI相关
A model scores each item twice, independently, against one written standard, out of 100. An item is admitted only when the two scores add up to twice the threshold. The threshold is set per source tier.
Source: OpenAI News · openai.com