NVIDIA releases Nemotron-3-Labs-Ultra-Math-RL for mathematical proof reasoning
Original titlenvidia/Nemotron-3-Labs-Ultra-Math-RL
NVIDIA has published Nemotron-3-Labs-Ultra-Math-RL on Hugging Face, a 550B total, 55B active parameter model for solving difficult math problems and identifying proof mistakes.
The model is part of an ensemble that reached gold-medal level at the International Mathematical Olympiad 2026, and it is available for commercial and non-commercial use under the OpenMDW-1.1 license.
Deployment is designed for NVIDIA Blackwell or Hopper GPUs, with a recommended minimum of 8× B200 on a single node and a context length of up to 1M tokens.
The release details the model's math-proof role, its 550B total and 55B active parameters, and its vLLM deployment requirements for teams weighing adoption.
Source: NVIDIA · new models on Hugging Face · huggingface.coPublished · added here