Anthropicのエージェント、人間の数学者なしでリーマン予想を前進させる
未公開のAnthropicモデルが60の自律型サブエージェントを通じて650のアイデアを検証し、リーマン予想を前進させた。AIによる科学的真理の発見への転換を示すものだ。
Anthropicは、未発表のモデルが、60のサブエージェントを調整して650の異なる数学的アプローチを生成および検証することで、リーマン予想の下限を改善したことを明らかにした。このシステムは36時間自律的に動作し、$31百万の計算資源を費やして、リーン証明アシスタントを使用する人間の数学者によって検証された証明を生成した。このブレークスルーは、マルチエージェントアーキテクチャが複雑な科学的ワークフローを処理する可能性を浮き彫りにし、数学コミュニティ内で、将来の発見における人間の研究者の役割と帰属に関する懸念を再燃させた。