DeepSeek-Prover-V2
DeepSeek-Prover-V2 是由 DeepSeek-AI 发布的 AI 模型，发布时间为 2025-04-30，定位为 基础大模型，参数规模约为 6710.0B，上下文长度为 128K，模型文件大小约 1342GB，采用 Apache 2.0 许可。
数据优先来自官方发布（GitHub、Hugging Face、论文），其次为评测基准官方结果，最后为第三方评测机构数据。 了解数据收集方法
DeepSeek-Prover-V2是DeepSeekAI最新开源的大模型。根据猜测，这是一个可以用来帮助研究者做数学推理的大模型。
欢迎关注 DataLearner 官方微信，获得最新 AI 技术推送
