How do people get LLM to solve math problems

A user on Reddit is curious about how Large Language Models (LLMs) are being used to solve complex math problems, citing recent reports of LLMs assisting with the Navier-Stokes problem and a Chinese doctor solving Crouzeix’s problem. They are asking if these achievements involve workflows, multi-agent systems, or combinations with other tools, or if a fundamentally different approach is being used. The user hopes to apply this knowledge to re-learn Stochastic Calculus.