发生了什么
Pythagoras-Prover 发布 Pythagoras-Prover(4B/32B, MiniF2F 86.1%/89.8%)
为什么值得关注
展示了数据效率在定理证明中的巨大潜力，值得关注其开源进展和训练方法。
信息来源
以下内容来自公开来源，可打开原文继续核验。
01
4B定理证明模型超越DeepSeek
Pythagoras-Prover团队发布4B参数定理证明模型，在MiniF2F基准上以86.1% Pass@32超越DeepSeek-Prover-V2-671B，32B版本达89.8% Pass@32和92.6% Pass@2024，为当前最佳结果。模型使用800K Lean验证示例和LoRA训练。
打开原始来源 ↗