重塑注意力机制：GTA登场，KV缓存缩减70%、计算量削减62.5%
重塑注意力机制：GTA登场，KV缓存缩减70%、计算量削减62.5%GTA 工作由中国科学院自动化研究所、伦敦大学学院及香港科技大学（广州）联合研发，提出了一种高效的大模型框架，显著提升模型性能与计算效率。
来自主题: AI技术研报
9451 点击 2025-07-23 10:15
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
GTA 工作由中国科学院自动化研究所、伦敦大学学院及香港科技大学（广州）联合研发，提出了一种高效的大模型框架，显著提升模型性能与计算效率。
AMD携手Stability AI宣布推出世界首款适用于Stable Diffusion 3.0 Medium的B16 NPU模型。该模型可直接运行于AMD XDNA 2 NPU之上，能够显著提升图像生成质量。新模型作为Amuse 3.1平台的组件之一亮相，于今天一起发布。
欧洲首款，不容易 CECP过的艰辛。
做海外社媒运营，可能会陷入这样一个“怪圈”？
在 Web 端 AI 产品中，ChatBot 仍然牢牢占据访问量的主导地位，「DeepSeek」、「豆包」与「通义」位列榜单前三，构成头部竞争格局。然而，这一阵营内部也开始显现出明显的分化趋势。
还在为发了广告没人点击而烦恼吗？还在纠结为什么花费巨资投放的数字营销效果越来越差吗？现实是，传统的营销漏斗已经彻底坍塌了。今天的消费者，特别是Gen Z和Gen Alpha，他们发现产品的方式已经完全改变：不再通过搜索引擎或者广告，而是通过TikTok的滚动浏览、Reddit的搜索，或者网红的推荐。
红杉美国合伙人 Konstantine Buhler 预测 2025 年将成为 AI agent 的“群体协作”时代，标志着 Agent 元年的到来。
迄今为止最强大的开源定理证明器登场！Goedel-Prover-V2仅用8B参数击败671B的DeepSeek-Prover，并再次夺下数学PutnamBench冠军。十位核心贡献者，八大顶尖机构，让AI形式化证明再破纪录。
80分钟的一场活动，Agent的“出镜次数”竟能高达217次。 解锁平均20多秒就提一次Agent的，正是云计算一哥，亚马逊云科技。
近日，由普林斯顿大学牵头，联合清华大学、北京大学、上海交通大学、斯坦福大学，以及英伟达、亚马逊、Meta FAIR 等多家顶尖机构的研究者共同推出了新一代开源数学定理证明模型——Goedel-Prover-V2。