Nvidia Releases Full Recipe Behind IMO Gold-Medal AI Math System

Nvidia published a paper on arXiv on September 9, 2026, detailing how its Nemotron-based system scored 30 out of 42 points at the 2026 International Mathematical Olympiad, surpassing the gold-medal threshold of 29. An informal post-competition review of additional proofs raised the score further to 33 points. Unlike rival approaches such as AlphaProof and DeepSeekProver, the system relies entirely on natural-language proofs without formal verification tools or internet access. It uses an iterative pipeline of three specialized model checkpoints — trained via supervised fine-tuning and reinforcement learning — to generate, critique, revise, and select proofs. Nvidia chose to publish the full methodology openly, though the paper itself acknowledges that its natural-language verifier can occasionally accept flawed arguments.