InternLM-Math-Plus ist ein neuartiges, zweisprachiges (Englisch und Chinesisch) Open-Source-Sprachmodell (LLM), das sich auf mathematisches Schließen konzentriert und die Fähigkeit besitzt, mathematische Probleme zu lösen, zu beweisen, zu verifizieren und zu erweitern. Es zeigt eine deutliche Leistungsverbesserung sowohl im informellen mathematischen Schließen (z. B. Gedankenketten und Codeerklärungen) als auch im formalen mathematischen Schließen (z. B. LEAN 4-Übersetzung und -Beweise).