2026.09.10AIのニュース

OpenAIが数学の「ミレニアム懸賞問題」を解いたと発表した｜功績を争う相手は、自分のAIモデルを使っていた研究者だった

AIがナビエ–ストークス方程式の大きな謎を解いたという。
でも僕が読み込んだのは、証明より「誰の手柄か」でもめている部分だった。

「AIが数学の超難問を解いた」という見出しを見て、正直またか、と思った。
この手の見出しは何度も見てきたし、たいてい「一部だけ」「条件つきで」という注釈が後から付く。
でも今回は中身を読み進めるうちに、証明そのものより別のところで手が止まった。
解いた中身より、誰の手柄かでもめている話のほうが、僕には引っかかった。

何があったのか

OpenAIが、数学の未解決問題「ミレニアム懸賞問題」の一つであるナビエ–ストークス方程式について、大きな進展を証明したと発表した。
懸賞金は100万ドル。
示したのは「3次元のナビエ–ストークス方程式は、有限の時間内に特異点（流れの速さが無限大に発散する点）を持ちうる」という性質で、200年近く未解決だった問題の中核部分にあたる。

使われたのは10,000体のAIエージェントで、証明そのものに88時間、証明を形式的に検証可能な形へ整えるのに、もう17時間をかけた。
関連するオイラー方程式の反証には、別に約100体のエージェントが約50時間を費やしている。
エージェント同士でやり取りしたメッセージは、あわせて約500万件。
計算コストは数百万ドル規模だったと見られている。
証明はLean（数学的証明を形式的に検証するためのプログラミング言語）で検証されており、その点では確からしさは高いという。

ただし実務への影響は限定的だと、この結果を伝えた記事はそろって注記している。
現実の流体は分子の集まりであって、数式が仮定するような滑らかな連続体そのものではないからだ。

僕がひっかかったところ

ここまでは、AIの計算力がまた一段上がった、という話として読めた。
ひっかかったのは、この後に出てきた功績争いのほうだった。

数学者セオドア・バックマスターと、Anthropicに勤めるレヴェント・アルプーゲは、8月15日の時点で、関連するオイラー方程式が有限時間で発散することを証明していた。
ディエゴ・コルドバとルイス・マルティネス=ソロアが開発した攻め方を土台にした、未発表・進行中の研究だったという。
OpenAIのチームは9月1日、この研究に関するうわさを耳にしたのをきっかけにスプリントを始め、週末のうちに議論をナビエ–ストークス方程式本体まで一気に押し進めた。

ここでバックマスターが問題にしているのが、OpenAI側から「共著ではなく、バックマスター単独の著者としてまとめないか。Anthropic勤務のアルプーゲは外して」と持ちかけられたという件だ。
公にすると言ったところ「それでキャリアを台無しにしてどうするんだ」と返されたとも主張している。
バックマスターの言い分を読む限り、彼とアルプーゲが未発表のまま進めていた研究の中身に、OpenAI側の研究者かAIエージェントが、OpenAI自身のモデルの利用履歴を通じて触れていた可能性を示唆しているように見えた。

もし本当だとしたら、自分の未発表の仕事をAIツールに預けた結果、そのツールを提供している会社自身に先回りされる、という構図になる。
僕も日々の仕事でAIツールに下書きやコードを読ませているけれど、「まだ人に見せていないもの」を渡すという行為の重みを、この一件で見直した。
ツールを使う・使わないの話ではなく、渡した先が「見るだけの相手」なのか「同じ土俵で競う相手にもなりうる相手」なのか、という区別を自分の中に持っておく必要があると思う。

で、僕はどうするか

うちの会社の仕事でも、お客さんに出す前の見積もりや提案の下書きにAIを使うことはある。
今回の件を見て、公開・納品前の段階で「まだ人に見せていない」情報をAIツールに渡すときは、そのツールを作っている会社自身が競合になりうる種類の情報かどうかを、渡す前に一呼吸おいて考えるようにしようと思う。
技術ブログの下書きくらいなら大きな実害はないけれど、これが独自のアイデアや、まだ公開していない企画だったら話は変わってくる。

証明の中身そのものより功績争いのほうが話題になった、というのもこの件の面白いところだった。
AIが出した結果の価値は、性能の数字だけでなく、それを誰がどう発表し、誰が正当に評価されるかという人間側の仕組みとセットで見ないといけない、という当たり前のことを、あらためて思い出させてくれた一件だった。