Advancing Mathematics Research with AI-Driven Formal Proof Search. - George Tsoukalas; Anton Kovsharov; Sergey Shirobokov; Anja Surina; Moritz Firsching; Gergely Bérczi; Francisco J. R. Ruiz; Arun Suggala; Adam Zsolt Wagner; Eric Wieser; Lei Yu; Aja Huang; et al. (CoRR, 2026)