不是 R2，不是 V4，DeepSeek 却悄悄放了个 6710 亿参数的狠活

好消息，DeepSeek 发布新模型了！坏消息，不是小可爱们心心念念的 DeepSeek-R2 和 DeepSeek-V4。而是一个专注于数学证明和复杂推理的模型：DeepSeek-Prover-V2

小米入局大模型赛道！开源MiMo-7B，性能超o1-mini

昨天，大模型赛道又迎来了一位重量级选手，小米宣布入局并上来就开源了一款大模型——MiMo-7B。虽然MiMo-7B只有70亿参数，但根据测试数据显示，MiMo-7B在数学AIME24/25中分别达到了

MacMini M4 本地运行 Qwen3 300 亿参数模型，快到飞起！

这个重大发现，我必须要分享一下！！！MacMini M4居然可以飞速运行Qwen3 30B 模型。说起 MacMini，我真是...当时，主要是天天听他们喊 MacMini M4太香了，又便宜又好玩，

用cursor开发App，以及AI编程的一些思考

设计即合规: 开放AI生态中的用户数据治理实践

Hugging Face Hub 已成为 AI 协作的核心平台，托管了数万个模型、数据集以及交互式应用程序 (Hugging Face Space)。 在开放生态系统中，用户知情同意的管理方式与那些更

主动散热！国产手机太逆天！！！

👆👆👆重要提醒！微信推荐机制大幅调整，大家务必将我们公众号设为★星标，否则很可能看不到推送了......谁也没想到，几乎要被行业遗忘的主动散热技术，又被手机厂商安排了起来。这次不是努比亚红魔，从@数码

上新福利！型男范 「牛仔裤」男人眼中最能打的单品！

（点击上方图片进入商城）纵观近年来的潮流趋势，「松弛感」浓度与日俱增。无论你是朝气正盛的学生党，还是久经商场的商务男，亦或是被生活按头摩擦的社畜打工人，都躲不开宠幸牛仔裤的命运。运动裤、休闲裤、西装裤

LLM 中 tool 和 RAG 怎么融入到对话数据中？

在这里插入图片描述整理开源数据的时候，看到一种融入检索 tool 或 RAG 的方式，看着挺简单的，可以供参考：{ "role":"user", "content":"电脑屏幕被

GruAI 张海龙：产品形态只是表象，Cursor 与 Devin 终有一战｜AI 产品十人谈

试验性收入不是经常性收入，AI Coding 泡沫有多大？作者丨梁丙鉴编辑丨马晓宁自2022年12月 ChatGPT 作为现象级产品问世以来，“AI 改变世界” 的技术叙事已持续30个月，但实际落地的

直播预告｜仉尚航、王鹤、高阳、赵行、杨耀东探讨 VLA 技术的实践与突破

VLA 技术正从实验室走向产业深水区。2025年，全球具身智能产业规模突破百亿美元，以视觉-语言-动作（VLA）为核心的技术正加速渗透机器人、自动驾驶、工业自动化等领域。海内外团队的 VLA 成果频频

MARFT：大模型多智能体强化微调范式来啦！

MARFT 微调后的大语言模型多智能体系统性能优于未经微调的系统性能和单智能体 PPO 方法，这在数学任务上得到验证并提升显著。作者丨廖俊威、温睦宁 近期，基于大型语言模型（LLM）的多智能体系统（L

一次直出20张图，豆包PC生图功能升级了

5分钟一个应用，人手1个APP的时代要来了

最近有一个词非常火，叫做“AI 平权”“为什么要实现 AI 平权？”“AI 平权对普通人的意义是什么？”“怎么样才能实现 AI 平权”对于普通人来说想做自己的 app、小程序或者是网站在以前必须要找专

程序员们如何避免AI时代的技能萎缩？

家人们，不知道有没有人与我一样，在日常工作中已经全力倚仗 AI 工作了！难的、复杂的，我需要 AI 多帮帮我，简单的、容易的，那 AI 一定干的又快又好我也可以全权委托。表面上看（实际上也是）极大地提

阿里最新开源模型Qwen3到底能不能打？不妨上「通义App」亲自试试

作者 | 付秋伟 4 月 29 日凌晨，阿里正式发布并开源了最新的通义千问 Qwen3 模型（以下简称 Qwen3），并迅速登顶多项大模型测评榜单，引发了全行业的关注。据介绍，Qwen3 在推理、指

全网首测！ Qwen3 vs Deepseek-R1 数据分析哪家强？

作者 | 李飞 昨天凌晨，阿里巴巴开源新一代通义千问模型 Qwen3，AI Agent 厂商数势科技的数据分析智能体 SwiftAgent 已率先完成全面适配，并发布了 Qwen3 与 DeepSee

英特尔 CEO 陈立武：18A 制程节点已进入风险试产阶段，14A 节点即将推出

作者 | 褚杏娟 今天，2025 英特尔代工大会（Intel Foundry Direct Connect）开幕，英特尔分享了多代核心制程和先进封装技术的最新进展，并宣布了全新的生态系统项目和合作关系

Agent评估「必知」的核心方法论和8个工具，揭示如何评估Agent？

编者按：随着基于大语言模型的智能代理（LLM-based Agents）迅速走向实际应用，一个关键问题日益凸显：我们如何有效评估这些系统的真实能力？表面上的流畅对话或单一任务完成率已不足以判断Agen

关于 Qwen3 的常见问题解答

qwen3 官方1. Qwen3 是什么？Qwen3 是 Qwen 系列大型语言模型的最新版本。它代表了在模型性能、多语言支持和 Agent 能力方面的重要进步。2. Qwen3 有哪些主要的模型版

刚刚，小米开源首个推理 AI 大模型！性能对标 OpenAI o1-mini

人人都能有一个满血DeepSeek？清华90后出手，10万块畅玩FP8原版

新智元报道 编辑：编辑部 HYNZ【新智元导读】最近，一款由清华90后团队打造的AI利器，首次实现了只用14.9万元就能流畅运行满血版DeepSeek，并且还支持顶配的128K上下文，堪称媲美百

新·摩尔定律诞生：AI智能体能力每4个月翻一番！智能爆炸在即

新智元报道 编辑：英智 犀牛【新智元导读】AI编程智能体的能力正在飞速增长，最新研究揭示了这一「新摩尔定律」，如果AI智能体的任务时长继续以每4个月翻倍的速度增长，到2027年它们可能完成长达1

诺奖得主、AlphaGo之父：AI远不如人类科学家，根本提不出有价值的猜想

新智元报道 编辑：桃子【新智元导读】去年10月，DeepMind联合创始人Demis Hassabis因开发AlphaFold以解决蛋白质复杂结构预测问题，而获得了诺贝尔化学奖；2016年，他和

Z Product｜Product Hunt最佳产品（4.21-27），华人团队发布新型AI PPT和AI理财应用

4.21-4.27 TOP10TOP1: Strawberry一句话描述：Strawberry是一款集成AI助手的生产力浏览器。图片来源：Product Hunt简介：产品定位于提升数字工作者的流程效

喝点VC｜红杉美国深度解读2025福布斯AI 50强：消费者即将迈入AI生产力时代，AI正从辅助工具进化为真正的业务执行者

图片来源：ForbesZ Highlights：随着技术成熟度提升，以及人们逐渐认识到AI节省时间与成本的潜力，预计将涌现大批面向消费者的AI产品，实现全流程任务代劳。2025年AI 50企业已验证A

速递｜Meta AI独立应用上线挑战ChatGPT，个性化推荐是便利，还是数据收割新工具？

图片来源：Meta在将Meta AI 整合进 WhatsApp、Instagram、Facebook 和 Messenger 后，Meta 正在推出一款独立的 AI 应用。这款应用在 4 月 29 日

速递｜用8000万授权数据挑战Midjourney，Freepik的生成式AI版权新解法

图片来源：Freepik在线平面设计平台Freepik 于周二发布了一款新型“开放”AI 图像模型，该公司称该模型仅基于商业授权、“适合工作环境”的图片进行训练。该模型名为F Lite，包含约 100

刚刚！OpenAI回滚了最新版本的GPT-4o，因ChatGPT「过于谄媚」

机器之心报道编辑：杨文、Panda昨晚，奥特曼在 X 上发了条帖子，大意是由于发现 GPT-4o 「过于谄媚」的问题，所以从周一晚上开始回滚 GPT-4o 的最新更新。免费 ChatGPT 用户已 1

只花9美元，推理能力暴涨20%！小模型Tina震撼登场，成本缩减260倍

机器之心报道编辑：刘欣在人工智能领域，语言模型的发展日新月异，推理能力作为语言模型的核心竞争力之一，一直是研究的焦点，许多的 AI 前沿人才对 AI 推理的效率进行研究。高昂的计算成本和复杂的硬件需求

上交大推出首个AI智能体协议全面综述：从碎片化到互联互通的智能体网络

论文作者包括来自上海交通大学的杨滢轩、柴化灿、宋源祎、齐思远、温睦宁、李宁、廖俊威、胡浩毅、林江浩、刘卫文、温颖、俞勇、张伟楠，以及 ANP 社区发起人常高伟。随着大语言模型 (LLM) 技术的迅猛发