OpenAI News·· 23 日前
OpenAI、AI生成のナビエ–ストークスのミレニアム懸賞問題解答を共有
On the Navier–Stokes Millennium Prize Problem
AI による要約
OpenAIは、AIが生成したナビエ–ストークスのミレニアム懸賞問題の解答を共有した。説明文とLeanの形式証明を含む。
入選の記録
基準 60公式・一次情報1 回目 222 回目 22
入選せず二回の合計 44 < 基準の 2 倍 120
- 情報源の区分
- 公式・一次情報、この区分の基準は 60 点
- 予備審査
- 通過:AI生成数学证明,实质AI相关
採点はモデルが同じ基準で独立に二回行い、満点は 100。二回の合計が基準の 2 倍に届いたものだけが入選します。基準は情報源の区分ごとに決めています。
情報源:OpenAI News · openai.com