本サイトの記事や画像は、AIが公的資料や複数の報道を基に事実関係を整理・再構成し制作したものです。[続きを表示]特定の報道内容や表現を再利用・要約することを目的としたものではありません。ただし、誤りや不確定な情報が含まれる可能性がありますので、参考の一助としてご覧いただき、実際の判断は公的資料や各出典元の原文をご確認ください。[私たちの取り組み]
OpenAIは8月1日付の公式発表で、数学と理論計算機科学の長年の未解決問題10件について、解決または大幅な進展につながる新たな結果を公表した。成果は社内版「Astra」によるものだという。
Astraを「次期主力モデル」と初めて明記
OpenAIはAstraを「次期主力モデル」と説明した。公式サイトで同名が使われた初の例とみられ、社内版モデルの名称と具体的な研究成果が同時に示された。一般提供の時期や仕様、既存モデルとの性能差は今回の発表では明らかにしていない。
10件には、予想の反証、上界・下界の改善、構成の提示など性質の異なる成果が含まれる。OpenAIは各問題を解決したか、大幅な進展をもたらした結果としており、すべてを同じ意味で「完全解決」と捉えるのは適切ではない。
249ページの成果資料とLean証明書を公開
OpenAIは、10件の成果をまとめた249ページの資料に加え、着想や試行錯誤の流れを説明する62ページの資料を公開した。後者はAstraの思考過程をそのまま収録したものではなく、成果に至る過程を読み手向けに再構成した内容となっている。
10件の成果は証明支援系Leanでも形式化され、証明書がGitHubで公開された。論文形式の説明と機械で検証可能な証明を併せて提示した点が、今回の発表の特徴だ。
