大爆发：Qwen、DeepSeek、小米组团开源最新推理大模型
"DeepSeek-Prover-V2" 相关文章
DeepSeek-AI Released DeepSeek-Prover-V2: An Open-Source Large Language Model Designed for Formal Theorem, Proving through Subgoal Decomposition and Reinforcement Learning
DeepSeek-Prover-V2-671B，6710亿参数狂揽证明SOTA，模型与数据集全开源
DeepSeek开源Prover-V2强推理模型，网友：奥数从没这么简单过
