AI Mathematician: Towards Fully Automated Frontier Mathematical Research. - Yuanhang Liu; Yanxing Huang; Yanqiao Wang; Peng Li; Yang Liu (CoRR, 2025)