Modelo de lenguaje pequeño de 14.000 millones de parámetros especializado en razonamiento complejo, como matemáticas.
¿Por qué importa? Microsoft lo presentó como un modelo pequeño de vanguardia en razonamiento; sus pesos se publicaron en enero de 2025 con licencia MIT.
Disponible en Azure AI Foundry; Pesos abiertos en Hugging Face (licencia MIT) desde enero de 2025.