Autonomous Mathematical Discovery in Multi-Agent Environments

A new arxiv paper presents a multi-agent AI framework that autonomously discovers mathematical results in open-world settings without being given specific target problems. Agents with distinct roles propose, verify, and generalize conjectures, producing novel findings in combinatorics and number theory. The work is among the first to demonstrate fully autonomous mathematical discovery at scale.