35M小模型与可验证代码模型开源后,AI竞争开始重算有效参数
BarunLM用35M参数挑战小模型效率,清华VeriLoop Coder-E1把验证反馈引入代码模型自我改进,AI竞争正在从单纯扩大规模转向有效参数、可验证流程和真实应用闭环。
Cisco IOS XE 8 月硬化更新发布:7 个高危漏洞为什么要尽快升级
Cisco 发布 2026 年 8 月 IOS XE 安全硬化更新,修复 7 个按 CWE 类型归并的高危漏洞。本文梳理影响范围、升级版本、管理面排查和临时缓解建议。
AI 智能体是什么?为什么越来越多企业开始关注 Agent
为什么“AI 智能体”这几个字最近突然火了 这两年,很多人刚弄明白聊天机器人、提示词、大模型这些概念,转头又听到一个新词:AI 智能体,英文里常叫 Agent。它听起来像是一个很“技术圈”的名...









