Microsoft says with rStar-Math, it has demonstrated that small language models (SLMs) can rival or even surpass the math reasoning capability of OpenAI o1.