跳到正文
今天11月6日周五2 条
11月5日周四
  1. Mistral AI75

    Mistral 发布 Mistral Large 4(Le Chonk)并扩展 Mistral Studio 平台

    Mistral 发布 Mistral Large 4(代号 Le Chonk),并扩展企业平台 Mistral Studio,新增托管智能体、应用、工作流能力以及企业上下文、智能体可观测性和评测功能。

    推荐理由:Mistral 同时更新模型与企业平台,并给出客户在生产环境中的具体用法和节省工时数据,可据此判断企业智能体落地的形态。

  2. AWS Machine Learning Blog50

    Amazon Quick 推出 Smart Approvals:为 AI 智能体操作保留必要人工审核

    Amazon Quick 上线 Smart Approvals,用独立的分类器模型对照用户请求评估符合条件的智能体操作,自动批准或退回人工审核,且不额外授予权限、不移除既有强制审批。该功能默认开启,管理员可通过 Custom Permissions 控制使用范围,用户也可自行关闭。自动批准为单次有效,仅适用于被审核的确切操作与参数,相关权限事件记录在 AWS CloudTrail 中。

  3. AWS Machine Learning Blog60

    生产级 AI 智能体的四层上下文工程:Deep Insight 在可运行代码中的实现

    AWS 团队以开源多智能体数据分析方案 Deep Insight 为参考实现,把生产级 AI 智能体的上下文工程拆成四层:多智能体架构隔离上下文、用提示词限制输出、把重内容外置到文件系统、用验证智能体与兜底机制把关。

    推荐理由:AWS 团队把 Anthropic 的上下文工程建议整理成四层可落地做法,并给出开源参考实现中的具体代码与节省比例。

11月3日周二
10月30日周五
10月24日周六
10月16日周五
  1. Microsoft Research66

    微软研究院推出 Magnetar:基于证明的通用计算 zkVM

    微软研究院发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序执行过程,在笔记本上每秒证明 720 万至 870 万条处理器指令。在 15 个基准程序上,它平均比现有最快的 zkVM 快 10 至 39 倍,证明验证耗时约 12 毫秒。其安全性只依赖 SHA-256、SHA-3 等标准哈希函数,不需要椭圆曲线、格密码、可信设置或未证明的纠错码猜想。

    推荐理由:微软研究院的 zkVM 把证明速度提升到此前同类系统的 10 至 39 倍,且只依赖标准哈希函数,读者可据此判断可验证计算的工程可行性。

10月14日周三
  1. GitHub Blog · AI & ML47

    GitHub 如何用 ModernBERT 分类器更少误报地检测密钥

    GitHub 为密钥扫描训练了专用 ModernBERT 分类器,替代此前的 LLM 流水线,用户告警接受率提升 11.5%,推送后扫描中位执行时间缩短 86%,服务成本降低 98% 以上。该方案先用正则高召回生成候选,再由分类器结合文件路径、变量名和上下文判断是否为真实凭据。效率提升使通用密钥检测得以扩展到推送保护,在推送前返回结果。

10月8日周四
7月29日周三
5月8日周五
  1. Berkeley AI Research48

    自适应并行推理:高效推理扩展的下一个范式

    伯克利 AI 研究团队综述并行推理领域进展,重点分析自适应并行推理——让模型自行决定何时分解并并行化子任务、开启多少并发线程以及如何协调。现有方法如 self-consistency、Best-of-N、Tree of Thoughts、MCTS、ParaThinker、GroupThink 和 Hogwild! Inference 的并行结构多由模型外部预设,未教会模型自适应行为。