OpenAI、数学の未解決問題における内部フロンティアモデルの新結果を公表

入選の記録

入選二回の合計 124 ≥ 基準の 2 倍 120

情報源の区分

公式・一次情報、この区分の基準は 60 点

予備審査

通過：OpenAI前沿模型数学进展及Lean证明

推薦理由

OpenAIが数学の未解決問題で得た結果とLeanによる形式化証明を公開。その研究アプローチとオープンソース化の詳細がわかる。

採点はモデルが同じ基準で独立に二回行い、満点は 100。二回の合計が基準の 2 倍に届いたものだけが入選します。基準は情報源の区分ごとに決めています。