1日（現地時間）、オープンAIは次世代人工知能（AI）モデル「アストラ（Astra）」が数学の難題10件で新たな結果を出したと発表した。人間の研究者が数年かけて取り組む可能性がある問題をAIが短期間で解いたということだ。しかし発表から数日で一部の数学者は「既存研究者のアイデアと成果が十分に評価されないままAIの成果が過度に強調された」と批判した。
「先行研究者の業績を故意に踏みにじっている。」
スティーブン・ミラー（Steven Miller）米国イェシバ大学教授は6日（現地時間）、サイエンティフィック・アメリカンにこう述べ、オープンAIの一部結果は事実上、自身の研究を盗用したものだと主張した。
ミラー教授は先行研究の欠落が繰り返された点を挙げ、「組織的な態様に見え、研究不正を示唆する」と批判した。ただし学術機関の公式調査や盗用判定が出たわけではない。
◇ AIが見つけた解は、既存論文にすでにあったのか
オープンAIが公開した論文は250ページに達する。群論や量子複雑性、格子暗号、ラムゼー理論などの難題を扱った。AIが論証を作り、人間の研究者がこれを論文として整理したうえで、数学証明検証プログラム「リーン（Lean）」で形式化した。リーンは証明の各段階が定められた論理規則に合致するかをコンピューターで確認するためのツールである。
今回論争となったのは「高次元球充填」問題である。箱の中に同じ大きさの球をどれだけ隙間なく入れられるかを問う問題を、数百・数千次元の空間へ拡張したものだ。オープンAIは球を充填できる密度の限界を従来より狭める証明を提示した。
ミラー教授は、この証明の核心的な論理は自身と共同研究者が2016年に発表した論文にすでに登場していると主張した。オープンAIが新しい結果を作る過程でこのアイデアを活用しながらも、出典を適切に示さなかったということだ。
論文自体の引用よりも、オープンAIの発表様式を問題視する数学者もいる。フランチェスコ・フルニエ＝ファシオ（Francesco Fournier-Facio）英国ケンブリッジ大学研究員は「論文では先行研究を最大限明らかにしようとする努力があった」と評価しつつも、「人間の数学者が当該問題で最近まで前進を続けていたにもかかわらず、オープンAIの初期発表は長らく停滞していた問題でAIが突破口を開いたかのように紹介した」と指摘した。
だからといって結果自体の学術的価値まで否定されたわけではない。アストラが活用した先行研究の共著者であるアンドレアス・トム（Andreas Thom）独ドレスデン工科大学教授は、この結果を「創造的でありながら基礎的だ」と評価した。
今回の論文を直接検討したキム・ジョンラク西江大学数学科教授も、AIの問題解決過程を既存論文の単純な継ぎはぎとだけ見ることはできないと説明した。キム教授は「AIが他の論文を単に引用したり、その中身をつなぎ合わせて結果を出すのではなく、論理的に自ら問題を解いていく場合がある」とし、「そのためにAIが見いだした論理が人間がすでに行った研究と重なることもあり得る」と述べた。
続けて「オープンAIは辺境にある未解決問題ではなく、各分野で有名で非常に難しい問題を選んで挑み、結果を出した」とし、「AIが実際に真である結果を見つけ、証明まで提示した点で学術的な意味がある」と評価した。
◇ AIが難題を解く時代…数学界は懸念の中で新たな役割を模索
今回の論争は、AIが数学研究に本格的に活用される前から数学界が悩んできた問題である。6月に公開された「ライデンAI・数学宣言」は、AIモデルが既存の数学文献を総合して結果を出す一方で、その基盤となった人間研究者の研究を適切に引用できない可能性があると警告した。国際数学連合（IMU）もこの宣言を公式に支持した。
宣言は特に、十分な学術的検証を経る前にプレスリリースやブログを通じて研究成果を広報する場合、AIの役割が過度に強調され、既存の人間研究者の貢献が縮小され得ると指摘した。AIを活用したとしても、結果の正確性と先行研究の引用に対する責任は人間の研究者にある点も強調した。
オープンAIもサイエンティフィック・アメリカンに「数学的結果の正確性に責任を負い、人間の数学者に求められるのと同じ基準に従う」とし、「論文を通常の学術慣行に従って修正する」と明らかにした。
今回の論争とは別に、AIが実際に難題解決能力を示し始めたことで、人間の数学者の役割も変わり得るとの見方が出ている。
キム教授は、過去にアルファ碁が人間の棋士なら容易には選ばない手を指して新たな囲碁戦略を示したことになぞらえた。キム教授は「人間がこれまで行ってこなかったやり方でAIが問題を解くなら、『AIはなぜこのように考えたのか』を検討する必要がある」とし、「その思考様式を人間が受け入れて別の問題に適用し、そこに人間のアイデアを加える方向で数学者の役割が拡張され得る」と述べた。