Cardano(ADA)創業者Hoskinson氏、OpenAIの88時間Navier–Stokes証明主張を評す

AIの数学的飛躍をHoskinson氏が語る

Cardano(ADA)の創業者Charles Hoskinson氏は9月9日、人工知能が形式数学の分野で自身が公に予想していた水準をはるかに超えて前進したとの見解を示した。発言のきっかけは、OpenAIが社内システムでNavier–Stokes方程式――数学における最も有名な未解決問題の一つで、ミレニアム懸賞問題に指定されている――の解を導き出したと主張したことへの評価だ。同氏はYouTube配信の中で、実証された能力を「かなり驚異的」としつつも、形式体系への当初の構想ははるかに控えめだったと強調した。想定していたのは、数学者の大規模チームが協働し、人間が書いた証明を検証するための道具であり、AIが証明そのものを丸ごと生成することではなかったという。「AIがここまで踏み込んでくるとは予想していなかった」と同氏は述べ、AIが証明を完全に書き上げるという発想は以前は「かなり突飛」に見えたと付け加えた。創業者自身がこの分野に直接の関わりを持つ。2021年にはカーネギーメロン大学に2,000万ドルを寄付し、Hoskinson Center for Formal Mathematicsを設立した。今回の発言は、Cardanoエコシステム全体での実験の流れ――通信周辺のAIエージェント開発や、プライバシー特化のMidnightサイドチェーンなど――をさらに広げるものといえる。

OpenAIの10,000エージェントによる証明挑戦

議論の中心にある主張は、OpenAI自身が9月8日に発表した研究発表によるものだ。同社によれば、社内モデルが約10,000のエージェントを調整し、合計88時間の作業を経て解の候補を生成。その後、GPT-6 Astraとされるシステムがさらに17時間をかけ、証明支援システムLeanで議論を形式化・検証した。Leanは証明の各ステップを機械が検証可能な形で確認できるツールだ。証明は、滑らかな定常流体が滑らかな外力の下で有限時間内に特異点を発達させうることを示す試みで、OpenAIは公式なミレニアム懸賞問題の定式化のうちCとDの命題を満たすとしている。特筆すべきは、同社が付属の100万ドルの賞金を追求する計画がないと明言した点だ。認定も即時には行われない。Clay Mathematics Instituteの規則では、解は要件を満たす出版物に掲載されたうえで、少なくとも2年間生存し、世界の数学コミュニティから幅広く受け入れられて初めて「解決」と認定される。Clayのサイトは現在もNavier–Stokesを未解決に分類しており、OpenAIの結果はあくまで「主張された解」であり、認められた解ではない。

出所を巡る論争とプライバシーへの警告

この発表はまた、ニューヨーク大学の数学者Tristan Buckmaster氏とAnthropicの研究者Levent Alpöge氏を巻き込む出所論争も引き起こした。両氏は類似の外力アプローチを用い、関連するオイラー方程式の結果に取り組んでいた。Buckmaster氏は、非公開の研究がOpenAIのCodexシステムに入力され、同社の結果に反映された可能性がないかを疑問視した。ただし不正を直接告発したわけではなく、「我々のデータが使われたかどうかは分からない」と述べるにとどまった。OpenAIは両氏の研究そのものにはアクセスしていないと否定し、証明は独自に開発されたと主張。その一方で、識別情報を除去した製品利用データがモデルの改良に寄与した可能性を完全には排除できないと認めた。Hoskinson氏はこの一連の騒動を、未発表の研究を扱うすべての人への警告として捉えた。研究者や起業家がメモ、プロンプト、研究ログを中央集権型のクラウドAIサービスに投入すれば、そのアイデアの管理権を丸ごと失いかねないという。同氏は、機密性の高い知的財産を中央集権的な提供者にさらすことなく、強力なモデルを私的な環境の中で使えるべきだと主張した。「クラウド上のフロンティアモデルにAI経由でアイデアを共有すれば、もはやそれはあなたのアイデアではない」。 市場をリアルタイムで追いたい読者は、Bybitで現物・先物価格をライブで確認できる。

形式検証とブロックチェーンの交差点

OpenAIの技術発表とClay Mathematics Instituteが公開している認定規則の全記録を踏まえた当メディアの読解はこうだ。この物語の本質は「解かれた問題」ではなく、検証の文化と速度の文化の衝突にある。Cardanoが評価を築いてきたProof of Stakeの世界は、Leanによる形式化が体現する規律と同じ土台の上で動いている。主張が意味を持つのは、独立した機械検証可能な確認が済んだ後だけだ。専門家による論文の審査が完了し、Clayの数年にわたる受容期間が消化されるまで、これは主張された結果にとどまる。それでも、この一連の出来事はHoskinson氏が2021年から資金を投じてきた形式的手法のテーゼを裏付けるものだ。AIインフラの見直しをすでに公に模索する創業者にとって、プライバシーの次元こそがより長く残る教訓になるかもしれない。