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での議論
39- robotresearcher
これらのシステムを擬人化することについて、私は同時に二つの考えを持っています。
1. 擬人化は減らすべきです。なぜなら、それによってシステムについて適切に考える能力が歪められるからです。これらのプロセスを「思考」「休暇」などと呼ぶことは、読者に、システム内で実際に起こっていることによって正当化されない考えや期待を持ち込ませることになります。
2. 擬人化を続けるのは良いことです。なぜなら、繰り返し使うことで、人々が自分たちの行動に対してだけ特別視したり魔法のように思ったりする傾向（「それは本当に知能/思考/推論/創造性ではない」）が減り、その立場を感情以外で正当化する根拠がないからです。
私は2番目の考えに傾いています。
- dash2
> エージェントには定期的に休暇も与えられ、その間は進行中の作業を脇に置き、オープンエンドな思考を促すために設計されたランダムなプロンプトを受け取った。
なんて世界に生きているんだろう。彼らはAIのためにケンブリッジのシニア・コモン・ルームを再発明したのだ。
- anigbrowl
グレッグ・イーガンの『順列都市』を読んだことがないなら、この議論をクリックしたという事実は、そこから多くのものを得られることを意味している。
- StrauXX
これは、このLWの記事を大いに思い出させます。https://www.lesswrong.com/posts/znbfRXHq285nS7NAh/the-terrar...
- daxfohl
それは刺激的で、振り返ってみると理にかなっています。時には、問題に対する「新鮮な目」がすべてであることがあります。異なる背景を持ち、問題を異なる用語で理解し、異なる角度から取り組める人がいること。その人が実際に作業をする必要すらなく、「それは何かを思い出させるけど...そんな感じのことを試してみることを考えた？」というだけで、同じ考え方で行き詰まっていたチームが前進できることがあります。