OpenAI、数学難問の解を発表 数学者との軋轢で独立諮問委員会を設置

何が発表されたのか

OpenAIは、流体の運動に関わるナビエ・ストークス問題の解を発見したと発表しました。同社の説明によれば、この問題は約90年間未解決で、7つあるミレニアム懸賞問題の一つに数えられます。それぞれの解決には100万ドルの賞金が用意されているとされています。

解法には、社内で開発したAIモデルを使ったとされます。このモデルは新たに公開されたGPT-6 Astraよりも強力だとされ、1万の並行エージェントを組み合わせて用いたと説明されています。訓練は8月28日に始めたとされています。

何が新しいのか

原文によれば、OpenAIはこれまでも複数の長年の数学問題で成果を発表しており、その一部は研究者が現在のシステムに期待していた能力を大きく超えるものでした。今回の発表もその延長線上にあります。

注目されるのは、公開モデルではなく社内モデルを使い、多数のエージェントを並列に動かす構成です。原文はこれを、AIが数学を急速に変えつつあることの顕著な例だと位置づけています。

数学者との軋轢

一方で、発表の進め方をめぐって反発が起きています。原文は、他研究者が進めていると聞いてから、OpenAIが最後に資源を投入して先に結果を出そうとした可能性を伝えています。これにより、成果の先取りやスパイ行為、学術界の長年の規範の違反といった指摘が生じたとされます。

数学者のAndreas Thom氏は、自身と同僚がChatGPTと交わしたやりとりが成果に寄与した可能性があると指摘しました。OpenAIが発表した10件の結果の一つは、Thom氏の専門である非ソフィック群に関わるもので、同社はThom氏とGábor Kun氏の先行研究に大きく依拠したことを認めています。

ロンドン大学クイーン・メアリー校のAbhishek Saha教授は、OpenAIが「数学者が一般には行わない種類のこと」をしたと述べています。

残る疑問と課題

OpenAIは新たに、数学者の独立諮問委員会を設置すると発表しました。数学研究や数学コミュニティとの関わり方、新しい結果の提示や公開の方法について助言する役割とされています。

ただし、原文によればこの委員会は突然の発表で多くの数学者を驚かせ、何をするのか、どの程度影響力を持つのか、OpenAIが実際に耳を傾けるのかといった基本的な疑問が残っているとされます。少数の著名な研究者だけで広いコミュニティを代表できるのかという懸念も示されています。

委員会には最初の課題として、未公開モデルが生み出したとする多数の結果の公開を調整する役割が与えられています。この大量の成果が分野に何をもたらすかについて、研究者の間では不安も広がっているとされます。