未発表のAnthropicモデルがリーマン予想で進展

Anthropicは、未発表のモデルが、150年以上にわたって未解決のままとなっている素数に関する有名な問題であるリーマン予想について、大きな進展をもたらしたことを発表しました。数学的な訓練をほとんど受けていないAnthropicのスタッフが、そのモデルに証明を試みるよう促し、その後、1日半にわたってタスクを調整する任に当たらせました。このモデルは、60のサブエージェントにまたがって調整を行い、650の異なるアイデアをテストし、合計3100万トークンを消費しました。そのうちの2つのサブエージェントが主要な数学的アイデアを発展させ、他のものはアイデアを提供したり、新しいものを開発しようとして失敗したり、検証者として機能したり、論文の執筆を支援したりしました。Anthropicの社内の数学者2名がその結果を確認し、証明はオープンソースの証明支援ツールLeanを用いて形式化されました。これは、大規模言語モデルによる一連の数学的ブレークスルーの一部であり、解決されたエルデシュ問題や、OpenAIの「アストラ」モデルによる他の結果、Anthropicによるヤコビ予想の反証などが含まれます。増え続ける研究成果は、興奮と懸念の両方を引き起こしており、一部の数学者は証明の帰属と責任について懸念を抱いていますが、フィールズ賞受賞者のティモシー・ガワーズは、この変化は見た目ほど問題にならないかもしれないと示唆しています。