英伟达开源 IMO 金牌配方：不仅是「人海战术」，1.5TB 显存做实 AI「 推恩令」？
Ranking
Overall
75
Content
85
Popularity
53
Observed public metrics from 1 member.
Merged summary
TL;DR - NVIDIA open-sourced much of the Nemotron 3 Ultra system that scored 30/42—above the 2026 IMO gold-medal threshold—using natural-language proofs and no external tools. The release exposes a powerful multi-model search-and-refinement recipe, while highlighting verifier weaknesses and a roughly 1.5 TB memory barrier to reproduction.
- The system combines general, SFT, and RL checkpoints to diversify proof strategies, repair partial solutions, and reduce redundant sampling.
- It starts with 384 proofs per problem, then iteratively verifies, ranks, and refines promising candidates in a persistent proof pool.
- Unanimous multi-checkpoint verification reduces some false acceptances, but shared model ancestry creates correlated blind spots that can approve the same flawed argument.
- NVIDIA released expert checkpoints, training data, inference code, recipes, submitted proofs, and a 200-problem benchmark, though some training artifacts remain closed and full-scale reproduction requires substantial compute.
Sources (1)
英伟达开源 IMO 金牌配方：不仅是「人海战术」，1.5TB 显存做实 AI「 推恩令」？
Public signals
Hugging Face upvotes 43
TL;DR - NVIDIA open-sourced much of the Nemotron 3 Ultra system that scored 30/42—above the 2026 IMO gold-medal threshold—using natural-language proofs and no external tools. The release exposes a powerful multi-model search-and-refinement recipe, while highlighting verifier weaknesses and a roughly 1.5 TB memory barrier to reproduction.
- The system combines general, SFT, and RL checkpoints to diversify proof strategies, repair partial solutions, and reduce redundant sampling.
- It starts with 384 proofs per problem, then iteratively verifies, ranks, and refines promising candidates in a persistent proof pool.
- Unanimous multi-checkpoint verification reduces some false acceptances, but shared model ancestry creates correlated blind spots that can approve the same flawed argument.
- NVIDIA released expert checkpoints, training data, inference code, recipes, submitted proofs, and a 200-problem benchmark, though some training artifacts remain closed and full-scale reproduction requires substantial compute.