OpenAIによるナビエ・ストークス方程式の解決宣言、倫理的対立の影に隠れる

モデルがミレニアム懸賞問題の形式的証明を生成した

OpenAIは数日前、歴史的なマイルストーンを発表しました。彼らのモデルが初めてミレニアム懸賞問題の1つ、流体の流れを記述するナビエ・ストークス方程式を解決したというのです。これは単なる概算ではなく形式的な証明であり、同社はこれを純粋数学におけるAI関与の歴史の中で最大のブレークスルーであると述べています。

しかし、証明そのものをめぐって直ちに激しいドラマが勃発しました。科学の進歩を純粋に祝うのではなく、モデルが独自に解に到達したのか、それとも公式発表では言及されていなかった人間の介入やプロンプティングの結果として重要なステップが踏まれたのかに焦点が当てられています。

著作権の問題は全く新しい次元を帯びる

これは、研究チームやエンジニアリングチームにとって状況を変化させます。これまでは、トレーニングデータの著作権が問題でした。今、議論はパフォーマンスそのものに移っています。もしAIモデルが1,500万ドルの計算コストで解決不可能な問題を解決したとしても、そのためには人間の数学者による数百時間の正確な誘導が必要だったとしたら、誰がその発見の功績を得るのでしょうか？

この事例は、最も複雑なタスクにおいて「人間を助けるツール」と「ツールを助ける人間」の境界線が完全に曖昧になっていることを示しています。人間の要素が重要であったことが判明した場合、報酬、特許、科学出版物に関する疑問が生じるでしょう。

自律性の主張が専門家の関与を覆い隠す

マーケティング部門は、機械が単独で数学の謎を解き明かしたというストーリーを推進していますが、現実はより冷静なものになりそうです。もしモデルが人間の仮説に対する極めて強力な証明チェッカーとして機能しただけであれば、それは「AIによる解決」ではなく、「AI支援による解決」です。この違いは根本的です。

リスクは、企業が自社のモデルの機能を完全に自律的なものとして売り込むために、「ヒューマン・イン・ザ・ループ」の関与の程度を隠蔽することです。

数学界のスタンスが決定的なものになる

証明は現在、査読（ピアレビュー）を受けています。このケースがOpenAIの勝利として歴史に残るのか、それとも高価で倫理的に疑わしい実験として歴史に残るのかは、独立した数学者が証明とその起源にどのように対応するかにかかっています。

私たちが最も注意深く観察すべきなのは、解を導き出したプロセス全体とインタラクションの正確なログを、OpenAIがどれだけ早く、進んで公開するかということです。

Lilithの判定

これはもはや、誰かが他人のテキストからインスピレーションを得たかどうかについての議論ではありません。モデルを1500万ドルの結果に導いたプロンプトを制御する者が、キーボードでEnterキーを押した者ではなく、ノーベル賞に対する権力を握っているのです。