OpenAIの次期主要モデル「Astra」、数学と理論計算機科学の未解決問題を解決・進展

最終更新日:2026/08/05

OpenAI 次期主要モデルAstra

OpenAIは、次期主要モデル「Astra」の社内版を用いて、高次元幾何学や群論などの数学および理論計算機科学における10件の未解決問題を解決、または大幅に進展させたと発表しました。

米OpenAIは、次期主要モデル「Astra」の社内版を使用し、数学および理論計算機科学における長年の未解決問題10件について、解決または大幅に進展させたと発表しました。

対象となった問題は、高次元幾何学、符号理論、算術回路複雑性、量子複雑性など多岐にわたります。これらはすべて、数学コミュニティにおいて極めて重要で広く関心を集めている問題でした。

問題の解を見つけるために必要なトークン総数は、既存モデル「Sol」のAPIレートで約2,000ドル相当でした。生成された議論は、同モデルを使用して人間が論文にまとめ、その後モデル自身が定理証明支援系言語「Lean」を用いて証明書として形式化しました。

OpenAIは、AIの影響を懸念する「AIと数学に関するライデン宣言」の署名者を含め、多様な見解を持つ専門家に対する敬意と理解についても言及しました。また、AI生成の証明を人間の成果として発表することは、システムの貢献と人間による知的作業の両方の本質を誤って伝えることになると指摘しています。

なお、本結果の正確性については責任を負うものの、数学的な議論自体はシステムが生成したものであるとしています。あわせて、数学コミュニティによる本結果の検証と活用への期待を寄せています。

同社は、AIが高度な研究協力者へと進化している変革期において、科学者や数学者が分野の未来を定義するためには、AIへの広範なアクセス確保が不可欠であるとの考えを示しています。

出典：OpenAI

AIsmiley編集部

株式会社アイスマイリーが運営するAIポータルメディア「AIsmiley」は、AIの専門家によるコンテンツ配信とプロダクト紹介を行うWebメディアです。AI資格を保有した編集部がDX推進の事例や人工知能ソリューションの活用方法、ニュース、トレンド情報を発信しています。

・Facebookでも発信しています @AIsmiley.inc
・Xもフォローください @AIsmiley_inc
・Youtubeのチャンネル登録もお願いいたします@aismiley
メルマガに登録する