华为何庭波"韬定律"论文发布,逻辑折叠技术提升芯片性能
华为何庭波提出“韬定律”,通过逻辑折叠技术在不依赖新光刻工艺的情况下提升芯片性能,麒麟2026芯片性能核心能效提高41%,最大时钟频率提升近13%。
入选理由:华为“韬定律”通过逻辑折叠技术提升芯片性能。
Daily AI radar
2026-05-26 当日 traeai 收录 60 条 AI 技术与产品资讯,按评分排序,每条带 AI 摘要、要点与原文链接。
canonical: https://www.traeai.com/daily/2026-05-26
华为何庭波提出“韬定律”,通过逻辑折叠技术在不依赖新光刻工艺的情况下提升芯片性能,麒麟2026芯片性能核心能效提高41%,最大时钟频率提升近13%。
Bounding Smart has released and open-sourced the latest generation of edge-side text foundation model Minicpm5-1B. It outperformed all models below 2B parameters on the international benchmark AA-Index with a 1B parameter scale, an INT4 quantized weight size of only 0.5GB, and runs on mobile devices and browsers.
Peter has opened source the skill-cleaner tool to help AI agents reduce context usage and call costs by slimming down their skills.
华为何庭波提出“韬定律”,通过逻辑折叠技术在不依赖新光刻工艺的情况下提升芯片性能,麒麟2026芯片性能核心能效提高41%,最大时钟频率提升近13%。
入选理由:华为“韬定律”通过逻辑折叠技术提升芯片性能。
Bounding Smart has released and open-sourced the latest generation of edge-side text foundation model Minicpm5-1B. It outperformed all models below 2B parameters on the international benchmark AA-Index with a 1B parameter scale, an INT4 quantized weight size of only 0.5GB, and runs on mobile devices and browsers.
入选理由:Minicpm5-1B outperformed all models below 2B parameters on AA-Index
Peter has opened source the skill-cleaner tool to help AI agents reduce context usage and call costs by slimming down their skills.
入选理由:The skill-cleaner tool can perform budget audit calculations for skill prompt ph
Qwen3.7-Max has become the second-best AI programming model globally, scoring 1541 on Code Arena, trailing only Claude. Designed for production use, it can handle 35-hour tasks, over 1,000 tool calls, and complete two-week projects in hours.
入选理由:Qwen3.7-Max scores 1541 on Code Arena, behind only Claude.
In this podcast episode, host Evan Swarztrauber interviews FCC Chairman Brendan Carr about the new role of the FCC in global technology competition, national security, telecommunications industry policy, and regulatory oversight. Carr emphasizes that the FCC is now at the forefront of American economic and national security policies, taking actions such as banning foreign-manufactured drones and Wi-Fi routers, cleaning up untrusted device certification laboratories, requiring e-commerce platform
入选理由:FCC Chairman Brendan Carr stresses the FCC's firm stance on national security is
Anthropic 获得梵蒂冈祝福,标志着全球范围内对 AI 对齐问题的关注增加。
入选理由:Anthropic 获得梵蒂冈祝福,成为首个获得教皇祝福的 AI 公司。
Slow AI is dead because the market for speed exceeds the market for slow AI.
入选理由:The market for slow search and dial-up internet is zero.
Lauren shares her experience using Cursor after not having used it before joining an interview. She points out that multi-model synergy, compaction acceleration, and GUI features are advantages of Cursor. She also introduces the pstack skill set and the Benny automation bot chain, emphasizing the importance of trust in automation.
入选理由:Multi-model synergy allows Opus and Codex to switch within the same session, imp
In 2026, the AlphaProof Nexus AI agent solved a math problem that had gone unsolved for 56 years, demonstrating the potential of AI in mathematical research.
入选理由:The AlphaProof Nexus solved a 56-year-old math problem.
华为提出「韬定律」,以时间缩微替代几何缩微作为半导体演进的新指导原则,通过逻辑折叠等技术降低信号传播时延,提升晶体管密度。
入选理由:华为提出「韬定律」,强调时间缩微而非几何缩微。
国产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 gave a comprehensive 90-min workshop at @aiDotEngineer Singapore last week that comprehensively traces through how topics like retrieval, agent loops, agentic workflows, and document understanding have evolved in the last 3 years. We’re excited to share the 116-page slide deck online. If you’re seeing this for the first time, you’ll get a sense of how all AI patterns have evolved since the very beginning. Including the following topics: The 12 pain points of naive RAG The importance of
入选理由: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 是执行层,负责调用模型、处理工具调用和决定何时停止。
Alibaba Cloud CTO Dr. Feifei Li announced the transition from cloud-native to agent-native at Qwen Conference 2026, outlining four pillars: models, agentic cloud, tools & services, and scale.
入选理由:Alibaba Cloud is transitioning from cloud-native to agent-native.
Google Antigravity has released a lightweight, complete, and fully customizable CLI tool that solves users' need to use Antigravity agent in the terminal.
入选理由:Google Antigravity has released a lightweight, complete, and fully customizable
Nvidia is changing its reporting to delineate between hyperscaler sales — where Nvidia is fighting commoditization —and everyone else, where Nvidia runs the whole stack.
入选理由:Nvidia is separating hyperscaler sales from other business segments to highlight
Introduces a Windows input method transformation scheme based on Weasel TSF and Librime, supporting real-time conversion of Chinese to target languages or styles through pinyin input, space selection, and enter key press.
入选理由:The core operation of the scheme is pinyin input → space selection → enter key p
Introducing a Markdown editor built with Tauri + React + TypeScript, designed for AI chat context management scenarios, supporting multiple features and themes.
入选理由:The editor is built with Tauri + React + TypeScript, supporting cross-platform u
Uber CEO questions whether the company's AI investment is reasonable after spending all its budget in four months and failing to see significant actual returns.
入选理由:Uber CEO questions the reasonableness of AI investment.
Xu Huazhe re-entered entrepreneurship, focusing on household robots, believing that embodied intelligence should not be limited to robotics, autonomous driving, or prehistoric deep learning, emphasizing the importance of reinforcement learning.
入选理由:Xu Huazhe believes that embodied intelligence should not be limited to robotics,
The reasons behind Karpathy joining Anthropic and the story behind it.
入选理由:Karpathy joined Anthropic because he saw the importance of pre-training in AI de
An interview with documentary director Zhao Qi discussing personal growth, self-awareness, and the importance of breaking out of frameworks.
入选理由:Zhao Qi believes that after a life 'crash', one should restart and rebuild rathe
This week's AI news recap includes Google IO announcing Gemini 3.5 and Gemini Spark, Musk losing in the OpenAI lawsuit, and significant mathematical research progress by OpenAI.
入选理由:Google IO announces Gemini 3.5 and Gemini Spark, which will run as a semi-autono
AI is transforming industries by enabling faster innovation and productivity, moving beyond visible changes like coding and design to create new business models.
入选理由:AI is revolutionizing industries through faster innovation and productivity.
Reasonix is an AI coding agent for your terminal that optimizes the DeepSeek prefix cache, keeping cache hit rates at 90%+ and reducing input token costs by fivefold.
入选理由:Reasonix increases the cache hit rate of the DeepSeek prefix cache to 90%+.
Gary Marcus 引发争议,认为神经符号 AI 正在拯救深度学习于水火之中,而智能人士 Peter Wildeford 却误解了他的原意。
入选理由:Neurosymbolic AI is saving deep learning
Gary Marcus warns investors that S&P may soon change its rules, which could impact their retirement funds by billions of dollars. Read his article 'This one weird trick might cost your retirement fund billions' immediately.
入选理由:S&P may soon change its rules, impacting retirement funds by billions.
Antigravity announces the release of Antigravity CLI, a lightweight terminal tool for launching the same Antigravity agents.
入选理由:Antigravity CLI provides the same proxies and models as the web interface.
Simon Willison shares a transcript from an episode of Oxide and Friends discussing predictions for 2026, including a surprising prediction about the Pope commenting on the economic impact of large language models (LLMs).
入选理由:The Pope will likely comment on LLMs and their economic impact.
Kling AI played a dominant role in seasons 1 and 2 of House of David and delivered several industry-firsts, including the first AI-generated scenes in a completed series and the first native 4K model.
入选理由:Kling AI played a dominant role in seasons 1 and 2 of House of David
Install and update the Waza tool, and write it into the Agent.md file to better trigger and apply the skill.
入选理由:Install and update the Waza tool.
Zang Shifu's Little Red Book and Green Book Group Picture Generator Skill with Codex is amazing, automatically matching picture content to generate appropriate pages.
入选理由:The tool can automatically match picture content to the corresponding page.
Codex 通过优化网络配置可以提升网速,但效果因系统和配置不同而异,核心价值在于案例驱动的精准诊断。
入选理由:Codex 可以通过优化网络配置提升网速,但效果有限。
通过使用欧盟云服务提供商,可以在每月不到10欧元的成本下搭建基础设施,包括托管、事务性邮件、分析、监控等服务。
入选理由:Hetzner Cloud 提供的 CX33 服务器配置每月约7欧元,适合运行 Django 或 Rails 应用。
The author recalls the purity and lack of interests in early Zhihu, where people genuinely learned and shared practices. As commercial interests increased, Zhihu became more commercialized, attracting more attention but lowering content quality.
入选理由:Early Zhihu was a净土 because it lacked commercial interests, with people genuinel
网易有道「子曰4」全模态大模型开源,支持图像/视频/语音输入,27B参数可本地部署,尤其适用于学习场景,TTS引擎独立开源,支持14种语言跨语种生成。
入选理由:「子曰4」支持多模态输入,27B参数可本地化部署。
本文探讨了AI伦理、搜索引擎替代方案及Go到Rust的迁移,强调技术应受道德约束,推荐隐私友好的搜索引擎,并分析了Rust的优势。
入选理由:教皇利奥十四世呼吁AI服务于全人类,反对超人类主义。
Lauren Kiana Palmer分享了她如何通过表演改变家庭命运,并反思了从生存到生活的转变。
入选理由:表演帮助Palmer一家摆脱贫困
Anthropic has announced an increase in Claude's weekly usage limits to 50%, effective until July 13th, and a change in subscription model starting June 15th, which has led to user dissatisfaction due to price sensitivity but higher business adoption compared to OpenAI.
入选理由:Anthropic increases Claude's weekly usage limits to 50%, effective until July 13
Google released several new products at I/O, including the Gemini 3.5 series, Gemini Omni, and Gemini Spark as its intelligent agent tool.
入选理由:Gemini 3.5 Flash is a faster and cheaper version of the Gemini 3.5 Pro.