DeepSeek Prover：最新炸裂模型发布！
号外号外！DeepSeek推出最新炸裂模型！数学证明的终极革命来了！DeepSeek一小时前刚推出DeepSeek-Prover-V2-671B，这将用AI重新定义数学推理的边界！ 这款由 DeepSeek打造的超级数学大脑，拥有 6710亿参数 的惊人规模…
微信赞赏
相关推荐
2025-05-03
DeepSeek数学模型测评：难道是我打开方式不对？
昨晚分享了DeepSeek最新推出的专门做数学题的DeepSeek-Prover-V2-671B，今天就发现huggingface已经有space托管出来了，我们立刻上去看下。 既然是专门处理数学模型的，我们就找一些数学题给他做下吧… 访问入口
2026-02-15
Kimi K2.5 集群！100智能体同时干活！
Kimi K2.5集群模式——让100个AI智能体同时并发工作！这是月之暗面推出的创新功能，可以将一个大型任务分解为100个子任务，由100个AI智能体同时处理，最后汇总结果。例如”分析1000份合同”这样的任务，原本需要很长时间，现在可以并发处理，速度提升近百倍。本视频介绍Kimi K2.5集群的配置方法和实际应用场景。 访问入口
2025-07-10
Gemini 12个免费功能！十分的炸裂！
访问入口 在某交叉平台上通过@AskPerplexity免费使用Veo 3模型生成视频 分析本地视频内容，可以免费帮你生成字幕,因为剪映收费而烦恼的童鞋有福了！ 通过实时屏幕共享，让AI充当你的私人导师，指导你完成你屏幕上任何操作 通过实时摄像头画面识别物体并与之互动 分析YouTube视频内容，并按时间戳列出视觉元素 生成和编辑图片，包括根据文本提示修改现有图片 生成高质量的文本转语音（TTS），支持多说话人模式和风格指令 将文档、网页或文本等多种来源的资料转换成播客形式的音频 进行深度研究，并生成包含来源链接的详细研究报告 生成交互式的图表和地图，如世界人口地图和趋势折线图 AIStudio Build功能，通过提示词一键生成可交互的游戏或应用 根据截图生成一个功能类似的应用
2025-03-22
Function Calling：大语言模型是怎么调用外部函数的？
昨天和大家一起从零写了个MCP Server，当时说到了MCP其实就是Anthropic搞的对OpenAI提出的Function Calling定了个新标准，规范化function calling应该怎么做，好让大语言模型能调用到外部的函数和工具，但是发现有些朋友对function calling不是很清楚，这里尝试用最简单的方法跟大家解析清楚….
2025-05-03
Qwen3：全面打败DeepSeek R1！
Qwen3全面超越deepseek r1模型，追平最强Gemini 2.5 pro，但只需要DeepSeek r1 1/3的硬件成本。从闭源Anthropic首次推出Claude 3.7这个混合推理模型后，Qwen3系列则成为首个开源的混合推理模型。阿里的Qwen系列可谓再次扛起来开源大模型的大旗… 访问入口
2025-03-01
CoD：大模型推理思维链CoT升级版！
大语言模型推理思维链CoT升级版，推理草稿链，Chain of Draft，aka CoD啊！我们试过高级prompting或者用过deepseek r1和Gpt o3都知道，里面用的就是推理思维链。你问他就算一个很简单的问题，它都会做一大堆的思考，速度和tokens的消耗确实令人堪忧！最新一篇海外著名视频会议大厂Zoom论文出来，提出CoD的prompting技术，让大语言模型输出的质量接近CoT，但是速度飞快…
