当前位置：首页
> 第21页
PPIO 上线 DeepSeek-Prover-V2-671B
4月30日，DeepSeek 在 Hugging Face 开源了 DeepSeek-Prover-V2-671B 新模型。作为一站式 AIGC 云服务平台，PPIO派欧云在第一时间上线了 DeepS...
车企金融公司仅用三天部署“DeepSeek+智能营销中心”
上海电信助力汽车金融机构实现“AI自由”作者／ IT时报记者 郝俊慧编辑／ 钱立富 孙妍乘着DeepSeek东风，越来越多的企业低成本完成了自己的“AI初体验”。最近，一家知名车企金融子公司仅用三天时...
DeepSeek“五一礼包”来了！新开源模型数学推理能力大提升｜附实测细节
赶在五一假期前夕，DeepSeek给我们送出一份惊喜大礼。延续一贯的开源节奏，DeepSeek在Hugging Face正式发布DeepSeek-Prover-V2，并同步上线模型卡及示例代码。此次共...
DeepSeek新数学模型刷爆记录！7B小模型发现671B模型不会的新技能
梦晨 西风 发自 凹非寺量子位 | 公众号 QbitAIDeepSeek放大招！新模型专注数学定理证明，大幅刷新多项高难基准测试。在普特南测试上，新模型DeepSeek-Prover-V2直接把记录刷...
深夜突袭，DeepSeek-Prover-V2加冕数学王者！671B数学推理逆天狂飙
来源：新智元 【新智元导读】就在刚刚，DeepSeek-Prover-V2技术报告也来了！34页论文揭秘了模型的训练核心——递归+强化学习，让数学推理大提升。有人盛赞：DeepSeek已找到通往AG...
DeepSeek新数学模型刷爆记录！7B小模型自主发现671B模型不会的新技能
DeepSeek放大招！新模型专注数学定理证明，大幅刷新多项高难基准测试。在普特南测试上，新模型DeepSeek-Prover-V2直接把记录刷新到49道。目前的第一名在657道题中只做出10道题，为...
DeepSeek-Prover-V2：AI 数学推理新王者，88.9% 通过率设新标杆
IT之家 5 月 1 日消息，深度求索（DeepSeek）昨日（4 月 30 日）在 AI 开源社区 Hugging Face 上，发布名为 DeepSeek-Prover-V2-671B 的新模型，...
DeepSeek 发布 Prover-V2 模型；小米首个推理大模型开源；饿了么宣布超百亿补贴加入外卖战局
DeepSeek 发布 Prover-V2 模型，参数量达 6710 亿4 月 30 日消息，DeepSeek 于 AI 开源社区 Hugging Face 上发布了一个名为 DeepSeek-Pro...
天阳科技：已发布DeepSeek版本多款大模型产品
金融界4月30日消息，有投资者在互动平台向天阳科技提问：尊敬的领导：您们好！贵公司在人工智能、机器人、大模型领域的布局进展如何？公司回答表示：目前，公司已陆续发布DeepSeek版本的多款大模型产品，...
为什么DeepSeek回答前总先“嗯”一下
在人工智能与人类对话的边界逐渐融合消弭的今天，许多用户发现DeepSeek的回复中常常出现一个有趣的细节——这个AI似乎格外喜欢在回答中插入“嗯”这样的语气词。这个看似简单的小习惯，背后其实藏着人工智...