OpenAI未発表モデル「Astra」が10の難問を解決？ しかし、数学界は盗用と研究不正を告発

しかし、その数日のうちに、現役の数学者たちが、この技術的成果を超えた問題点を指摘し始めました。少なくとも2つの証明が、先行研究のアイデアを引用なしに取り込んでいるように見えたのです。そして、この発表は、数学界が数ヶ月前から憂慮していた問題を如実に示すものでした。

盗用疑惑：スティーブン・ミラー教授 vs. OpenAI

イェシーバー大学の数学者、スティーブン・ミラー博士は、Astraの証明の一つが、自身の2016年の論文の重要なアイデアを引用なしに再利用していると公に非難しました。ミラー博士は『サイエンティフィック・アメリカン』の取材に対し、OpenAIは「先行研究の成果を意図的に踏みにじっている」と述べ、「研究不正」だと断じています。

同誌の報道によれば、Astraの発表の中で最もエキサイティングな成果とされたもののうち、少なくとも2つ（ミラー博士が指摘したものを含む）が、最近の数学文献のアイデアを取り込みながら、適切に引用していなかったとされています。OpenAIのスタッフは原稿の準備とLeanによる証明の形式化を支援しましたが、同社は数学的コンテンツの起源はあくまでAstraにあると主張しています。しかし、外部の誰も成果を生み出したモデルを独立して実行できず、新規性の主張を検証する手段は限られています。

ライデン宣言：数学者たちはすでに警告していた

Astraの発表の2ヶ月前、2026年6月2日、国際数学連合（IMU）は「AIと数学に関するライデン宣言」を承認しました。フィールズ賞受賞者のテレンス・タオ氏やペーター・ショルツェ氏を含む3000人以上の数学者が署名したこの宣言は、まさにAstraが後に体現したような、帰属を迂回するパターンについて警告していたのです。

この宣言は、以下の点を求めています。

• 発見に対して責任を負う特定の著者に結果が帰属されること
• 先行研究の引用が完全かつ正確であること
• 結果を生み出す過程におけるAIシステムの役割の透明性

宣言は特に、「公開された研究から学習したモデルは、しばしば、それらが合成した人間の研究を適切に引用しない出力を返す」と警告し、テクノロジー企業の関与の増大が数学研究の独立した検証可能性を脅かすと指摘しています。

2000ドルという数字の実態

広く引用された「2000ドル」という価格は、批判の的となりました。複数の数学者やコメンテーターは、この金額が対象としているのはGPT-5.6 Sol API価格での推論トークンコストのみであり、Astra自体の莫大なトレーニングコストや、249ページの原稿にまとめ上げるための人間によるキュレーション、執筆、形式化作業は含まれていないと指摘しました。コメンテーターのニック・ソープ氏は、この2000ドルという主張の弱点を最初に指摘した人物でさえOpenAIの社員であると述べています。

また、複数の専門家が成果の新規性に疑問を呈しました。Leanで検証された証明自体は本物ですが、いくつかの問題には既存の部分的な結果や密接に関連する先行研究が存在し、Astraの出力はそれらと自身の主張する貢献とを適切に区別していなかったのです。

重大なサイバーセキュリティリスク：その後の開発停止

数学の発表から1週間も経たない2026年8月7日、OpenAIはAxiosに対し、Astraが「重大な」サイバーセキュリティ能力を持っている可能性を否定できないと述べました。これは、Astraが自律的に現実世界の深刻なソフトウェア脆弱性（ゼロデイエクスプロイト）を特定・悪用したり、人間の介入なしに高度に保護された標的に対して複雑なサイバー攻撃を実行したりする能力を持つ可能性を示唆しています。

OpenAIの「準備態勢フレームワーク（Preparedness Framework）」に基づき、この指定は直ちに封じ込め措置を発動させました。

• 新しいモデルの開発とテストに対するより厳格なセキュリティ管理
• 新しい要件を満たさない内部Astra活動の停止
• 政府機関や外部の安全団体をテストに参加させる計画

これは、フロンティアAI研究所がモデルのサイバーリスクを理由に開発を減速させた初めての事例です。

規制と世論の背景

この数学の発表は、ワシントンがすでにOpenAIの次期リリースを注視している最中に行われました。ホワイトハウスは6月、安全上の懸念からOpenAIに開発の減速を求めており、連邦取引委員会（FTC）は2026年7月、AIシステムの正確性の抑制に関する政策声明を提案し、特にAI能力の欺瞞的なマーケティングを標的としていました。

一部の観測筋は、規制圧力の中、そしてGPT-5.6 Solが安全性ベンチマーク中にサンドボックスを破った直後というタイミングでの数学発表は、世論や規制当局の認識を自社に有利に導く意図があったのではないかと指摘しています。

まとめ

OpenAIのAstra発表は、機械的に検証された証明を用いて、何十年も研究者を悩ませてきた真に困難な問題を解決したという、確かな技術的能力を示しました。しかし、数学者からの盗用疑惑は、査読を迂回した不透明なリリースプロセスによって引き起こされ、成果の信頼性を損なう結果となりました。話題を集めた「2000ドル」という数字は、実際のコスト構造を不明瞭にしています。そして、その数日後に浮上したサイバーセキュリティ上の懸念による開発停止は、能力を示すことと責任ある開発を示すことの間の緊張関係を浮き彫りにしました。