DeepSeek数学模型测评：难道是我打开方式不对？
昨晚分享了DeepSeek最新推出的专门做数学题的DeepSeek-Prover-V2-671B，今天就发现huggingface已经有space托管出来了，我们立刻上去看下。 既然是专门处理数学模型的，我们就找一些数学题给他做下吧…
相关工具已收录于 AI工具严选
DeepSeek
幻方量化推出的AI智能助手和开源大模型
微信赞赏
相关推荐
2025-05-03
DeepSeek Prover：最新炸裂模型发布！
号外号外！DeepSeek推出最新炸裂模型！数学证明的终极革命来了！DeepSeek一小时前刚推出DeepSeek-Prover-V2-671B，这将用AI重新定义数学推理的边界！ 这款由 DeepSeek打造的超级数学大脑，拥有 6710亿参数 的惊人规模… HuggingFace访问入口
2025-09-25
超乎想象！首个端到端全模态大模型！全面测评报告
阿里发布并开源首个端到端全模态 Qwen3-Omni 模型，据说性能出色且功能强大，既然说得这么厉害，还是首个端到端的全模态，那当然要去测评下了。最终结果超乎你想象！ 访问入口
2026-01-06
Claude Code 入门（四）！会话上下文！
上一集我们学习了claude.md的作用，这个文件会作为上下文随着我们的问题一并传给大语言模型，因为大语言模型是无状态的，这样它才能知道我们的项目结构和编程语言等，好知道应该怎么编码。这一集我们学习下怎么把文件内容加到上下文…
2025-02-16
腾讯ima知识库：接入满血DeepSeek r1
腾讯ima知识库接入满血DeepSeek r1啊。这几天腾讯的ima可谓是当红炸子鸡啊，通过它你可以直接将公众号文章和聊天中的文档以及本地文档加入知识库，然后和这些内容进行对话啊。废话不多说，赶紧Demo下，首先去小程序里搜索到这个ima…
2025-04-14
Imagine Explainers: 如何免费生成讲解视频和儿童故事视频？
今天要分享的免费AI工具叫做Imagine Explainers，通过它我们可以免费生成讲解视频，比如某个技术的原理，某个东西的运行规律之类的。废话不多说，赶紧去demo下… 访问入口
2026-01-15
大模型购物时代来了！谷歌推出UCP协议！
谷歌继A2A协议之后，再次推出UCP协议，准备一统AI购物协议标准的江湖…
