InternLM-Math-Plus es un modelo de lenguaje grande (LLM) de código abierto y bilingüe (inglés y chino) de última generación, especializado en razonamiento matemático, con capacidad para resolver, demostrar, verificar y mejorar problemas matemáticos. Muestra una mejora significativa en el razonamiento matemático informal (como cadenas de pensamiento y explicaciones de código) y formal (como traducción y demostración LEAN 4).