OpenAIのエージェントがナビエ-ストークス方程式を解読、コミュニティはデータマイニングについて議論

エージェントが100万ドルの問題を解決する

OpenAIは、エージェントグループがナビエ-ストークス方程式の解を生成したことで、数学における画期的な進歩を発表しました。この問題は7つのミレニアム懸賞問題の1つであり、解決には100万ドルの報酬が伴います。

発表によると、証明はGPT-6 Astraよりも大幅に機能が高い次世代モデルを使用して作成されました。これは孤立した実験ではなく、自律システムの力を示しています。

成功がトレーニングデータの出所に関する議論を開く

テクノロジーの世界が祝う一方で、アナリストは成功の裏側を指摘しています。Simon Willison氏は、モデルのパフォーマンスを向上させるためにユーザーデータを使用することが実際に何を意味するのかという混乱した問題を浮き彫りにしていると主張しています。

人間によって書かれた膨大な数学論文から画期的な証明を合成できる場合、議論は誰がクレジットと報酬を所有するかに移ります。

数学の会議は合成証明の波に直面する

エージェントがこのレベルで問題を解決できることは、学術機関が査読プロセスを再考する必要があることを意味します。システムがより複雑な証明を生成できる場合、手動検証の現在のモデルは容量の限界に達します。

リスクは、エージェントの内部論理を理解しないと、科学がブラックボックスに依存することです。専門家は結果を検証できますが、プロセスは不透明なままです。

学術出版のルールの変更

本当の影響は数学的証明自体だけでなく、科学界の反応になるでしょう。著名なジャーナルで合成証明がどのように受け入れられるかが決定されます。決定的な要因は、機関がこれらのシステムを共同作成者として認識するかどうかです。

Lilithの判定

最も難しい数学問題の1つを解決しても、方程式自体ではなく、科学データの著作権を弁護士にどのように説明するかに革命をもたらすというのは皮肉なことです。