OpenAI Astraが「盗用疑惑」に直面？数学的ブレークスルーが学術倫理論争を引き起こす

OpenAIは最近、次世代の大規模言語モデル「Astra」が数学分野で大きな進展を遂げ、高次元幾何学、群論、量子計算複雑性などにまたがる10の長年の未解決問題を解決したと発表しました。この成果はAIにとっての「月面着陸」に匹敵するものだと称賛されましたが、すぐに数学者たちから学術的不正行為や盗用の疑いが提起され、科学界と技術界で激しい論争が巻き起こっています。

OpenAIが発表した249ページに及ぶ技術報告書によると、Astraは約2,000米ドルのトークンコストだけで、「高次元球体パッキング（Sphere Packing）」や「非sofic群（Non-sofic Group）」の存在証明を含む10の成果を生み出しました。OpenAIは、人間の研究者が原稿の準備やLeanによる形式化証明の検証を支援したものの、核心的な数学的議論は完全にAIによって生成されたとしており、功績はAIシステムにあるとしています。

しかし、この主張は発表から5日後に疑問視されました。ユーシバ大学（Yeshiva University）の数学者スティーブン・ミラー氏は『サイエンティフィック・アメリカン』の取材に対し、Astraが球体パッキング問題を扱う際に用いた最も重要な論理構造が、彼と共同研究者が2016年に発表した論文とまったく同じであると指摘しました。にもかかわらず、Astraの初期報告書ではその研究が引用されておらず、「独自の発見」として提示されていたと批判しています。ミラー氏は、これは偶発的な見落としではなく、「体系的な学術的不正行為」だと断じています。

「非sofic群」に関するもう一つのブレークスルーについても、ケンブリッジ大学の群論専門家フランチェスコ・フーニエ＝ファシオ氏が、Astraが自身の未発表研究に極めて近い結論に達していると指摘し、学術的基準の遵守を求めました。

これらの批判に対して、OpenAIの広報担当者は、論文に「小幅な更新」を行い引用を修正する予定だと述べるとともに、結果の正確性については責任を負うと強調しました。この一件は、AIが科学的発見を加速する可能性を示す一方で、現行のAIモデルが創造性の帰属や学術的引用規範に関して法的・倫理的な盲点を持っていることを浮き彫りにしています。

この論争は、数学そのものの本質に関する議論にも広がっています。一部の学者は、Astraが生成した数十万行に及ぶ形式化コードは機械でコンパイルできるものの、人間の証明が持つ「対称性」や洞察といった啓発的な要素が欠けていると批判しています。

数学者たちは、AIが研究の共同者となる時代において、「独自性」をどう定義し、人間の知的労働の署名権をどう守るかが、今後の科学研究の移行期に直面する重大な課題になると懸念しています。