数学の常識を覆す！オープンワールド環境での自律的な数学的発見

AIが人間のように自律的に数学を探求する時代が到来しました。本作では、オープンワールド型のマルチエージェント環境を利用して、AIがいかにして新しい数学的定理や証明を自律的に発見できるかという画期的なアプローチについて解説されています。

「私たちは『Station』というオープンワールドのマルチエージェント環境において、自律的な数学的発見について研究している。ここでは、異なるモデルファミリーのAIエージェントが、中央集権的なコーディネーターやあらかじめ決められたパイプラインなしで、共通の研究目標を追求する。エージェントは自分たちで研究の方向性を決め、実験を行い、協力し合い、共有の科学文献を構築していく。AlphaEvolveカタログの12の構築問題と2つの追加事例研究全体で、Stationは5つの問題において先行文献に対して新規性のある結果を得た。有限体Kakeya集合の新しい無限族、11次元における新しい正確な604点接触配置、離散化されたKakeya needle問題と符号不確定性問題の新しい記録、そしてErdősの最小オーバーラップ問題における大幅に改善された下界などだ。エージェントはBook Ramsey数の新しい無限族も発見した。重要なのは、エージェントが数値的な構築だけでなく、それらの構築がどのように機能するかを説明する定理や分析も生成したことで、結果の解釈性が高まり、数学者がその上に研究を積み上げやすくなっている点だ。私たちはすべてのアージェント対話、証明、検証コードを公開し、これらの発見がどのように生まれたかについての透明な記録を提供している。」（強調は私）ここ数ヶ月、新しい「有名な問題」が解かれるたびに、「まあそれはそうだけど、新規性のあるものは？新しい発見や独創的な仕事はどうなの？」といったコメントが溢れていた。次は何が出てくるのか楽しみだね。

ヒルベルトの夢も、あながち狂気じみた話じゃなかったのかもな。

LessWrongのこの記事をすごく思い出すよ。https://www.lesswrong.com/posts/znbfRXHq285nS7NAh/the-terrarium

数学と科学のためのAIは、いよいよ本物になってきたな！

「エージェントには定期的に休暇が与えられ、その間は進行中の作業を中断し、自由な発想を促すためのランダムなプロンプトを受け取っていた。」なんて時代だ。AIのためにケンブリッジ大学のシニア・コモンルームを再発明したようなもんだな。

鍵はレビューのループだよ。異なるモデルがお互いの仕事を批判し合って、合意に至る。対立と創造、この2本の柱が必要なんだ。

グレッグ・イーガンの『順列都市（Permutation City）』をまだ読んでいないなら、この議論をクリックした君ならきっと楽しめるはずだ。

無限の楽しい空間（Infinite Fun Space）だな。