Google AI Edge Gallery – 谷歌开源项目｜完全本地运行大模型APP
Google AI Edge 画廊是一款实验性应用，将最先进的生成式 AI 模型直接交到您的手中，在您的 Android (现已上线) 和 iOS (即将推出) 设备上完全本地运行。探索一个充满创意和实用 AI 应用场景的世界，在加载模型后无需网络连接即可运行。
🚀 DeepSeek V3.1 全新升级 至 DeepSeek V3.1 Terminus 发布！最新的Terminus版本在V3.1基础上进一步强化，针对用户最关心的问题进行了重大改进。
✨ 有哪些新变化？
• 🌐 语言更流畅：显著减少中文和英文混用问题，不再出现奇怪的乱码。
• 🤖 智能体全面升级：代码智能体（Code Agent）与搜索智能体（Search Agent）的表现大幅提升，处理任务更高效、更精准。
📊📊 经多项权威基准测试，新版Terminus的输出更加稳定可靠，各项表现均优于上个版本。
👉 立即体验：https://huggingface.co/deepseek-ai/DeepSeek-V3.1-Terminus
更多AI软件请访问：
https://www.gewuzhizhi.vip/software-store/all-software-store/ai-software
★★★ 强烈推荐 ★★★ 点击下图，500+常用办公精品软件一键直达！
相关图书
DeepSeek R2究竟何时发布？
DeepSeek R1的横空出世让国内外AI格局开始重新洗牌，而关于它的下一代产品DeepSeek R2的传说，在AI圈从未平息。 从今年2月底的“DeepSeek开源周”开始，就有传言DeepSeek R2将在五月前发布。4月27日，Hugging Face CEO发推暗示DeepSeek R2即将发布，关于R2的各种"内幕消息"也开始在X平台上病毒式传播。
DeepSeek官方：DeepSeek-R1-0528 思考更深，推理更强
DeepSeek-R1-0528 仍然使用 2024 年 12 月所发布的 DeepSeek V3 Base 模型作为基座，但在后训练过程中投入了更多算力，显著提升了模型的思维深度与推理能力。
对话 DeepSeek-Prover 核心作者辛华剑
辛华剑，现在是爱丁堡大学人工智能专业的一年级博士生，研究方向是使用大语言模型进行形式化数学定理自动证明的任务。本科就读于中山大学哲学系逻辑学专业，深入学习了这类形式化方法的理论基础，后来在中山大学梁小丹老师的指导下开始以 AI 研究的视角切入这个问题，随后分别在华为诺亚方舟实验室和 DeepSeek AI 做了一系列探索性的工作，现在在读博士的同时也在字节跳动 Seed 团队继续进行这一方向的研究实习。
