build1 publisher
A unanimous verifier panel gates every proof in Nvidia's IMO gold recipe
Nvidia's Nemotron scored 30 of 42 at IMO 2026 writing proofs in ordinary prose, and the September 9 paper publishes the data, the code and the acceptance rule that decided which candidate proofs survived.
Publishers:dev.to
Reality
- Evidence36
- Adoption22
- Hype gap+12
- Incentives62
- Confidence40