InternLM-Math-Plus एक नवीनतम द्विभाषीय (अंग्रेजी और चीनी) ओपन सोर्स विशाल भाषा मॉडल (LLM) है, जो गणितीय तर्क पर केंद्रित है, जिसमें गणितीय समस्याओं को हल करने, सिद्ध करने, सत्यापित करने और बेहतर बनाने की क्षमता है। यह अनौपचारिक गणितीय तर्क (जैसे, थिंकिंग चेन और कोड व्याख्या) और औपचारिक गणितीय तर्क (जैसे, LEAN 4 अनुवाद और प्रमाण) दोनों में उल्लेखनीय प्रदर्शन सुधार दिखाता है।