AI资讯新闻榜单内容搜索-自博弈定理证明器

关键词: AI,自博弈定理证明器,STP,模型训练

STP（自博弈定理证明器）让模型扮演「猜想者」和「证明者」，互相提供训练信号，在有限的数据下实现了无限自我改进，在Lean和Isabelle验证器上的表现显著优于现有方法，证明成功率翻倍，并在多个基准测试中达到最先进的性能。