AI共同数学者：エージェントAIによる数学者支援

研究者らは、数学者が対話的にAIエージェントを活用して自由研究を進めるためのワークベンチ「AI共同数学者」を発表した。このシステムは、アイデア出し、文献検索、計算探索、定理証明、理論構築を非同期・ステートフルなワークスペースで支援する。初期テストでは、未解決問題の解決、新たな研究方向の特定、見落とされていた文献の発見に貢献した。また、FrontierMath Tier 4で48%のスコアを達成し、AIシステム中で最高記録を更新した。