热点事件持续更新
SkillEvoLean 变异增强技能进化框架
1 篇报道1 个报道来源13 小时前更新
先了解这件事
AI 综述
2026年10月3日，arXiv 的 cs.LG 分类发布研究，研究者提出 SkillEvoLean，一个面向 Lean 证明器的变异增强技能自进化框架。该框架在不更新模型参数的前提下，联合进化高层求解策略与参考知识。报道称，在 GPT-5.5 上，该方法于 MiniF2F、PutnamBench、IMO 2025 和 USAMO 2026 分别取得 100.0%、90.6%、4/6 和 4/6 的证明成功率，优于基线。目前尚无后续报道，事件进展停留在该论文发布阶段。
AI 根据报道生成 · 2 小时前更新
最新进展10月3日 12:00
SkillEvoLean 论文发布，报告在多个基准上优于基线。报道时间线
沿着报道，了解事件的不同侧面。
10月3日
- arXiv：cs.LG（机器学习，全量分类）SkillEvoLean：面向 Lean 证明器的变异增强技能进化
研究者提出 SkillEvoLean，一个面向 Lean 证明器的变异增强技能自进化框架，在不更新模型参数的前提下联合进化高层求解策略与参考知识。在 GPT-5.5 上，该方法于 MiniF2F、PutnamBench、IMO 2025 和 USAMO 2026 分别取得 100.0%、90.6%、4/6 和 4/6 的证明成功率，优于基线。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。