NVIDIA has published an end-to-end open recipe for natural-language olympiad proof generation that reached the gold-medal threshold at IMO 2026, scoring 30 out of 42 points. The headline result is not the score itself — several closed systems have now cleared gold — but that the entire pipeline is reproducible. Starting from Nemotron 3 Ultra, the team trains two specialist checkpoints with supervised fine-tuning and reinforcement learning, then studies how checkpoint choice, verification, and refinement each contribute to final performance.
The system operates entirely in natural language. There is no formal prover in the loop, no Lean or Isabelle backend, no external tool use, and no internet access. Three Nemotron 3 Ultra checkpoints — the general-availability model plus the two post-trained specialists — power an iterative search that generates candidate proofs, verifies them, and refines them. A separate high-compute stage then selects the final submission for each problem. This is a test-time-compute story as much as a post-training story: the paper's contribution is the demonstration that the search, verification, and selection scaffolding around an open model can carry it to a medal threshold that the base checkpoint does not reach alone.
What makes the release consequential for practitioners is the completeness of what shipped alongside the paper. NVIDIA released both post-trained checkpoints, the training data, the training and inference code, and the actual solutions submitted to the competition. They also released Nemotron-IMO-Bench, a new benchmark of 200 novel olympiad-level problems, which addresses the contamination worry that shadows every olympiad result — that the model has seen the problems, or close relatives of them, during pretraining. A held-out benchmark authored specifically for this purpose lets other groups measure their own systems against the same bar.
The broader significance is the closing gap between open and closed reasoning systems on the hardest available mathematical benchmarks, and the fact that this instance of it is auditable. Gold-medal olympiad performance has functioned as a demonstration that frontier labs cite and outsiders cannot check. A fully open pipeline that reaches the same threshold turns that demonstration into a baseline others can attack, replicate, or falsify. The caveat worth holding is that the pipeline leans on a high-compute selection stage, so the result reflects both the post-training work and a substantial test-time budget; the paper's own ablations are the place to look for how those two contributions separate.
- Hugging Face Daily Papers and AK's feed both surfaced it as the day's lead paper, emphasizing the open checkpoint and data release over the score.