アーカイブ — US — techcrunch
未発表のAnthropicモデルが数学の最大の未解決問題の一つで進展を達成
Anthropicの未公開のモデルが、数学の未解決問題であるリーマン予想の下限解を増やすことに成功しました。31百万の出力トークンを使って650のアイデアをテストし、経験の浅いスタッフがリードしました。このブレークスルーにより、数学的発見におけるAIの役割と、作者性や数学におけるAIの役割についての議論が再燃しました。
要点
- リーマン予想は150年以上も未解決の問題となっています。
- リーマン予想の一般的な証明に対して100万ドルの懸賞金が提供されています。
- アンソロピックの未公開モデルは重要な進展を遂げ、潜在的な解の下限を向上させました。
- 数学の訓練が限られているアンソロピックの従業員が、モデルの努力を60人のサブエージェントと協力して、証明プロセスを開始しました。
- このモデルは650のアイデアをテストし、研究をサポートするために3100万の出力トークンを生成しました。
- 60人のサブエージェントのうち2人が重要な数学的アイデアを提供し、他のメンバーはさまざまなサポート役を果たしました。
- この発見はアンソロピックの数学者によって確認され、オープンソースの証明アシスタントであるLeanが使用されました。
- この出来事は、数学者の間で懸念を引き起こし、伝統的な証明方法への影響について議論を呼んでいます。
なぜ重要か
- 2025年には、AIや機械学習技術が科学研究にさらに統合されると予想されています。
- 現在進行中のAIの倫理に関する議論は、特に学術分野でますます relevance are gaining。
- これまでのAIの進化は数学の問題を解決する能力を示し、研究における著者の帰属について見直す契機となりました。
アンソプロピック・モデルによるリーマン予想の進展は、数学の前進における人工知能の可能性を示す一方、研究における人工知能の進化する役割や作者についての重要な議論を巻き起こしました。