Towards Autonomous Mathematics Research

ArXi:2602.10177v3 Announce Type: replace-cross Recent advances in foundational models have yielded reasoning systems capable of achieving a gold-medal standard at the International Mathematical Olympiad. The transition from competition-level problem-solving to professional research, however, requires navigating vast literature and constructing long-horizon proofs. In this work, we