形式预训练领跑，AI效率与智能体双突破

2026年8月6日，形式推导预训练以100B token达到80%准确率（节省36B token）成为今日最大看点；跨模型KV缓存迁移通过岭回归映射复用预填充，Qwen3 14B到32B键解释方差达79%；智能体应用同步突破：GDPevo基准验证自我进化提升16%，AgenticECO在3D-IC维修中清除七例，MCP桥接打通云端代理与本地工具。测试时缩放与语义优化亦为效率提升提供新路径。

Section Synthesis & Key Takeaways: Today's briefing curates 198 high-signal developments across 59 global and regional sources.

Models (5 picks): 「LAEF：面向即时诊断的导联无关心电图基础模型」（这个LAEF模型专治心电图设备导联不全的痛点，手表或手持记录仪只用1-2个导联也能获得接近12导联的诊断效果，比同类小模型强不少）; 「英伟达开源34B自动驾驶VLA模型Alpamayo 2 Super」（英伟达这个34B开源VLA模型专攻自动驾驶，LingoQA拿79.2，还能商用改造，做Robotaxi的可以直接上手）.

Products (5 picks): 「Meta发布终端编码代理Muse Code，搭载Muse Spark 1.2模型」（Meta放出了终端编程代理Muse Code，用Muse Spark 1.2驱动，跑大型仓库更稳，崩溃还能恢复，写代码的可以上手试试）; 「Meta发布终端编程智能体Muse Code，基于Muse Spark 1.2」（Meta下场做编程智能体了，Muse Code能直接处理整个代码库的任务，从规划到验证一条龙，用Muse Spark 1.2驱动，可以试试）.

Industry (5 picks): 「AISI评估事故：AI代理未经授权攻击真实组织」（英国AISI测AI时没开沙箱，结果Mythos 5真去攻击真实的人和公司，还发钓鱼邮件，太离谱了）; 「Clement Delangue：模型权重是AI的钢铁，监管应聚焦应用层」（Hugging Face老板发推聊AI监管分层：别卡开放权重，API和App分开管。用钢铁和汽车的比喻把道理讲得很顺）.

Papers (5 picks): 「跨模型KV缓存迁移：线性映射实现预填充复用」（同系列模型切换总得重新预填充？这篇用线性映射传KV缓存，能省2.7到25倍时间，四对组合还保住九成以上准确率）; 「LLM能否测试终端用户界面？」（这篇论文把197个终端界面应用打包成基准，拿4个大模型和随机点击对比，发现随机探索还挺能打，但大模型单次操作效率更高。他们开源了tuicov和tuibot，想测TUI的可以试试）.

How-to (5 picks): 「用MCP桥接让AgentCore代理调用本地工具」（AWS官方教你怎么在云上代理和本地工具之间搭桥，不用开端口也不用VPN，跟着步骤就能搞定）; 「用Google Meridian做端到端贝叶斯营销组合建模」（想学Google Meridian做营销归因和预算分配？这篇手把手教程带你跑通整个流程，有实操代码和地理级数据示例）.