一括公開から1か月足らずで、OpenAIは 数百件の原稿の一括公開 に続いて、長年未解決だった数学の問いに対する解を含むとされる内容とともに再登場した。今回は 数学、コンピュータ科学、物理学におけるさらに3つの「重大な」発見である。今回異なるのは、OpenAIが「シェパード」と呼ぶ外部専門家にコンピュータ科学と物理学の結果の指導を委ねた点であり、数学の問題については、研究者たちが自らの解釈を検証できるようAIの出力を公開するよう助言を受けたとしている。
ユークリッド波動方程式に対する局所平滑化。この証明は補助的な偏微分方程式を用いて、空間次元が2以上のすべての次元における波に対するSoggeの局所平滑化を確立する。また、予想された範囲の内部全体にわたって、Kakeya maximal問題および次元予想、そしてSteinの球面制限評価も導く。10月6日の公開時と同様に、モデルの出力をそのまま公開する。
指数時間仮説は偽である。この論文は、固定幅CNF論理式の充足割り当てを部分指数時間かつ多項式空間で正確に数え上げる決定的アルゴリズムを与える。3-SATの場合は指数時間仮説を反駁する。Russell Impagliazzo、Ramamohan Paturi、Ryan Williamsが率いるコンピュータ科学者の独立した作業部会が、この証明を検証・解説する。部会の要請により、他の人々も検証できるよう資料を直ちに公開する。
このアプローチにはそれ自体に問題がある可能性があることを会社は認めており、 OpenAIが結成した数学助言者のAGMAIパネル は つ昨日、 「AI企業にはこうした慣行を採用しないことを推奨する」と述べた。同パネルは、不平等なアクセス、名声の借用、偏った選定などを問題点のいくつかとして挙げた。代わりに、今後のAI研究所は、学術リポジトリ上で出力を公開し、Leanで形式化された証明、問題がどのように選ばれたかに関する情報、結果の理解に取り組む人々への資金提供、その他の情報を提供すべきだと勧告した。
関連記事
物理学に関する情報はまだ完全には公開されていないが、「ゲージ場とフェルミオンを含む4次元の相互作用する場の量子論、量子色力学(QCD)および素粒子標準模型の統一的完成を含む、一定の理論に対する数学的に厳密な存在証明」であるという。OpenAIによれば、「David Grossが、Michael Douglas、Arthur Jaffe、Igor Klebanov、Nikita Nekrasovを含むグループを率い、この研究を指導する」。
コンピュータ科学における協働は、広く真実と信じられてきた 指数時間仮説(ETH)が実際には偽であることを証明するとされる。OpenAIは、この結果の検証は3人の専門家からなるグループによって指導されると述べている。そのグループには、1999年にこの仮説を当初提案したグループのメンバーでもあるUC San DiegoのRussell ImpagliazzoとRamamohan Paturi、さらにMIT教授の 1999年、そしてMIT教授 Ryan Williamsが含まれる。グループは、AI出力の論文とLean証明を 本日GitHubで公開することを決めた.
彼らはまた、この主張をどのように検証するか、またAI生成のブレークスルーへの対処の規範をどのように定めるかについての意見を求める公開書簡を コミュニティに公開した コミュニティに対し、この主張をどのように検証すべきか、またAI生成のブレークスルーに対処する際の規範をどう設定すべきかについて意見を求めたところ:
われわれは、より広範な3つの問いについての議論を歓迎する:
AIによる生成結果への早期アクセス、利益相反の開示、そしてその後の研究のための未発表資料の利用には、どのような期待が妥当であるべきでしょうか。
功績の評価は、新たな発見と、それを検証・修正・単純化・説明・拡張する作業の両方をどのように認識すべきでしょうか。
手法や研究の方向性が変化していく中で、結果を疑い新しいアイデアを生み出すために必要な理解力と判断力を保ちながら、学生や研究者をどのように支援できるでしょうか。
があります 数学のブレークスルーについても同様のドキュメントがあり 、そこではモデルが「あらゆる次元における局所平滑化予想の証明を生成し、それによってすべての次元におけるKakeya予想とSteinの制限定理の予想も解決した」とされています。ほんの数か月前、NYU教授のHong Wangは、3次元におけるKakeya予想を解決したことにより、国際数学連合から権威あるフィールズ賞を 授与されました 。トピックと著者を
フォローすると 、パーソナライズされたホームページのフィードでこのような記事をさらに表示したり、メールによる最新情報を受け取ったりできます。