The Decoder· Matthias Bastian·· 9 日前
OpenAI、AI生成の数学的証明372件をGitHubで公開
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI による要約
OpenAIは、社内のフロンティアモデルが生成した372件の数学的成果をGitHub上で公開した。各成果は未解決問題の解決か実質的な進展を主張するもので、主要な計算機アルゴリズムの改良やリーマン予想に関連する進展も含まれる。
入選の記録
基準 76メディアと個人1 回目 782 回目 88
入選二回の合計 166 ≥ 基準の 2 倍 152
- 情報源の区分
- メディアと個人、この区分の基準は 76 点
- 予備審査
- 通過：OpenAI发布AI模型生成的数学证明
- 推薦理由
- OpenAIがAI生成の数学的成果372件をGitHubに直接公開したことで、大量生産型の証明をめぐる数学界の意見の相違が表面化している。
- 同じ出来事
採点はモデルが同じ基準で独立に二回行い、満点は 100。二回の合計が基準の 2 倍に届いたものだけが入選します。基準は情報源の区分ごとに決めています。
情報源：The Decoder · the-decoder.com