IMO 2026
PulseAugur coverage of IMO 2026 — every cluster mentioning IMO 2026 across labs, papers, and developer communities, ranked by signal.
-
AI模型通过形式化证明和新发现解决未解数学难题
两篇新研究论文探讨了大型语言模型在高级数学推理和发现方面的能力。第一篇论文介绍了Magenta，一个将非正式的自然语言数学问题与Lean 4中形式化、机器可验证的证明联系起来的系统，在奥林匹克竞赛基准测试中取得了完美的准确率，并与K2-Horizon-7B配对解决了六个IMO 2026问题。第二篇论文提出了HorizonMath，一个旨在测试AI进行新颖发现能力的未解数学问题基准，其中GPT-5.4 Pro和GPT-5.6 Sol等模…
-
Nemotron 3 Ultra 在数学奥林匹克竞赛中取得金牌级表现
研究人员开发了一种新颖的方法来生成复杂的奥数竞赛问题的自然语言证明，并在2026年IMO竞赛中取得了金牌级表现。该系统基于经过后训练的Nemotron 3 Ultra检查点构建，无需依赖外部工具或形式化证明器即可迭代地改进候选证明。这个开放模型管道包括专门的检查点、训练数据和一个新的基准，展示了大型语言模型在高级数学推理方面的潜力。
-
LLM在2026年IMO数学问题上的比较；前沿模型领先
对各种大型语言模型（LLM）在2026年国际数学奥林匹克（IMO）问题上的比较显示，Sol和Fable等前沿模型取得了接近满分的成绩，无论使用何种编排工具。Anthropic的Sonnet和Opus模型在没有工具的情况下表现不佳，但在使用特定提供商的工具后有所改善，并使用自定义多智能体工具AutoFyn取得了进一步的提升。即使使用了AutoFyn，这些模型的表现也未能赶上前沿模型。开源模型GLM在没有工具的情况下表现与Sonnet相似…
-
据报道 GPT-5.6 解决了 IMO 2026 的全部 6 道题
一份新报告声称，GPT-5.6 在首次尝试中成功解决了 2026 年国际数学奥林匹克竞赛 (IMO) 的全部六道题目。如果得到证实，这一成就将标志着人工智能在数学推理能力方面取得了重大飞跃，因为这些题目通常只有少数顶尖人类选手才能解答。评估由自称是 IMO 前奖牌获得者的人员进行，并在 GitHub 上的一份报告中详细说明。