Nvidia's math AI hit IMO gold with no formal prover

Three Nemotron 3 Ultra checkpoints scored 30 out of 42 on International Mathematical Olympiad-level problems, clearing the gold medal threshold. No formal prover, no tools, no internet access.

Gold-medal math scores like this usually come from closed labs that publish a number and nothing else. Nvidia published the full paper on arXiv along with math SFT and RL checkpoints on Hugging Face, the inference recipe in NeMo-Skills, and a new 200-problem olympiad benchmark. Anyone with the checkpoints can rerun the 30-of-42 result themselves.

The method is a generate-verify-refine loop. The checkpoints pass proposed solutions back and forth, checking and rewriting until one holds up, instead of one model producing a single answer. That's a different bet than a bigger single model on harder problems. It's also cheaper to test, since you can swap in your own checkpoints and rerun the loop end to end.

What the paper doesn't settle is how this generalizes past olympiad math. Competition problems have a specific shape: clean statements, verifiable answers, no ambiguity about what counts as a solution. Whether generate-verify-refine holds up on messier reasoning tasks, the kind without a clean checkable answer, is a question the benchmark can't answer on its own.

The checkpoints, the recipe, and the benchmark are all sitting there for anyone to run.