登录

当前标签：OProver

32B超越671B，M-A-P全开源数学定理证明模型OProver，五项评测三项第一

M-A-P研究社区开源的OProver-32B模型在数学定理证明上以32B参数量超越671B的DeepSeek-Prover-V2，五项评测拿下三项第一。