AI Mathematician: Towards Fully Automated Frontier Mathematical Research
DGX agentarXiv:2505.22451v2 Announce Type: replace Abstract: Large Reasoning Models (LRMs) have made significant progress in mathematical capabilities in recent times. However, these successes have been primar