DeepSeek Prover：最新炸裂模型发布！
号外号外！DeepSeek推出最新炸裂模型！数学证明的终极革命来了！DeepSeek一小时前刚推出DeepSeek-Prover-V2-671B，这将用AI重新定义数学推理的边界！ 这款由 DeepSeek打造的超级数学大脑，拥有 6710亿参数 的惊人规模…
相关工具已收录于 AI工具严选
DeepSeek
幻方量化推出的AI智能助手和开源大模型
微信赞赏
相关推荐
2025-05-03
DeepSeek数学模型测评：难道是我打开方式不对？
昨晚分享了DeepSeek最新推出的专门做数学题的DeepSeek-Prover-V2-671B，今天就发现huggingface已经有space托管出来了，我们立刻上去看下。 既然是专门处理数学模型的，我们就找一些数学题给他做下吧… 访问入口
2025-02-27
Gemini Code Assist：谷歌免费硬扛Cursor！
谷歌推出完全免费的Gemini Code Assist来抢占AI编程市场啊，背后用到的是专门针对编程微调优化过的Gemini 2.0大语言模型。我们知道像cursor等AI编程工具免费版的功能是很有限的，一般一个月提供不超过2000次的代码自动补全，而谷歌为了抢占市场，直接提供18万次，这已经和免费没有什么区别了。废话不多说，赶紧去demo下…
2025-05-03
OpenAI Deep Research：终于可以免费用了！
OpenAI的Deep Research竟然可以免费用了！记得昨天给大家分享的《全球一周AI大事》视频吧，里面提到了OpenAI为免费用户推出了Deep Research功能，我们可以叫它做各种深度的报告。废话不多说，赶紧去demo下，为了对比，我会用同一个prompt来测试没有开启Deep Research和开启了Deep Research的ChatGPT… 访问入口
2025-05-03
Qwen3测评报告：这个模型很天马行空！
阿里大模型又搞大事情了！我还没有见过国内有谁像阿里那样开源过这么多大语言模型的！这次Qwen3系列一下子发布了2个混合推理MoE模型235B和30B， 以及6个从0.6B到32B不同参数量的传统dense模型，基本上你不同级别的GPU都能找到适合部署的模型 访问入口
2025-02-06
Surf.new：AI自动控制浏览器完成任务.
控制浏览器完成任务的免费AI Agent啊！今天淘到的这个叫做surf.new的Agent就牛逼了，我么可以给他下一个指令，然后它就能自动帮我们细化这个指令，然后一步步操作浏览器来完成我们的任务… Github项目入口 在线访问入口
2025-04-16
Grok 3 Studio：AI编程IDE加Markdown编辑！
Grok 免费推出Grok 3 Studio，其实说白了就是OpenAI等的canvas，估计是马斯克为了搞差异化，所以将其叫做Studio，通过它，我们可以实时预览grok编写的代码和文章，废话不多说，赶紧demo下… 访问入口
