InternLM-Math-Plusは、最新の双言語（英語と中国語）対応のオープンソース大型言語モデル（LLM）であり、数学的推論に特化しており、数学問題の解決、証明、検証、拡張能力を備えています。非公式な数学的推論（思考連鎖やコード解釈など）と公式な数学的推論（LEAN 4への変換と証明など）において顕著な性能向上を実現しています。