マルチエージェントAI「コジェンティック」、研究問題の自動証明発見で成果
著者グループは2026年9月30日(現地時間)、オープンな研究問題に対する自動証明発見のためのマルチエージェントシステム「コジェンティック (Cogentic)」を発表した。このシステムは、大規模言語モデルGeminiを基盤モデルとして活用し、オンライン学習、オークション理論、メカニズム設計など、複数の未解決問題において新たな結果を導き出した。コジェンティックは、反復的な証明検証ループを通じて、複数仮説の探求や技術的障害の克服、中間成果の保持といった課題に対応する。