PulseAugur
中
实时 20:30:02
实体 Olympiad Mathematics

Olympiad Mathematics

PulseAugur coverage of Olympiad Mathematics — every cluster mentioning Olympiad Mathematics across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_247298 ·

    Nemotron 3 Ultra 在数学奥林匹克竞赛中取得金牌级表现

    研究人员开发了一种新颖的方法来生成复杂的奥数竞赛问题的自然语言证明，并在2026年IMO竞赛中取得了金牌级表现。该系统基于经过后训练的Nemotron 3 Ultra检查点构建，无需依赖外部工具或形式化证明器即可迭代地改进候选证明。这个开放模型管道包括专门的检查点、训练数据和一个新的基准，展示了大型语言模型在高级数学推理方面的潜力。