An Open Recipe for IMO Gold: Training Nemotron for Olympiad Mathematics

• 类型：arxiv
• 标识：2609.10712
• 链接：https://arxiv.org/abs/2609.10712
• 主分类：engineering
• 形态：method
• 被引：0
• 被引来源：Semantic Scholar + OpenAlex
• S2被引：0
• OpenAlex被引：0
• 影响力被引：0
• TLDR：An open-model test-time-compute pipeline for natural-language proof generation for hard olympiad mathematics that operates entirely in natural language, with no formal prover, external tools, or internet access is presented.
• OpenAlex ID：W7212288147
• OpenAlex DOI：10.48550/arxiv.2609.10712
• DOI：10.48550/arxiv.2609.10712
• DOI来源：OpenAlex
• 开放获取：green
• 开放获取链接：https://arxiv.org/pdf/2609.10712
• OpenAlex更新：2026-09-14
• 待LLM分类：否
• 标题中文：通往 IMO 金牌的开放配方：面向奥林匹克数学的 Nemotron 训练
• TLDR中文：提出一个用于困难奥林匹克数学自然语言证明生成的开放模型测试时计算流水线，完全在自然语言中运行，无需形式化证明器、外部工具或互联网访问。
• 来源文件：
• /inbox/tom/_candidates/2026-09-11-agent-rag-longcontext-candidates.json
• [OpenAlex backfill]
• [S2 enrich]