OpenAIは8月1日、新しいAstraモデルが数学および理論計算機科学における10の長年の課題を解決したと発表しました。数学界の反応は急速に訪れましたが、拍手ではありませんでした。
著名な研究者たちは、同社が過去の研究を軽視し、既存の貢献を適切に引用せず、AI生成結果の新規性を誇張したと非難した。
主張と反論
OpenAIによると、Astraモデルは、高次元球詰めの境界、非ソフィック群の構築、符号理論の進展、および算術回路の複雑さといった課題に取り組みました。同社はこれらを、「主要な結果について少なくとも10年間進展がなかった分野」と位置づけています。
ユダヤ大学の数学者スティーブン・ミラーと、ケンブリッジ大学のフランチェスコ・フォルニエ＝ファチオは、強く反論した研究者の一人であった。彼らの主張は、Astraの結果が、OpenAIが無視または過小評価した以前の研究に基づいているというものだった。アンドレアス・トムとミラー自身は、2016年にはすでにAstraが征服したと主張する分野に直接関連する研究を発表していた。
10件の結果全体の計算コストは、トークン使用量で約2,000ドルだったと報告されています。
8月6日までに、サイエンティフィック・アメリカンは、OpenAIの発表対応を「研究不正」と盗用と評する報告を掲載した。OpenAIはその後、一部の声明を修正した。
出来事ではなくパターン
これはOpenAIが数学的な主張に関して初めて論議に巻き込まれたわけではありません。2025年10月、元副社長のケビン・ウェイルは、GPT-5がポール・エルデシュの予想に関連する問題を解決したと投稿しました。その投稿は静かに削除されました。
そして2026年5月20日、OpenAIは自社のモデルが1946年にさかのぼる予想を反証したと発表した。この発表は、ノガ・アロンやトーマス・ブルームを含む信頼される数学者たちから賛同を得て、真の信頼性を獲得した。
これが学術を超えて重要な理由
2,000ドルの計算コストという数字は、文脈が意味をどのように形作るかを示す完璧な例である。単独で見れば、最先端の数学研究がまもなく劇的に安くなる可能性を示す注目すべきデータポイントである。しかし文脈の中では、別の疑問が浮上する：その2,000ドルは具体的に何を購入したのか？もしAstraが人間の数十年にわたる作業をまとめ上げ、その人間たちに謝意を示さなかったとすれば、この計算コストはAIの能力の指標というより、既存の知識をどれほど安価に再パッケージできるかを示す指標である。