The Decoder· Maximilian Schreiner·· 4 時間前
OpenAI、数学・計算機科学・物理学でAIが生み出した証明を外部専門家が検証へ
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
AI による要約
OpenAIは、数学・計算機科学・物理学の3分野で自社AIが生み出した証明を検証するため、外部専門家をshepherd（監督役）として招いた。各分野の専門家の助言に応じて個別に対応する。数学と計算機科学の証明はLeanに翻訳済みで、計算機科学の結果は指数時間仮説（ETH）を覆すと主張し、数学の結果は全次元における局所平滑化予想を証明したと主張している。
入選の記録
基準 76メディアと個人1 回目 882 回目 88
入選二回の合計 176 ≥ 基準の 2 倍 152
- 情報源の区分
- メディアと個人、この区分の基準は 76 点
- 予備審査
- 通過：OpenAI用AI生成数学物理论文证明并请专家核查
- 推薦理由
- OpenAIがAIの生み出した3つの証明を外部専門家に分けて検証させ、元データとLean証明を公開。AIによる研究成果の検証方法と議論の所在がわかる。
- 同じ出来事
採点はモデルが同じ基準で独立に二回行い、満点は 100。二回の合計が基準の 2 倍に届いたものだけが入選します。基準は情報源の区分ごとに決めています。
情報源：The Decoder · the-decoder.com