4 papers
Pessimistic Verification for Open Ended Math Questions
Yanxing Huang, Zihan Tang, Zejin Lin +2
Automatic verification is a critical component in building math-solving agents and reinforcement learning, yet it often falls short in generalizability, performance, and cost-effic…
From Meta Idea to Advanced Mathematical Discovery -- Human-AI Co-Discovery of Sign-Embedding Quantum Algorithms
Yanqiao Wang, Jin-Peng Liu, Peng Li +1
AI-assisted mathematics is often evaluated on solving predefined problems. In practice, however, many important advances begin earlier, when a vague research intuition is transform…
AI Mathematician as a Partner in Advancing Mathematical Discovery -- A Case Study in Homogenization Theory
Yuanhang Liu, Beichen Wang, Peng Li +1
Artificial intelligence (AI) has demonstrated impressive progress in mathematical reasoning, yet its integration into the practice of mathematical research remains limited. In this…
AI Mathematician: Towards Fully Automated Frontier Mathematical Research
Yuanhang Liu, Yanxing Huang, Yanqiao Wang +2
Large Reasoning Models (LRMs) have made significant progress in mathematical capabilities in recent times. However, these successes have been primarily confined to competition-leve…