OpenAIは今日こう言った それは、数学の最大の問題の 1 つ、つまり水や空気などの流体の自然な挙動を記述する 200 年前に AI によって生成された方程式の解決策を見つけたということです。

この発表は、数学を進歩させるAIの驚くべき力を強調しているようだ。しかし、同僚の数学者トリスタン・バックマスター氏の主張により、この考えは覆された。同氏は、OpenAIが同氏や他の数学者らの問題の進歩を知って急いで問題の解決を図り、誰がその成果を評価するかに影響を与えようとしたと主張した。

この証明は、未解決問題の 1 つであるナビエ・ストークス方程式を参照しています。 クレイミレニアム賞それぞれ100万ドルの価値があります。

OpenAIの数学者でAI研究者のセバスチャン・ブーベック氏は記者会見で、同社が高度な数学的機能を備えた新しいAIモデルの研究を8月28日に開始したと述べた。

Anthropic が Navier-Stokes ソリューションで進歩しているという噂を読んだ後、Bubeck 氏は、同社はこの問題により多くのリソースを投入することに決めたと述べた。同社は 1,000 人以上のエージェントを動員し、50 時間以上かけて問題を解決しました。 解決策を見つける。

「どこかに間違いがあるに違いないと思いました」とブベックさんは語った。 「そして日曜の朝までに、リーンオフィシャルも含めた最終的な解決策を見つけました。」 (リーンは、数学的推論を形式化するために使用できるプログラミング言語です。)

OpenAI は、この問題を解決するには、これまで数学的問題を解決するために使用されていたよりも多くの計算能力が必要であると指摘しました。 OpenAIの研究責任者であるマーク・チェン氏は、必要な費用には「数百万ドル」がかかるだろうと述べた。

月曜日、ニューヨークの数学者バックマスターとアンスロピック社の研究者レベント・アルポージは、 公開された文書 ナビエ・ストークス問題に関連する分野での主な進歩を主張しています。二人は、クロードやコーデックスなど、いくつかの AI モデルを使用して作業を行ったと述べています。

バックマスターも投稿しました と主張する声明 先週、彼は、OpenAI が彼と Alpöge の取り組みを認識し、問題の解決に多大なリソースを投入したことを知りました。バックマスター氏は、同社が両社のコーデックスレポートにアクセスできるかどうかをOpenAI幹部に尋ねたと主張している。同氏は、このモデルは「ユーザーデータを求めていない」と言われたと述べているが、同社はこの研究に関する質問には応じなかったと主張している。さらに同氏は、OpenAIがいくつかの「提案」を行ったと述べ、その中にはブックマスターがOpenAIの内部モデルを使ってナビエ・ストークス問題を解決する論文をAlpögeの名前を出さずに出版できるという内容も含まれていたという。

バックマスター、アルポージ、アンスロピックは『WIRED』のコメント要請にすぐには応じていない。

ブベック氏とその他のOpenAI幹部は会見で、コードペアの業務内容を知らせる要求を同社が調査したことはないと否定した。 「研究者であれエージェントであれ、我々は昨夜公表されるまで彼らの研究を全く見ていなかった」と同氏は語った。

「明らかにしておきたいのは、不合理なオイラーに関するレベント・アルポージ氏とトリスタン・バックマスター氏の研究の優先順位を我々が認識しているということです。そして、彼らが達成したこの偉大な成果に対して我々は祝福の言葉しかありません。明確にしておきますが、我々はモデルを呼び出したり、エージェントをガイドしたりするために彼らのプロンプトや議論を利用したわけではありません」とブベック氏は述べた。

OpenAIは本日、Alpöge氏とBuckmaster氏の初期の業績を認めたいと述べた。しかし、同社の数学者であるヴェン・チャンドラセカラン氏も、彼らのソリューションは本質的にOpenAIモデルによって生成されたものとは大きく異なると強調した。

数学における最大の問題の 1 つを解決したと誰が評価されるのかをめぐる議論は、しばらく続いています。 AI がより多くの証拠を見つける作業を引き受けるようになると、この種の遭遇はより一般的になるかもしれません。

これは発展途上の物語です。最新情報を再度ご確認ください。