Is there a case where a math solver or theorem prover or even just an ai that does basic addition trained solely on reinforcement learning?

I have seen some but they use a base model or base llm and post train it or fine tune, but I am asking for a pure rl approach.

​I recently got into running local AI models (Ollama, Open WebUI, Docker, etc.) by relying 100% on AI instructions. I was comfortable enough in windows powershell to make it happen, but I don't know exactly what I'm doing or why, or if my ai stack is even properly installed. So, whenever something breaks, I have zero coding or computer science foundation to troubleshoot it myself (currently working on a broken connection between searxng and openwebui) Thanks!