OpenAIは10月26日、自社の人工知能モデルを用いて得られた科学的発見を、数学、計算機科学、物理学の分野で発表した。しかし、同社がこれらの結果を検証し公表する方法は、複数の研究者から批判を招いている。
三つの分野における三つの成果
最初の成果は、数学者クリストファー・ソッゲが1991年に提唱した局所平滑化予想に関するものである。これは、波の最も極端な集中は短時間しか持続しないと主張する。OpenAIは、自社のモデルが「独自の補助偏微分方程式」を用いてこれを証明したと主張しているが、その手法の詳細については明らかにしていない。同社は、この予想が他の予想を内包していると強調し、その中にはカレヤ予想も含まれるとしている。カレヤ予想とは、テーブル上の針を回転させ、最小限の表面積を移動しながらあらゆる方向を指すようにするという問題である。ホン・ワンとジョシュア・ザールは2025年にその3次元版の解決法を見出していたが、OpenAIはカレヤ予想そのものも解決したと主張している。
計算機科学において、同社は自社のモデルが広く信じられていた仮説、すなわち指数時間仮説（ETH）が誤りであることを証明したと主張する。ETHとは、変数の数が増えるにつれて解決に極めて長い時間がかかる問題が存在するというもので、解の検証が容易な問題が解決も容易かどうかを問うP=NP問題に関連している。MITの計算機科学者、ライアン・ウィリアムズ教授はTechcrunchに対し、「これはあまりにも出来すぎているように思える」と語った。OpenAIによれば、彼自身もETHの複数のバージョンを反証しており、同社の研究を検証する専門家の一人となるという。10月27日には、Anthropicも自社のモデルがこの仮説を反証し、複雑な問題を「準指数時間」で解くアルゴリズムを開発したと発表した。
物理学において、OpenAIは自社のモデルが、クォークやグルーオンなどの粒子間の強い相互作用を記述する理論である量子色力学について、「数学的に厳密な存在証明」を生成したと断言している。この結果は、重力を除く四つの基本力のうち三つをカバーする素粒子物理学の標準模型の統一拡張にも関わる。同社はまた、ヤン・ミルズ理論の存在も証明したとしている。
物議を醸す発表方法
OpenAIは三つの公開方法を選択した。数学分野では、結果を共有し、研究者自身が自らの研究を説明する機会を残した。数学と計算機科学については、数学的証明を計算機的に検証可能にするプログラミング言語であるLeanを用いた証明を公開した。物理学に関しては、公開が延期された。「研究の長さと複雑さを考慮し、Leanによる形式化が完了するまで公開を延期した。ヤン・ミルズ理論の存在の形式化は2026年10月16日に完了した」と同社は説明している。
AI企業に対し成果の公開について助言する数学者集団AGMAIは納得していない。同団体はOpenAIに対し、自然言語およびLeanによる結果の即時公開を求めている。ヤン・ミルズ理論は、クレイ数学研究所が2000年に提示したミレニアム懸賞問題の一つであることを指摘し、「したがって、公開を延期する科学的理由はもはや存在しない」と強調している。
不平等とされるアクセス
複数の研究者はまた、OpenAIが自社の成果へのアクセスを、各発見ごとに研究を検証・監督するために選ばれた少数の専門家に限定したことを批判している。高等研究所の研究者、コンスタンティン・コグラーはThe Vergeに対し、「最初にほんの一握りの著名な科学者だけが閲覧できるというのは不合理だ」と述べた。テキサス大学の物理学教授、アンドレアス・カーチは、「大規模研究所はすでに十分な権力を持っている」と見ている。AGMAIは発表前日にもこの手法を非推奨としており、他の数学者が「その分野に取り組むことを思いとどまらせる可能性がある」と懸念を示していた。
