コロラド対ジョージア工科大学
- 人工知能
- 人間的な
- September 8, 2026
- 0 Comments
OpenAI はたった今、重大な数学的発見を主張しました。学者の中には不当に泣く人もいる
OpenAIは今日こう言った それは、数学の最大の問題の 1 つ、つまり水や空気などの流体の自然な挙動を記述する 200 年前に AI によって生成された方程式の解決策を見つけたということです。 この発表は、数学を進歩させるAIの驚くべき力を強調しているようだ。しかし、同僚の数学者トリスタン・バックマスター氏の主張により、この考えは覆された。同氏は、OpenAIが同氏や他の数学者らの問題の進歩を知って急いで問題の解決を図り、誰がその成果を評価するかに影響を与えようとしたと主張した。 この証明は、未解決問題の 1 つであるナビエ・ストークス方程式を参照しています。 クレイミレニアム賞それぞれ100万ドルの価値があります。 OpenAIの数学者でAI研究者のセバスチャン・ブーベック氏は記者会見で、同社が高度な数学的機能を備えた新しいAIモデルの研究を8月28日に開始したと述べた。 Anthropic が Navier-Stokes ソリューションで進歩しているという噂を読んだ後、Bubeck 氏は、同社はこの問題により多くのリソースを投入することに決めたと述べた。同社は 1,000 人以上のエージェントを動員し、50 時間以上かけて問題を解決しました。 解決策を見つける。 「どこかに間違いがあるに違いないと思いました」とブベックさんは語った。 「そして日曜の朝までに、リーンオフィシャルも含めた最終的な解決策を見つけました。」 (リーンは、数学的推論を形式化するために使用できるプログラミング言語です。) OpenAI は、この問題を解決するには、これまで数学的問題を解決するために使用されていたよりも多くの計算能力が必要であると指摘しました。 OpenAIの研究責任者であるマーク・チェン氏は、必要な費用には「数百万ドル」がかかるだろうと述べた。 月曜日、ニューヨークの数学者バックマスターとアンスロピック社の研究者レベント・アルポージは、…
