SkillEvoLean

新AI框架通过增强式突变技能进化提升定理证明能力

研究人员开发了SkillEvoLean，一个用于增强大型语言模型在形式化定理证明中能力的框架。该方法采用增强式突变技能进化，它同时更新高级求解策略和参考知识。当标准方法未能找到成功路径时，SkillEvoLean使用突变来采样数学概念并生成新的技能候选。在MiniF2F和PutnamBench等基准测试以及IMO 2025和USAMO 2026问题上使用GPT-5.5进行测试，SkillEvoLean相比基线方法实现了显著更高的证明成功率。