OpenAI、次期モデル「Astra」を発表 未解決数学問題10問を機械検証済みで解決
OpenAIは2026年8月2日(現地時間)、次期主要モデルとなる「Astra」が、少なくとも10年間未解決であった数学および理論計算機科学の10問に対し、新たな結果を生成し、機械検証可能な証明を公開したと発表した。同社は249ページに及ぶ原稿集、モデルによる推論ウォークスルー、およびLean 4による証明書を公開している。証明書はGitHub上でApache 2.0ライセンスの下で利用可能となっている。
Tag
#数学
3 件の関連記事
OpenAI、次世代AIモデル「Astra」発表 未解決数学問題10件を解決
OpenAIは2026年8月1日(現地時間)、次世代AIモデルファミリー「アストラ (Astra)」を発表しました。Astraは長時間タスクと複雑な問題に対応するよう設計され、数学および理論計算機科学の未解決問題10件を解決したとされます。同社は、解決した証明を形式化言語リーン (Lean) で公開し、機械検証を可能にしました。これらの解決にかかる推論コストは、既存モデルSolのAPIレートで約2,000ドルに相当するとされています。
OpenAI、数学・計算機科学の10問題で進展を発表
OpenAIは2026年8月1日(現地時間)、数学および理論計算機科学分野で長年にわたり未解決だった10の主要問題に対し、新たな研究成果を発表した。これらの成果は、開発中の大規模言語モデル「アストラ (Astra)」の内部バージョンを用いて達成されたという。