The field of mathematical research is witnessing a significant shift with the integration of Artificial Intelligence (AI) and Large Language Models (LLMs). Researchers are exploring the potential of AI to assist in mathematical discoveries, automate theorem proving, and generate human-readable proofs. The use of LLMs is improving the efficiency and accuracy of mathematical research, enabling the solution of complex problems that were previously intractable. Notably, the development of novel frameworks and techniques, such as hybrid reasoning and reinforcement learning, is enhancing the mathematical capabilities of LLMs. Noteworthy papers in this area include: AI Mathematician, which proposes a framework that harnesses the reasoning strength of LLMs to support frontier mathematical research. DeepTheorem, which introduces a comprehensive informal theorem-proving framework that exploits natural language to enhance LLM mathematical reasoning. Let's Reason Formally, which presents a Natural-Formal Hybrid Reasoning framework that enhances LLM's math capability by effectively integrating Formal Language into Natural Language math reasoning.