22:39
elvis@omarsar0
elvis@omarsar0精选
推荐理由：这篇论文提出智能体和基准一起进化，15代后证明正确率从12.7%飙升到45.1%，思路很新。
共同进化
共 1 条相关 AI 资讯
7月22日
22:39
一篇新论文主张自改进智能体在优化自身的同时也应演化其评估基准。研究者实现了一个自进化的Lean证明智能体，其工作流、提示和工具均可被重写。该智能体采用共同进化课程，仅在当前难度被掌握后才引入更难的证明任务。经过15代进化，共同进化智能体在miniF2F上的留出解决率达到45.1%，而种子版本仅为12.7%，固定基准最优版本为32.0%。论文强调将每步奖励锚定在形式验证器上，可避免奖励黑客攻击。