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