マルチエージェントシステムによる数学的概念の発見

研究者らは、実験・証明試行・反例生成を組み合わせたマルチエージェントモデルを開発し、数学的概念を自律的に発見するシステムを提案した。