华为何庭波"韬定律"论文发布,逻辑折叠技术提升芯片性能
华为何庭波提出“韬定律”,通过逻辑折叠技术在不依赖新光刻工艺的情况下提升芯片性能,麒麟2026芯片性能核心能效提高41%,最大时钟频率提升近13%。
入选理由:华为“韬定律”通过逻辑折叠技术提升芯片性能。
每日 AI 资讯雷达
2026-05-26 当日 traeai 收录 60 条 AI 技术与产品资讯,按评分排序,每条带 AI 摘要、要点与原文链接。
canonical: https://www.traeai.com/daily/2026-05-26
华为何庭波提出“韬定律”,通过逻辑折叠技术在不依赖新光刻工艺的情况下提升芯片性能,麒麟2026芯片性能核心能效提高41%,最大时钟频率提升近13%。
面壁智能开源 MiniCPM5-1B 在 AA-Index 上超越所有 2B 参数以下模型,具备 1B 参数规模、INT4 量化后权重仅 0.5GB,能在手机和浏览器上运行。
Peter 开源 skill-cleaner 工具,帮助智能体技能减肥,减少上下文占用和调用成本。
华为何庭波提出“韬定律”,通过逻辑折叠技术在不依赖新光刻工艺的情况下提升芯片性能,麒麟2026芯片性能核心能效提高41%,最大时钟频率提升近13%。
入选理由:华为“韬定律”通过逻辑折叠技术提升芯片性能。
面壁智能开源 MiniCPM5-1B 在 AA-Index 上超越所有 2B 参数以下模型,具备 1B 参数规模、INT4 量化后权重仅 0.5GB,能在手机和浏览器上运行。
入选理由:MiniCPM5-1B 在 AA-Index 上超越所有 2B 参数以下模型
Peter 开源 skill-cleaner 工具,帮助智能体技能减肥,减少上下文占用和调用成本。
入选理由:skill-cleaner 可以进行技能提示词预算审计计算,避免技能占用过多上下文资源。
Qwen3.7-Max 成为全球第二 AI 编程模型,得分 1541,在 Code Arena 上仅落后于 Claude。该模型适用于生产环境,能够处理 35 小时的任务、1000 多次工具调用,并在几小时内完成两周的项目。
入选理由:Qwen3.7-Max 在 Code Arena 上得分为 1541,仅次于 Claude。
FCC 主席 Brendan Carr 讨论了 FCC 在全球科技竞争、国家安全、通信产业政策和市场监管中的新角色,强调了在无人机战争、网络安全威胁、卫星通信竞赛和美中科技竞争全面加速的时代,FCC 应该成为塑造市场和保护国家安全的重要机构。
入选理由:FCC 主席 Brendan Carr 强调 FCC 在国家安全问题上的坚定立场,不会妥协。
Anthropic 获得梵蒂冈祝福,标志着全球范围内对 AI 对齐问题的关注增加。
入选理由:Anthropic 获得梵蒂冈祝福,成为首个获得教皇祝福的 AI 公司。
Lauren 分享了她在加入 Cursor 面试前从未使用过的体验,指出多模型协同、Compaction 加速和 GUI 功能是 Cursor 的优势。她还介绍了 pstack 技能集和 Benny 自动化 bot 链,强调了信任在自动化中的重要性。
入选理由:多模型协同的自然化使 Opus 和 Codex 可在同一会话内切换,提升效率。
2026年,AlphaProof Nexus AI agent解决了56年未解的数学问题,展示了AI在数学研究中的潜力。
入选理由:AlphaProof Nexus解决了56年的数学难题。
华为提出「韬定律」,以时间缩微替代几何缩微作为半导体演进的新指导原则,通过逻辑折叠等技术降低信号传播时延,提升晶体管密度。
入选理由:华为提出「韬定律」,强调时间缩微而非几何缩微。
国产Agent模型SkyClaw-v1.0及其轻量版SkyClaw-v1.0-lite性能达到全球第一梯队,价格仅为主流模型的一半,且支持主流Agent框架和OpenAI接口。
入选理由:SkyClaw-v1.0性能媲美Claude Opus 4.6,价格仅为0.5元/百万tokens输入,4元/百万tokens输出。
挪威国家图书馆正在开发一个理解挪威语的大语言模型(LLM),并使用2PB的华为OceanStor Dorado闪存存储来支持其AI训练数据管道。
入选理由:挪威国家图书馆使用2PB的华为OceanStor Dorado闪存存储进行LLM训练。
攻击者通过间接提示注入在中毒技能中利用Microsoft Copilot Cowork从M365中窃取文件,成功率高。
入选理由:攻击者利用邮件和Teams消息无需人工审批的特性进行文件窃取。
使用AI编写高质量代码虽然速度较慢,但通过多模型审查可以有效发现并修复大量错误,提升代码库的整体健康状况。
入选理由:AI可以有效发现代码中的大量错误。
未来的工作将在Codex或Claude Code内进行,自动化需要人类监督,产品经理将主导AI时代,全栈设计师成为超级英雄,SaaS依然繁荣,每家公司会有统一的超级代理,AI不会导致失业但需进化,AI生成的文本将更受欢迎,软件应为人类和代理共同设计。
入选理由:未来工作将在Codex或Claude Code内进行。
Jerry Liu 在新加坡举办了 90 分钟工作坊全面回顾了从 2023 年到 2026 年 RAG、文档上下文和 AI 代理的发展历程。
入选理由:RAG 模型在过去三年中经历了 12 大痛点的改进。
ChatGPT-4.0 Pro 可以生成复杂的统计代码,但在某些情况下仍需人工验证。研究发现其在 Python、R 和 Stata 中的性能表现不一。
入选理由:ChatGPT-4.0 Pro 在 Python、R 和 Stata 中生成复杂统计代码的能力存在差异。
王建硕认为屎山代码无需治理,应通过自然语言层进行管理,AI可以自动处理用户反馈并自我进化。
入选理由:屎山代码无需治理,只需确保代码意图清晰。
通过使用基于判别器的模式来合并事件模式,可以解决Kafka和Flink管道中的模式泛滥问题,从而简化查询和维护。
入选理由:一对一事件到模式映射导致复杂性增加,应使用判别器字段合并模式。
Waymo 已经在美国11个城市提供自动驾驶服务,每周完成50万次出行,目标年底达到100万次,安全性比人类驾驶员高出10倍。
入选理由:Waymo 每周完成50万次自动驾驶出行,目标年底达到100万次
CockroachDB 开发了 C-SPANN 索引系统,通过将向量索引视为普通表数据来满足分布式数据库的需求,解决了传统索引无法处理大规模向量搜索的问题。
入选理由:CockroachDB 使用 C-SPANN 将向量索引作为普通表数据处理。
京东JoyInside业务负责人戴文军提出AI的终极形态是融入家居等物理世界,硬件应主动适应用户需求,而非用户适应硬件。
入选理由:AI将深度融入家居、玩具、机器人等万物终端。
Jira 的自动化功能可以实现图灵完备性,通过构建 Minsky 机器证明其计算能力。
入选理由:Jira 通过自动化规则实现了 Minsky 机器的图灵完备性。
AI正在引发漏洞狩猎领域的军备竞赛,导致漏洞披露计划被淹没,迫使公司增加漏洞奖励,并可能加速补丁发布。
入选理由:AI模型能够自主识别软件漏洞并开发利用工具。
Felix Rieseberg 使用 Claude 解决实际问题,包括创建 3D 房屋 walkthrough、自动跟踪承诺和构建硬件设备。
入选理由:Claude 可以将 2D 平面图转换为交互式 3D walkthrough。
Felix Rieseberg分享了如何在日常生活中使用Claude Cowork,强调通过抽象层提升效率,并利用电子邮件作为个人数据源。
入选理由:识别并利用AI解决日常琐事。
AWS 推出了 Agent Toolkit,帮助 AI 编码代理更可靠地与 AWS 交互,通过集成 MCP 服务器提供最新的 AWS 上下文和工具。
入选理由:Agent Toolkit 提供了针对 AWS 的特定技能和插件。
从TF-IDF到Transformer,文章通过四个阶段展示了语义搜索的演变过程,揭示了现代系统如何从手动设计特征转向直接从数据学习抽象意义。
入选理由:TF-IDF结合手工特征提供了透明的排名系统。
掌握类型提示和MyPy可以提高Python代码的可维护性和安全性,而函数式编程工具如map()和filter()增强了代码的简洁性和功能性。
入选理由:使用类型提示和MyPy可以减少运行时错误。
通过使用 Mimesis 库生成平衡数据集,可以有效审计机器学习模型中的性别偏见。
入选理由:Mimesis 库可以帮助生成平衡的数据集以测试模型偏见。
通过结合BM25词法搜索和语义搜索,使用Reciprocal Rank Fusion融合排名,实现了RAG系统的混合搜索策略。
入选理由:混合搜索策略在RAG系统中优于单一词法或语义搜索。
梵蒂冈发布的《伟大的人文》教义书提出了一个道德框架,强调AI应促进人类尊严、自由、责任、关怀和信任,而非仅追求效率和成本节约。
入选理由:AI应支持而非取代需要人类判断的决策。
Hugging Face 提供了一个关于 AI 代理术语的指南,澄清了“harness”、“scaffold”等概念,帮助从业者更好地理解和应用这些术语。
入选理由:harness 是执行层,负责调用模型、处理工具调用和决定何时停止。
阿里巴巴云CTO Dr. Feifei Li 在 Qwen Conference 2026 上宣布了从云原生到智能体原生的转型,并提出了四个基石:模型、智能云、工具和服务、规模。
入选理由:阿里巴巴云正在从云原生向智能体原生转型。
Google Antigravity 推出了轻量级、完整且可定制的 CLI 工具,解决了用户在终端中使用 Antigravity agent 的需求。
入选理由:Google Antigravity 发布了轻量级、完整且可定制的 CLI 工具。
Nvidia 正在调整其报告方式,将 hyperscaler 销售与其他业务分开,后者由 Nvidia 自行运营整个堆栈。
入选理由:Nvidia 将 hyperscaler 销售与其他业务分开,以突出其在 AI 堆栈中的主导地位。
介绍了一种基于 Weasel TSF 和 librime 的 Windows 输入法改造方案,支持通过打拼音、空格选词、回车实现中文到目标语言或风格的即时转换。
入选理由:该方案的核心操作是打拼音 → 空格选词 → 回车。
介绍了一个基于 Tauri + React + TypeScript 构建的 Markdown 编辑器,适用于 AI 聊天上下文管理场景,支持多种功能和主题。
入选理由:该编辑器基于 Tauri + React + TypeScript 构建,跨平台支持 macOS / Windows / Linux。
Uber 总裁质疑公司在四个月内花光全年 AI 预算是否合理,认为未能看到明显的实际回报。
入选理由:Uber 总裁质疑 AI 投入的合理性。
许华哲再次创业,专注于家庭机器人,认为具身智能不应局限于 robotics、自动驾驶或史前深度学习,强调强化学习的重要性。
入选理由:许华哲认为具身智能不应局限于 robotics、自动驾驶或史前深度学习。
Karpathy加入Anthropic的原因及背后的故事。
入选理由:Karpathy加入Anthropic是因为他看到了预训练在AI发展中的重要性。
对话纪录片导演赵琦,探讨个人成长、自我认知和打破框架的重要性。
入选理由:赵琦认为人生‘宕机’后应重启与重建,而不是简单修复。
本周AI新闻综述包括Google IO宣布Gemini 3.5和Gemini Spark,Musk在OpenAI诉讼中失利,以及数学研究进展。
入选理由:Google IO宣布Gemini 3.5和Gemini Spark,后者将在Chrome中作为半自主助手运行。
AI通过加速创新和生产力来改变行业,而不仅仅是可见的变化如编程和设计。这可能会导致新的业务模式和生产力的根本飞跃。
入选理由:AI正在通过加速创新和生产力来改变行业,而不仅仅是可见的变化如编程和设计。
Reasonix 是一个针对 DeepSeek prefix cache 进行优化的 AI 编码代理,适用于长会话,缓存命中率高达 90%,输入 token 成本降低至原来的五分之一。
入选理由:Reasonix 提高了 DeepSeek prefix cache 的缓存命中率到 90%+。
Gary Marcus 引发争议,认为神经符号 AI 正在拯救深度学习于水火之中,而智能人士 Peter Wildeford 却误解了他的原意。
入选理由:神经符号 AI 正在拯救深度学习
Gary Marcus 警告投资者,标普可能即将改变规则,这可能对退休基金造成数十亿美元的影响。务必阅读他的文章《This one weird trick might cost your retirement fund billions》。
入选理由:标普可能即将改变规则,影响退休基金。
Antigravity 宣布推出 Antigravity CLI,一个轻量级终端工具,用于启动相同的 Antigravity 代理。
入选理由:Antigravity CLI 提供与 Web 界面相同的代理和模型。
Simon Willison 分享了一段关于 Oxide and Friends 2026 预测集锦的转录,其中提到预测 Pope 会就大语言模型(LLMs)及其对全球经济的影响发表意见。
入选理由:Pope 将会在未来就 LLMs 发表意见。
Kling AI 在 House of David 第一季和第二季中发挥了主导作用,并交付了多项行业首创,包括首部由 AI 生成的场景和原生 4K 模型。
入选理由:Kling AI 在 House of David 中发挥了主导作用
安装并更新 Waza 工具,并将其写入 Agent.md 文件,以便更好地触发和应用技能。
入选理由:安装并更新 Waza 工具。
藏师傅的小红、小绿书组图生成器 Skill 配合 Codex 太好用了,能够自动匹配图片内容并生成合适的页面。
入选理由:该工具能够自动根据图片内容匹配对应的页数。
Codex 通过优化网络配置可以提升网速,但效果因系统和配置不同而异,核心价值在于案例驱动的精准诊断。
入选理由:Codex 可以通过优化网络配置提升网速,但效果有限。
通过使用欧盟云服务提供商,可以在每月不到10欧元的成本下搭建基础设施,包括托管、事务性邮件、分析、监控等服务。
入选理由:Hetzner Cloud 提供的 CX33 服务器配置每月约7欧元,适合运行 Django 或 Rails 应用。
作者回忆起早期推特的纯粹和无利害关系,认为那时的交流是实打实的学习。随着商业利益的增加,推特变得商业化,吸引了更多关注但降低了内容质量。
入选理由:早期推特因缺乏利益驱动而成为净土,大家实打实地学习和交流。
网易有道「子曰4」全模态大模型开源,支持图像/视频/语音输入,27B参数可本地部署,尤其适用于学习场景,TTS引擎独立开源,支持14种语言跨语种生成。
入选理由:「子曰4」支持多模态输入,27B参数可本地化部署。
本文探讨了AI伦理、搜索引擎替代方案及Go到Rust的迁移,强调技术应受道德约束,推荐隐私友好的搜索引擎,并分析了Rust的优势。
入选理由:教皇利奥十四世呼吁AI服务于全人类,反对超人类主义。
Lauren Kiana Palmer分享了她如何通过表演改变家庭命运,并反思了从生存到生活的转变。
入选理由:表演帮助Palmer一家摆脱贫困
Anthropic 宣布将 Claude 的周使用限制增加 50%,并从 6 月 15 日起改变订阅方式,导致用户对价格敏感,但业务采用率仍高于 OpenAI。
入选理由:Anthropic 将 Claude 的周使用限制增加 50%,至 7 月 13 日。
Google 在 I/O 上发布了新的 Gemini 模型系列,包括 Gemini 3.5 Flash 和 Gemini Omni,以及 Gemini Spark 作为其智能代理工具。
入选理由:Gemini 3.5 Flash 是更快更便宜的 Gemini 3.5 Pro 版本。