InternLM-Math-Plus é um modelo de linguagem grande (LLM) de código aberto bilíngue (inglês e chinês) de última geração, focado em raciocínio matemático, com capacidades para resolver, provar, verificar e aprimorar problemas matemáticos. Apresenta melhorias significativas tanto no raciocínio matemático informal (como cadeias de pensamento e explicações de código) quanto no formal (como tradução e prova LEAN 4).