DeepSeek Prover:最新炸裂模型发布! 发表于 2025-05-03 分类于 免费AI工具 阅读次数: 号外号外!DeepSeek推出最新炸裂模型!数学证明的终极革命来了!DeepSeek一小时前刚推出DeepSeek-Prover-V2-671B,这将用AI重新定义数学推理的边界! 这款由 DeepSeek打造的超级数学大脑,拥有 6710亿参数 的惊人规模… HuggingFace访问入口 请我喝杯咖啡视频服务器成本高,请多支持我 打赏 微信支付