今回は、OpenAIが結果の公開方法について科学者からの新たな助言を採用していると述べています。
今回は、OpenAIが結果の公開方法について科学者からの新たな助言を採用していると述べています。
長年にわたる数学の未解決問題の解法を含む数百件の原稿を一斉に公開してからわずか1か月も経たないうちに、OpenAIは数学、計算機科学、物理学の分野でさらに3つの「重要な」発見を発表しました。今回異なるのは、計算機科学と物理学の成果について、OpenAIが「羊飼い」と呼ぶ外部の専門家が結果の検証・指導に当たった一方で、数学の問題については、研究者が独自の解説を練り上げられるよう、AIによる出力を公開するよう助言した点です。
OpenAIの成果が本日GitHubに追加されました：ユークリッド波動方程式に対する局所的な滑らかさ。証明では、補助的な偏微分方程式を用いて、空間次元が少なくとも2以上のあらゆる次元において、ソッゲによる波の局所的滑らかさを確立しています。また、この結果は、予想される範囲の内部全域において、カケヤ最大値予想および次元予想、さらにスタインの球面制限推定も導き出します。モデルの出力は、10月6日のリリースと同様に、直接公開しています。指数時間仮説は誤りである。本論文では、固定幅のCNF論理式の充足解を、亜指数時間および多項式空間で正確に数える決定論的アルゴリズムを提示しています。3-SATの場合には、指数時間仮説が反証されます。ラッセル・インパリアッツォ、ラマモハン・パトゥリ、ライアン・ウィリアムズらによる独立した計算機科学者の作業グループが、この証明を検討し、その内容を解説する予定です。同グループの要請に基づき、他の研究者も検討できるよう、当社は資料を直ちに公開いたします。
このアプローチには独自の課題がある可能性があると同社は認めています。そして、OpenAIが設置した数学顧問のAGMAIパネルは昨日、「特定の人々に成果を最初に提供するという慣行は採用しないよう推奨する」と述べました。その理由として、アクセスの不平等、評価の借り上げ、偏った選択といった問題を挙げています。代わりに、今後はAI研究室が学術リポジトリ上で成果を公開し、Lean形式による証明や、問題の選定方法に関する情報、結果の理解に取り組む人々への資金援助などの情報を併せて公表することを推奨しました。
「純粋な狂気」：数学者たちがOpenAIの最新リリースを理解するには、何年もかかるだろう
AIによる数学の支配をめぐるすべての論争
物理学に関する情報は完全には公表されていませんが、これは「ゲージ場とフェルミオンを含む四次元の特定の相互作用する量子場理論の、数学的に厳密な存在証明であり、その中には量子色力学（QCD）や素粒子物理学の標準模型の統一的な完成版も含まれます。」OpenAIによれば、「デイヴィッド・グロスが、マイケル・ダグラス、アーサー・ジャッフェ、イゴール・クレバノフ、ニキータ・ネクラソフらを含むグループを率い、この研究を指導していく予定です。」
このコンピュータサイエンス分野での共同研究は、広く真であると信じられてきた指数時間仮説（ETH）が実際には偽であることを証明したとされています。OpenAIによれば、この結果の検証は、1999年に当初これを提唱したグループに所属していたカリフォルニア大学サンディエゴ校のラッセル・インパリアッツォ氏およびラマモハン・パトゥリ氏、さらにMITのライアン・ウィリアムズ教授を含む3人の専門家からなるチームの指導のもとで行われる予定です。同チームは本日、AIによる成果の記述とLean形式の証明をGitHub上で公開することを決定しました。
彼らはまた、その主張を検証する方法や、AI生成の画期的成果への対応に関する規範の策定について、コミュニティに向けて公開書簡を発表しました：
私たちは、以下の3つのより広範な問いについての議論を歓迎します。AI生成結果への早期アクセス、利益相反の開示、および未発表資料の後続研究への利用については、どのような期待が適切であるべきでしょうか。新たな発見と、それらを検証・修正・簡略化・説明・拡張する作業の両方を、どのようにして正当に評価すべきでしょうか。方法や研究の方向性が変化する中で、結果を疑い、新たなアイデアを生み出すために必要な理解と判断力を維持しつつ、学生や研究者をどのように支援できるでしょうか。
数学の画期的な成果についても同様の文書があり、そのモデルは「あらゆる次元において局所的平滑化予想の証明を導き出し、ひいてはすべての次元でKakeya予想およびSteinの制限予想を解決した」と述べられています。わずか数ヶ月前には、ニューヨーク大学のホン・ワン教授が、3次元におけるKakeya予想の解決により、国際数学会から権威あるフィールズ賞を受賞しました。
リチャード・ロウラー
さらに詳しく：AIによる数学の掌握をめぐるあらゆる論争
最も人気のある
マイクロソフトが6万人の従業員に買収オファーを提示
あるユーチューバーがiPhone Duoを分解し、クラックゲートの原因を見つけたと考えている
Appleが、より大きなOLEDディスプレイを搭載したiPad miniをアップデートしました
ペトロによる福音書（ティール）
r/opensourceは、AIや非英語話者などを禁止しました
これはネイティブ広告のタイトルです