数学難問をAIで解決、フィールズ賞25人が非難声明「科学に有害」との日経記事だが、Anthropicが10月後半以降の上場がほぼ決まった一方、上場を延期したOpen AIがこれに対抗してナビエ–ストークス方程式証明のプレスリリースに至ったとみられる経緯に"疑惑"があり、タイミング的に今回のフィールズ賞25人による非難声明の引き金であったと容易に推測される。なぜか日経にはこの疑惑が書かれておらず、逆にネットでは数学者を非難する論調まである。 オープンAI、数学の「超難問」方程式証明か　データ不正使用指摘も アンソロピックのIPO、10月後半以降か Open AI上場延期 OpenAI fought dirty on career-making math problem, says NYU mathematician からX文字制限に合わせて一部のみ翻訳 ーー ニューヨーク大学（NYU）の数学教授Tristan Buckmasterは火曜日、理論数学における主要な未解決問題の一つについての予備的な成果を含む、3つの証明を発表した。Anthropicの数学者Levent Alpögeとの共同研究により、CodexとClaudeの両AIモデルを用いて得られたこれらの成果は、それ自体として重要である。しかし同時に、同じ問題を解こうとするOpenAIの取り組みをめぐる、異例の論争も伴っている。 OpenAIは、ナビエ–ストークス方程式の解の存在と滑らかさの問題について、完全な証明を公開した。これは、Buckmasterらの成果がその解決に向けて前進をもたらしていた問題である。OpenAIによれば、この証明は未公開の次世代モデルによって発見されたもので、 ナビエ–ストークス方程式の解の存在と滑らかさの問題は、7つの「ミレニアム懸賞問題」の一つである。これらは数学の重要な未解決問題であり、それぞれについて、最初に解決した個人またはグループに、クレイ数学研究所から100万ドルの賞金が授与される。 BuckmasterとAlpögeは、自分たちの成果の最終的な取りまとめを進めている最中に、「私たちの進捗に関する情報がOpenAIに伝えられていた」ことを知った。OpenAIに連絡すると、中心となる問題について、すでに完全な証明を得ていると告げられた。しかし、OpenAIがいつこの問題の研究を始めたのか、人間がどの程度関与したのかについて追加の質問をすると、回答は次第にはぐらかすようなものになった。 「チーム全体がこの問題に取り組んでおり、途方もない量の計算資源が使われていたことが分かった……」とBuckmasterは述べた。「最終的には、［最初のプロンプト］が送信されたのはここ数日以内であり、私たちの研究に関する情報がOpenAIに届いた後だった、という点で認識が一致した」。 これが事実なら、OpenAIのチームは、BuckmasterとAlpögeのアプローチが正しいと確信し、計算資源における物量面の優位を使って、先に形式的な証明に到達しようと決めたことが示唆される。 OpenAIの投稿は、この時系列の多くを裏付けている。具体的には、今回の取り組みは、ミレニアム懸賞問題のうち2問が解かれたという噂をきっかけに、9月1日に始まったと明記されている。また、この投稿は、BuckmasterとAlpögeとの話し合いが続いていることも認めている。 この問題自体には多くの数学者が取り組んでいるが、Buckmasterと共同研究者が採った具体的な方策は、はるかに珍しいものである。そのため、OpenAIが同じ時期に同じアプローチを採ったことを、Buckmasterは不審に思った。 「滑らかな外力を用いてクレイ研究所の懸賞問題に取り組む道筋、すなわちFeffermanによる問題の定式化の選択肢（c）と（d）は、LuisとDiegoが切り開いたものであり、Leventと私がひそかに取り組むことを選んだ道筋でもある」とBuckmasterは記した。「私の知る限り、ほかにこれに取り組んでいた人はほとんどいなかった」と続けている。「モデルに問題文を与えて、数日で行き着くような方向性ではない」。 AlpögeはAnthropicに雇用されているが、この研究を同社の業務として行っていたわけではない。そのため、両氏は複数のモデルを併用し、主としてOpenAIのCodexを頼りに研究を進めていた。それでも、Alpögeが競合する研究機関に所属していることは、OpenAIにとって不満の種になっていたようだ。Buckmasterは、OpenAIの数学者Sébastien Bubeckが、提示した妥協案の一環として、Alpögeの貢献を示すクレジット表記を外すよう求めたと主張している。 Buckmasterはまた、この研究をまとめる過程でCodexを広範に使用していたため、自分の研究から得られた情報が、OpenAI自身による問題解決の取り組みに利用された可能性についても懸念を示した。 ーー 因みに今回のフィールズ賞25人の非難声明は、以下にある。