实体
IMO 2025
IMO 2025
PulseAugur coverage of IMO 2025 — every cluster mentioning IMO 2025 across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新AI框架通过增强式突变技能进化提升定理证明能力
研究人员开发了SkillEvoLean，一个用于增强大型语言模型在形式化定理证明中能力的框架。该方法采用增强式突变技能进化，它同时更新高级求解策略和参考知识。当标准方法未能找到成功路径时，SkillEvoLean使用突变来采样数学概念并生成新的技能候选。在MiniF2F和PutnamBench等基准测试以及IMO 2025和USAMO 2026问题上使用GPT-5.5进行测试，SkillEvoLean相比基线方法实现了显著更高的证明成功率。
-
MechMath系统通过正式分解改进自动定理证明
一篇新研究论文介绍了MechMath，这是一个旨在改进自动定理证明的代理系统。MechMath利用Sorrifier驱动的正式分解工作流，比现有方法更有效地处理失败的证明尝试。通过使用Lean的'sorry'占位符隔离未解决的子目标，系统可以独立解决它们，避免了长上下文造成的退化或完全重新生成的低效率。在IMO 2025和Putnam 2025等基准测试上的实验表明，MechMath在证明效率方面具有显著优势。