Researchers have developed ReasFlow, a system that uses artificial intelligence to assist in scientific discovery in applied mathematics. The system is designed to work with human experts, who act as principal investigators, and can perform tasks such as literature synthesis, algorithm design, theorem proving, experimentation, and manuscript preparation. ReasFlow has been tested on generating five complete research papers and achieved high evaluation scores compared to other systems. The system is publicly available through the ReasLab platform. --- Why it matters: This matters because it shows how AI can be used to assist in scientific discovery, particularly in areas like applied mathematics where rigorous proofs are required. This could potentially accelerate research and make it more efficient. Source: https://arxiv.org/abs/2607.14178