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托管出来了，我们立刻上去看下。 既然是专门处理数学模型的，我们就找一些数学题给他做下吧… 访问入口
2026-01-06
Claude Skills 实战！国内模型怎么用？
前面视频我们试了在腾讯的codebuddy上创建了一个skill，这一集我想试下在claude code上，但是用国内的模型来创建一个claude skill。其实我之前一直以为这样子是不行的。因为我们在网站上用claude的时候，如果你需要使用一个skill，你是需要上传skill到claude上的，给人的感觉就是这个skill是和claude深度绑定的…
2025-04-16
Grok 3 Studio：AI编程IDE加Markdown编辑！
Grok 免费推出Grok 3 Studio，其实说白了就是OpenAI等的canvas，估计是马斯克为了搞差异化，所以将其叫做Studio，通过它，我们可以实时预览grok编写的代码和文章，废话不多说，赶紧demo下… 访问入口
2025-05-27
Cursor 终结者？微软开源AI编辑器！
兄弟们, VS Code 要进化成一个开源的 A I 编辑器了！ 什么意思？在我看来，这不就是要做个微软官方开源版的Cursor嘛!大家看这里，他们要把 GitHub Copilot Chat 那个牛逼哄哄的扩展，直接开源！用的还是大气的 MIT 许可证！这意味着啥？意味着以后VS Code自己就要长出更强大的 A I 脑子了，他们会把Copilot Chat的那些 A I 功能，一点点塞到 VS Code 的核心代码里去！想想都带劲…
2025-04-21
Gemini Code Assist：免费用Gemin 2.5 Pro！
Genmini Code Assist升级免费使用上顶尖Gemini 2.5 Pro模型啊！我之前就跟大家分享过Gemini 2.5 Pro的测评，编码能力和Claude 3.7已经到了同一个水平。值得庆幸的是，Gemini Code Assist的这次更新是免费的，提供了聊天对话框并对你在写的代码进行感知，自动进行代码补全，并根据需要生成完整的函数和文件，每天给我们提供6千次代码相关的请求，240次的聊天请求…
2026-01-22
AionUi：开源版 Claude Cowork！可以用免费模型！
Anthropic最新推出的这个可以操作你电脑的claude cowork可谓是火得一塌糊涂！比如经典的例子就是可以整理我们得文件夹！可惜的是需要max订阅！死贵死贵得！今天哥特意到到了一个开源平替，叫做aionui！它可以用免费的Gemini CLI的额度已经免费的opencode，如果有看我geminicli和opencode系列教程的应该知道他们都是有提供免费额度或者模型的 访问入口
