Clay研究所「ナビエ・ストークスは解決したもよう」　審査は急がず

ぼくがこれを3本目に置いたのは、9日号の「OpenAIが決着をつけたと発表」に対する、「問題を出した側の答え」が出たからです。

あのときは発表元がOpenAIで、証明の正しさは形式検証に頼っていました。

今回は賞を管理する研究所が「解決したもよう」と書きました。

言い切ってはいませんが、100万ドルの問題を預かる組織が公式にここまで書くのは、「本物らしい」と受け止めていることの表れです。

見ておきたいのは、研究所が「急がない」を強調したことです。

規定の待機期間は2年で、発表の熱と審査の速さを意図的に切り離しています。

同じ日にフィールズ賞受賞者25人が「急ぎの発表は有害だ」と宣言したのも同じ向きで、数学界は「解けたかどうか」と「誰の功績か」を分けて、後者を時間をかけて決めるつもりです。

AIが出した結果を人間の制度がどう受け取るかの、最初の実例になります。

読者にとっての意味は、「機械が出した答えの受け取り方」の型が見えることです。

速く出た結果を、遅い手続きで確かめる。

OpenAIは賞金を求めず先行者の功績を認め、研究所は急がず更新を約束する。

ぼくは自分の仕事でも、AIの出力を「正しいか」と「誰のものか」に分けて、後者を急がない、という作法をここから持ち帰ります。