OpenAIが数学問題300超の解答を公開

OpenAIは10月6日、内部のフロンティアモデルによって生成された一連の数学研究成果を公開した。そのGitHubリポジトリには722件の原稿が収録され、372の成果ファミリーに分類されており、主要な結論、付随する論証、系、および代替証明が含まれている。OpenAIは、これらの成果が数百の未解決問題に関係すると述べる一方で、検証の程度は一様ではなく、Lean形式化されていない一部の結果には依然として問題が存在する可能性があると強調している。 今回の発表は、OpenAIがNavier–Stokesミレニアム賞問題の解決を宣言してから約1か月後に行われた。ただし、この結論は依然としてOpenAIが提案した解決策として表現されるべきであり、数学界やClay数学研究所によって正式に承認された最終的な成果として扱われるべきではない。 OpenAIは同時に、一部のLean証明、10件の成果に関する推論の要約、および計算量の統計を公開し、今後も形式化検証を追加していくと述べている。関連資料は数学界が独立した審査を行うための基盤を提供するものの、すべての成果が正しいことを証明するには十分ではなく、内部モデルの具体的なアーキテクチャ、訓練データ、または完全な推論プロセスも開示されていない。その学術的価値は、依然として長期的なピアレビューを経る必要がある。