NVIDIA's team reports the first AI system to outscore the highest-scoring human contestant on an International Olympiad in Informatics problem set, and the result is unusual in that it was evaluated prospectively rather than retrospectively. The system was run during IOI 2026 under the same time limits, internet-access rules and submission constraints as human contestants, and scored 535.4 out of 600 against a gold threshold of 361.12 and a top human score of 498.27. Competitive programming has become the standard stress test for language model reasoning precisely because problems are novel by construction and scoring is objective, so a live-competition result carries evidence that a benchmark rerun does not.
The pipeline is a fairly conventional specialisation stack executed at scale, which is part of what makes it interesting. It combines large-scale problem curation, synthetic reasoning traces, supervised fine-tuning and reinforcement learning over 22,000 curated problems. Two models were trained: Nemotron-3-Nano-CC, a 30-billion-parameter mixture-of-experts model with 3 billion active, trained with both supervised fine-tuning and reinforcement learning, and Nemotron-3-Ultra-CC at 550 billion total and 55 billion active, trained with supervised fine-tuning alone. The asymmetry is worth noting: reinforcement learning was applied to the small model and not the large one, which suggests the compute economics of the post-training stage still favour spending it where the rollouts are cheap.
The retrospective numbers on IOI 2025 separate the contributions cleanly. Nano-CC starts at 130 points, reaches 291 after post-training, and climbs to 468 with GenCorrect, the paper's feedback-driven test-time compute strategy that iteratively generates, evaluates and refines a diverse set of solutions. That final figure exceeds the 438.3 gold threshold for that year, from a 30-billion-parameter model with 3 billion active. Ultra-CC reaches 502 on the same set. So post-training roughly doubles the base score, and test-time search adds most of the remaining gap to gold, which is the same division of labour that has been showing up across reasoning results for the past two years but rarely with this clean an ablation.
The caveats are the standard ones for competition results and they matter. Specialisation on 22,000 curated competitive programming problems is a narrow target, and nothing here demonstrates that the gains transfer to software engineering work with ambiguous specifications, large existing codebases or no verifier. GenCorrect depends on being able to generate and evaluate candidate solutions against tests, which is exactly the property competitive programming has and most real engineering does not. Still, the prospective evaluation under contest constraints removes the most common objection to results of this kind, and outscoring the top human on a live IOI set is a marker that will be cited for a while.