数十年動かなかった数学の難問をAIが前進させる、OpenAI「Astra」の10成果が示す研究の変化

OpenAIが2026年8月1日に公表した、次期主要モデル「Astra」社内版による数学・理論計算機科学の10件の成果を解説しています。対象は既知の問題集ではなく、高次元幾何学、符号理論、群論、量子計算量、格子暗号、極値組合せ論などの未解決問題です。高次元球充填や符号理論では1970年代以来更新されなかった一般上界を指数レベルで改善し、長年の予想への反例や数学的対象の存在証明も示しました。特徴は、行き詰まると数値調整に固執せず問題の捉え方や別分野の手法へ切り替え、仮説、反証、再探索を繰り返した点です。

論証はAstraが生成し、人間が同じモデルで論文に整理、Leanによる形式化と機械検証も行いました。10件の探索費はSol API換算で約2000ドル相当とされます。数学者の判断や位置づけは残るものの、AIの評価軸が正答らしさから、第三者が検証できる新知識を作る能力へ移り、研究助手から研究協働者へ近づいたと論じています。

この要約は生成AIで作成しました。

記事はこちら

数十年動かなかった数学の難問をAIが前進させる、OpenAI「Astra」の10成果が示す研究の変化

柳谷智宣

ITライター

FacebookContact

1972年生まれ、東京育ち。ITやビジネスといったカテゴリーで執筆しているライターです。キャリアは27年目で、雑紙やムック、単行本、新聞といった紙媒体から、ウェブ記事、メールマガジン、プレスリリースなども手掛けています。現在は、執筆だけでなく、企画提案から執筆・編集までを行っております。主に一般ビジネスユーザーをターゲットに、易しく解説する記事が多いですが、エンタープライズ向けの記事やメーカーや企業のウェブサイトのコンテンツ制作も請け負っています。可能な限り、様々な案件に対応できますので、まずは打診いただけると幸いです。