InternLM-Math-Plus est un grand modèle linguistique (LLM) open source bilingue (anglais et chinois) de pointe, spécialisé dans le raisonnement mathématique. Il possède la capacité de résoudre, prouver, vérifier et améliorer les problèmes mathématiques. Il affiche des améliorations significatives tant dans le raisonnement mathématique informel (comme les chaînes de pensée et l'explication de code) que formel (comme la traduction et la preuve LEAN 4).