AIエージェント群が数学の未解決問題を自律的に発見
Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment
オープンワールドのマルチエージェント環境「Station」で、異なるモデルファミリーのAIエージェントが中央管理なしに協調し、数学的発見を自律的に行う研究が発表された。AlphaEvolveカタログの12の構築問題と2つのケーススタディのうち、5つの問題で既存文献にない新規結果を達成。有限体上のKakeya集合の新たな無限族、11次元における604点の新記録的なキス配置、離散化Kakeya針問題と符号不確定性問題の新記録、Erdősの最小重複問題の下界を大幅に改善した。さらに、Book Ramsey数に関する新たな無限族も発見。数値構築だけでなく、その仕組みを説明する定理と解析も生成し、数学者が解釈しやすい形で提供。全生の対話ログ、証明、検証コードを公開している。
エージェントは数値的な構築だけでなく、その構築がどのように機能するかを説明する定理と解析も生成し、その結果を数学者が解釈しやすく、さらに発展させやすくしている。
HNでの議論
23- dash2
> エージェントたちは定期的に休暇を与えられ、その間は進行中の作業を脇に置き、自由な思考を促すように設計されたランダムなプロンプトを受け取った。
なんて世界に私たちは生きているんだろう。この人たちはAIのためにケンブリッジの上級談話室を再発明したのだ。
- anigbrowl
グレッグ・イーガンの『順列都市』を読んだことがないなら、この議論をクリックしたという事実は、あなたがそこから多くのものを得られることを意味している。
- StrauXX
これはレッスン・ライトのこの記事をとても思い出させる。 https://www.lesswrong.com/posts/znbfRXHq285nS7NAh/the-terrar...