All in AI，看见未来。 每天精选最值得读的AI文章，帮你筛掉时代的噪音。 以简讯见广度，以深读见洞察。 技术、趋势、思考，一站式掌握AI世界。
2025-05-31 资讯日报
新闻资讯
斯坦福：AI内核性能碾压人类
斯坦福团队：AI生成的CUDA内核性能超人类专家，在深度学习操作上性能至多提升近400%，方法是先产生自然语言优化思想再转化代码，虽有局限但前景乐观。>阅读原文
Redis之父：人类程序员胜过大模型
Redis之父Antirez：人类程序员比大模型出色，解决复杂问题时人类更有创造力；开发者看法不一，有人将大模型当助手，也有人认为它干扰思路、易给出错误建议。>阅读原文
Meta Llama团队人才大流失
Meta Llama模型团队人才大溃散，14名作者只剩3人。与此同时，Meta自家大模型进展不顺，旗舰模型延期，一边裁员一边押注AI，还寻求资金支持却遇冷，其开源AI领先地位堪忧。>阅读原文
学术分享：推理模型过思考现象
GenTalk学术分享邀刘梓辰等4位博士生，6月6日带来‘推理模型的过思考现象与高效推理’报告。现推理模型‘过思考’制约部署，此次分享将分析原因，总结高效推理研究思路。>阅读原文
AI或致大量白领岗位消失
Anthropic CEO Amodei：AI或1 - 5年内消灭一半入门级白领工作，失业率升至10% - 20%；网友们就应对AI导致失业问题给出多种建议，如征税、改革税制等。>阅读原文
31家AI小公司人均创收惊人
Henry Shi统计的榜单显示，31家AI小公司平均20人、人均创收高。像GPTZero等套壳产品靠需求洞察等盈利。AI工具提效让团队精简，部分创业者倾向少融资，追求掌控与盈利。>阅读原文
芯片领域上演“华人内战”
如今全球芯片巨头多由华人执掌，“华人内战”格局凸显。随着芯片领域积累，优势向AI产业蔓延。黄仁勋赞中国AI人才，马斯克发布会C位留华人。不过各企业华人领袖会为自身利益抉择，“内战”或持续。>阅读原文
具身智能论坛引领新潮流
张江集团陈衡：浦东张江推动人形机器人产业发展。王广润：新型大物理模型在具身智能领域大有可为。赵哲伦：智能机器人需满足‘V - L - A’闭环。圆桌嘉宾就算法、硬件、数据等各抒己见。>阅读原文
LaViDa 扩散模型表现出色
加利福尼亚大学洛杉矶分校等团队：开发 LaViDa 视觉 - 语言扩散模型。它在多任务中表现佳，推理蒸馏提升大，文本填空可控，还能灵活平衡速度与质量，不过 OCR 任务有短板。>阅读原文
吴恩达评Agent与MCP现状
吴恩达评Agent现状：MCP处于‘蛮荒’，单Agent跑通难，A2A协作更难。他指出构建Agent要掌握任务分解、评估体系等技能，推荐关注评估、语音技术栈等，建议企业让开发者用AI辅助编程。>阅读原文
中兴星云大模型推理榜夺冠
SuperCLUE报告显示：中兴通讯星云大模型Nebula Coder - V6推理专项总分并列第一、总榜并列第二，数学、科学推理及代码生成细分赛道表现亮眼，还获国家级安全双认证。>阅读原文
FLUX.1 Kontext：AI生图新突破
Black Forest Labs推出新AI生图模型FLUX.1 Kontext，采用流匹配架构，官方称可上下文生成编辑。第三方测试效果优于GPT - 4o且便宜，还给出提示词使用技巧。>阅读原文
英伟达财报：H20影响难挡需求
英伟达2026财年一季度财报：收入符合预期，毛利率因H20减值低于预期。数据中心和游戏业务带动增长，下季度预计收入450亿美元，考虑H20影响仍显需求强劲。>阅读原文
国产EDA能否应对断供挑战？
作者认为全面EDA断供可能性小。全球EDA行业三足鼎立，市场规模小。国产EDA公司多但有差距，部分工具能用性差，不过美国之前禁运给了打磨机会，要坚持发展国产EDA。>阅读原文
AI来袭，大厂掀起裁员潮
Business Insider CEO：裁员21%，全面拥抱AI；Anthropic CEO Amodei：AI或取代近半入门级白领工作，未来几年失业率或飙升；他建议提前预警、让劳动者理解AI等。>阅读原文
MCP：重构AI交互方式
谭宇：MCP 解决 AI 与工具、数据源集成碎片化问题，实现即插即用。实现成本看复杂度，解决痛点与行业无关，盈利看背后系统，未来会加强可运维和安全。>阅读原文
阿莫迪：AI将毁一半办公室工作？
Anthropic CEO达里奥·阿莫迪：AI将消灭一半入门级白领工作。但无数据支撑，劳动经济学家指其设想不现实，科技企业家也反驳，其说法更像为推新版Claude博眼球。>阅读原文
产品应用
阿里：通义灵码IDE登场有戏
池建强：阿里云发布Lingma IDE，免费且功能体验优。其整合多模型，有亮点功能与企业版，AI编程竞争激烈，阿里手握资源、有工程师文化，Lingma有机会成功。>阅读原文
阿里上线免费AI IDE通义灵码
花叔：阿里上线免费AI IDE通义灵码，内置Qwen3大模型，有MCP广场，含三种使用模式与记忆功能，还提供NES智能修改预测等功能，体验链接已给出。>阅读原文
FLUX.1 Kontext刷新图像模型SOTA
新智元：新模型FLUX.1 Kontext融合多项功能，角色一致性好、速度快，能解决AI生图“人脸崩坏”问题，评估对比显示它在多方面表现均衡、性能出众，虽有局限仍推动领域进步。>阅读原文
微信XNet-DNN引擎性能卓越
腾讯微信团队：自研 XNet-DNN 推理引擎，基于 RCI 框架构建跨平台 GPU LLM 推理能力，在推理效率等指标上超现有方案，还通过系统和算子优化提升性能，未来将多方面持续完善。>阅读原文
作业帮：监控体系实践经验
作业帮：云原生下监控体系很重要。选 Prometheus 和 VictoriaMetrics 构建系统，多维度采集指标，自研 vm - proxy 降成本至 1/6，还治理指标、让系统贴近研发，提升效率。>阅读原文
李未可：智能眼镜自研AI系统
李未可科技CEO茹忆坚信AI是未来，重视硬件背后软件系统。其推出的三款AI智能眼镜搭载自研系统。自研大模型可避免飞秒刀与华强北冲击、解决通用API问题，构建软硬件闭环体系。>阅读原文
通义灵码+高德MCP定制端午攻略
端午将至，可利用通义灵码+高德MCP 2.0，10分钟定制北京3天旅行攻略，还能导入高德地图。若现有服务不满足，可借助通义灵码开发专属MCP服务，实现更多个性化需求。>阅读原文
新版DeepSeek R1：一句话提示超神
作者：新版DeepSeek R1更新后，用复杂提示词时比Claude4差；换一句话提示词，生成效果飞跃，代码能力接近Claude4，写作小提升，数学提升不大，期待R2。>阅读原文
BFL发布像素级图像生成模型
BFL 公司发布图像生成模型 FLUX.1 Kontext，能基于上下文生成和编辑图像，有 Pro、Max、Dev 版本。其运行快、可多轮编辑，在文生图测试中表现佳，已获用户肯定，不过要面对竞争。>阅读原文
华为揭秘昇腾训练系统全流程
华为：“昇腾+Pangu Ultra MoE”实现国产训练闭环，通过三招提升训练效率，支持超大规模集群和模型，如Pangu Ultra MoE 2秒吃透一道高数大题。>阅读原文
推荐文章
Hang Huang：AI 基础设施 L0 - L5 演进
Hang Huang：AI 编程生产力大幅提升，未来将从写代码迈向构建、部署、运维全流程。他提出 L0 - L5 模型描述 AI-Native Infra 演进，最终实现 Result-as-a-Service，人类定目标，AI 负责技术实现。>阅读原文
Claude：拆解吵架话语逻辑
Claude指出，‘好好……’话语序列有评判预设，‘我也没办法’是用放弃包装优越感，‘扶人即撞人’让善行成罪证，体现人们以共识为重、怀疑善意的思维局限。>阅读原文
Mike Krieger谈AI产品构建
Mike Krieger：未来多数内容将由AI生成，重点是来源与可信性；伟大AI产品多自发生长，如MCP；AI产品对新手难用，算力平衡和产品与研究协作待解决。>阅读原文
AI深度伪造威胁真相与信任
Nicholas Carr：过去假照片制作难，如今AI让造假容易，深度伪造使虚假信息泛滥，影响政治，瓦解信任。未来神话塑造或比真相追寻更有影响力。>阅读原文
Iceberg：八年磨砺成表格式标准
作者介绍 Iceberg 成开放表格式标准历程及特性。它解决 Hive 痛点，获广泛支持。V3 补充短板，社区有 V4 设想。大厂用 Iceberg 降成本、解决痛点，厂商竞争推动其发展。>阅读原文
LCM：AI 推理新范式
文章指出 LLM 有缺乏理解和因果关系等问题，而 LCM 能进行结构化推理。它有独特架构与工作方式，适用于客户支持、SQL 生成、合规申报等场景，但也有训练成本高、数据集少等局限。>阅读原文
开源动态
Anthropic 开源 MCP 工具箱
Anthropic 开源 MCP：AI 大模型标准化工具箱。它简化操作，让大模型与外界互动，整合 Function Call 标准，几乎所有大模型都能接入，是转型程序员的福音。>阅读原文
Alibaba开源WebDancer破检索难题
Alibaba：开源WebDancer解决复杂信息检索难题。它采用端到端构建范式，经数据和训练阶段优化，在基准测试表现出色，靠高质量数据和有效方法适应网络环境。>阅读原文
Neko：共享虚拟浏览器爆火
开源君：推荐项目Neko，它是基于Docker的虚拟浏览器，能在安全隔离环境上网、浏览、运行程序，适合共享页面，有聊天、文件传输等功能，还支持多浏览器，已获10.3K star。>阅读原文
DeepMind开源数学猜想库
DeepMind：开源形式化数学猜想库，可作AI测试基准，助其提升数学推理能力，是AI+ATP关键一步，邀大家参与。陶哲轩：看好AI在数学领域潜力，期待更多进展。>阅读原文
EvoAgentX：首个自进化AI框架
英国格拉斯哥大学团队：发布全球首个AI智能体自进化开源框架EvoAgentX，它自动化构建、能自进化，实验显性能平均提升8% - 13%，未来将推进多阶段发展。>阅读原文
Chatterbox开源2天星标超3K
Resemble AI推出的Chatterbox开源TTS模型，开源2天星标超3K。它功能丰富，安装便捷，盲测击败ElevenLabs，适用于播客、游戏等多场景，后续还将优化。>阅读原文
Memvid：文本存视频高效检索
Memvid开源项目：将文本存进视频，能闪电检索信息，解决传统存储三大痛点，节省空间，零基建离线运行，使用简单，虽为原型但值得一试。>阅读原文
字节跳动开源多模态BAGEL
字节跳动：开源多模态模型BAGEL，能理解和生成文图视频。它是本地跑多模态大模型的希望，但效果不稳定。还给出体验Demo、模型地址及安装使用教程。>阅读原文
阿里通义开源MaskSearch框架
阿里通义实验室：开源MaskSearch框架，引入检索增强型掩码预测任务，兼容两种训练法。实验表明其提升多数据集模型性能，小模型可媲美大模型，不同训练策略和奖励函数效果有别。>阅读原文
算法论文
SearchAgent - X打破AI搜索效率瓶颈
南开与UIUC研究：大型语言模型驱动的搜索智能体有效率瓶颈。SearchAgent - X框架通过优先级感知调度和无停顿检索，提升吞吐量、降低延迟，且生成质量不打折，为AI落地助力。>阅读原文
大模型智能体：Agentic ROI是关键
上海交大联合中科大：大模型智能体规模化应用有瓶颈，关键是Agentic ROI未达标。其发展呈「之字形」，先规模提升信息质量，后轻量化降时间成本，以实现高效可用。>阅读原文
中山大学推出MultiTalk框架
中山大学：提出多人对话视频生成框架MultiTalk，用L - RoPE解决音频与人物绑定问题，采用两阶段和多任务训练，生成视频指令跟随强、伪影少。>阅读原文
RISEBench暴露模型编辑短板
上海AI实验室等团队：推出RISEBench评测新基准，测试显示GPT - 4o - Image在复杂任务中准确率仅28.9%，当前视觉编辑模型理解能力不足，闭源与开源差距大。>阅读原文
MaskMark：1/15成本达AI水印SOTA
南洋理工大学等机构研究人员：提出全新局部鲁棒图像水印方法MaskMark，成本仅Meta模型WAM的1/15，支持多水印嵌入等，多项任务表现超WAM。>阅读原文
Avengers框架小模型胜GPT - 4.1
上海人工智能实验室等团队：提出的Avengers框架集结小模型优势，在15个数据集上表现超GPT - 4.1，轻量高效，为开源模型发展指明方向，后续将优化校准、扩应用和动态适应。>阅读原文
FVG让大模型学习不“失忆”
中国多校联合团队研究发现，大模型遗忘源于激活偏差新功能。其用SuperNI数据集分析，表明任务类型、训练阶段、模型结构等影响遗忘。还设计FVG训练法，提升模型持续学习能力，成果被ICLR2025接收。>阅读原文
SearchAgent-X提升AI搜索效率
南开大学和伊利诺伊大学厄巴纳 - 香槟分校：SearchAgent-X解决AI搜索智能体卡顿问题，其通过优先级感知调度和无停顿检索，提升吞吐量、降低延迟，保障推理质量，推动AI走向实用。>阅读原文
西工大团队建模预示叶片失速
西工大史子颉、高传强等：开发数据融合神经网络与动量叶素理论耦合框架，对三维叶片动态失速进行预示，虽部分工况有偏差，但对比理论模型，预测精度显著提升。>阅读原文
机器狗自学打羽毛球
苏黎世联邦理工学院团队：让机器狗仅靠强化学习从0自学打羽毛球，开发全身视觉运动策略，挥拍速度最高12米/秒，还涌现类人回位行为，证明足式机器人在体育场景应用可行。>阅读原文
大模型RL训练探索欲望下降问题
研究发现大模型在强化学习训练解题时，探索欲望急速下降，93%性能提升在前1/3训练步数。提出Clip-Cov和KL-Cov破解，Qwen - 32B在AIME题提升14.6%，熵控是突破性能天花板关键。>阅读原文
港中大TON框架提升AI推理效率
港中大等提出TON框架，让视觉语言模型学会‘一题一策’。经两阶段训练，模型在多任务上推理长度最多减90%，准确率最高提17%，兼顾效率与性能。>阅读原文
Gemini视频OCR准确率仅73.7%
MME-VideoOCR团队：对18个主流MLLM视频OCR能力测评，即便最好的Gemini-2.5 Pro准确率仅73.7%，多数开源模型不足60%，模型在时序与推理上短板明显。>阅读原文
</p>
