DeepMath: A lightweight math reasoning Agent with smolagentsBy Hugging Face - Blog / December 4, 2025