Primary evidence
- InternLM-Math: Open Math Large Language Models Toward Verifiable ReasoningS1 · Primary research · Paper · 2024-02-09
- InternLM-Math models, evaluation code and formal-math resourcesS1 · Primary research · Repository
InternLM-Math unifies informal, tool-assisted and formal mathematical reasoning
The project encodes reasoning, reward modeling, formal tasks, data augmentation and code-interpreter behavior in a unified sequence-to-sequence format.
What happened?
InternLM-Math reported open-source state-of-the-art results across several math benchmarks and a 30.3% miniF2F score from its pretrained model without theorem-proving fine-tuning.
Why it matters
It represented a move toward general-purpose mathematical models that can switch between natural language, code and proof-assistant interfaces.
Significance rationale: InternLM-Math explored a single open model family spanning chain-of-thought, verification, code assistance and Lean theorem proving.
Historical context
Earlier developments
Later developments
—
Related milestones
—
Evidence & status at a glance
- Significance
- H2 · Field milestone
- Verification
- Paper released
- Evidence level
- E3 · Inspectable artifact
- AI role
- Computation only
- Formal assurance
- Artifact available
Contribution & verification
- Mathematical novelty
- Benchmark result
- Interface
- Informal, Formal, Symbolic, Numeric, Hybrid
- AI contribution
- The model acts as reasoner, verifier, prover and data augmenter across several interfaces.
- Human contribution
- Researchers unified the training tasks, curated data and open-sourced models, code and data.
- Verification
- Paper released · E3 · Inspectable artifact · Artifact available
- Last reviewed
- 2026-09-11
Technical details
- Systems
- internlm-math
- Organizations
- shanghai-ai-laboratory
- Problems
- minif2f, math-benchmark
- Methods
- multi-task-learning, code-interpreter, formal-reasoning
Sources & artifacts
- InternLM-Math: Open Math Large Language Models Toward Verifiable ReasoningS1 · Primary research · Paper · accessed 2026-09-10
- InternLM-Math models, evaluation code and formal-math resourcesS1 · Primary research · Repository · accessed 2026-09-11
- InternLM-Math models and evaluation resourcesArtifact · Code
Verification history
- 2024-02-09 · Paper released · E2 · Research record
The Chronicle records this event from the cited primary or official source; the status does not imply independent Chronicle verification.
- 2026-09-11 · Paper released · E3 · Inspectable artifact
This corpus refresh added a directly inspectable public artifact maintained by the authors or releasing organization. E3 records artifact-level inspectability and does not imply independent verification of the underlying scientific or mathematical claim.
Corrections
No corrections recorded.