nvidia/Nemotron-3-Labs-Ultra-Math-RL

NVIDIA released Nemotron-3-Labs-Ultra-Math-RL, a 550B decoder‑only transformer specialized for mathematical reasoning and proof verification. The Hugging Face page lists the model, license, and links to the technical report documenting its gold‑medal IMO 2026 performance. Developers can load the weights via NVIDIA NeMo tools.