LLM

Mathematics is the crystallization of human intelligence, occupying a central position in the development of civilization. Using artificial intelligence to solve mathematical problems has long been a dream pursued by scientists. Mathematical problems naturally span multiple levels of difficulty—from elementary to high school, undergraduate, and postgraduate levels, up to professional mathematicians—each requiring progressively deeper knowledge and reasoning capabilities. In recent years, the rapid advancement of large language models, especially Large Reasoning Models (LRMs), has significantly enhanced AI’s capability in mathematical problem-solving. However, most existing studies focus on competition-style problems, with few breakthroughs in systematically addressing research-level mathematical challenges. To bridge this gap, our team proposes the AI mathematician system named AIM—short for AI Mathematician, and also meaning Our AIM is AI Mathematician—which aims to usher AI from solving competition-style problems toward tackling authentic mathematical research questions. ...