OpenAI、内部AIが数学論文722本を公開 372系統の成果、未検証結果も
OpenAIは10月6日、未公開の内部フロンティアモデルが生成した数学研究成果を公開した。公開先のGitHub「openai/math」には722本の論文が収録され、関連する成果をまとめた372の「result family」に分類されている。OpenAIによると、モデルには約4,000問の研究問題を与え、1成果あたり平均でChatGPT ProのThinking約3時間分に相当する計算資源を使用した。
722本の論文とLeanによる検証資料を公開
リポジトリには論文だけでなく、証明をコンピューターで検査できるLean形式化や、モデルの推論を短くまとめた10件の要約、改訂・引用のための手順も含まれる。成果は数論、代数幾何、理論計算機科学、確率論、数理物理など幅広い分野に及ぶ。カタログには「quasi-Riemann hypothesis」として、Dirichlet L関数などの零点が存在しない領域に関する結果も掲載されているが、これはリーマン予想そのものの証明ではない。
OpenAI自身も「未形式化結果には問題の可能性」と明記
公開された722本すべてが同じ検証段階にあるわけではない。OpenAIはREADMEで、すべての成果にLean形式化が付いているわけではなく、未形式化の結果には問題が含まれる可能性があると明記している。今後も形式化を追加し、問題が見つかった場合は修正するとしている。このため、今回の公開は「722件の数学問題が確定的に解決された」と受け取るのではなく、AIが生成した大規模な研究成果群が公開され、数学コミュニティによる検証が進む段階と見る必要がある。
OpenAIはInstitute for Advanced Studyの独立した数学・AI諮問グループと協議しながら公開方法を検討したとしており、将来は今回のモデル自体を責任ある形で公開する方針も示した。AIによる研究成果の生成速度だけでなく、人間による理解や外部検証、形式証明をどのように組み合わせるかも今後の焦点となる。
みんなの反応
31件全31件を表示しています
722本のプレプリントが、私の読み方が合っていればさまざまな検証段階にある
100本くらいの証明を一気に出すのかと思ってた。722本は狂ってる
quasi-Riemann hypothesisは大きな成果だ
HTP(Q) 😶
Flint Hills seriesの収束。Artinの原始根予想も証明
完全なArtinの原始根予想ではない。でもOpenAIがやったことはもちろん驚くべき結果
quasi-RHってなぜそんなに大きいの？
これは誇張に見える。とてつもなく大きな結果だけど、200年間で最大の解析的整数論の成果とまでは言えない
数学的シンギュラリティが来た。これはヤバい
quasi-Riemann hypothesis？ holy fucking shitな結果だ。他に言いようがない
Millennium問題を直接さらに解いたわけではないけど、それでも大きな進展
数論の院生と一緒にいた時にこれが出て、quasi-Riemann hypothesisを見てそいつは気絶しかけてた
なんという公開だ。数学はいま面白い場所にいる
明らかに俺のチャットログを盗んだな
WHAT.
たった1週間で自分の分野の主要問題が3つ解かれた。関連するプレプリントを2本準備してたのに、fuck
平均で各成果にChatGPT Pro Thinking 3時間分って。狂ってる
狂ってるって、少ないって意味？多いって意味？
少ない
1日に昼飯の前後で未発見の数学証明を1本ずつ片付けて、それでも2時間遊べると想像してみて
本当にとんでもない時代
事前にどれが解けるか分かってた場合にしかそうはならないけどね
これはシンギュラリティが近いことを示す最高の証拠だ
r/mathのメガスレではみんな大騒ぎしてる（しかも良い意味で）
半分、あるいは主要なものの一部だけでも正しければ、これは巨大な証明公開だ
最初のKohn-Sham論文の定理が「D = 10^200 とする…」で始まる。Uh.. ok?
ああ、Kohn-Sham DFTを壊すには、まず水素原子を2つ用意して10^190メートル離すのか。全部読む気はない
wow!!! this is crazy
Move 37、またか。Mindblowing.
「フロンティアLLMが物理、生化学、材料科学、数学で大きなブレークスルーを出す」が毎週になるまであとどれくらい😭 そんなに遠く感じない
生きててすごい時代だ
一致する反応はありません。
あなたはどう思う？
コメントは投稿後すぐに公開されます。個人情報や不適切な内容は投稿しないでください。
コメント
まだコメントはありません。