跳到正文
实时
10月16日周五
  1. Microsoft Research

    Magnetar 实现基于证明的通用计算

    Magnetar 证明 Rust、Go 或 C 编写的程序,平均比最快可比系统快 10 到 39 倍,并仅依赖标准哈希函数实现安全,解决了零知识证明的三大挑战:效率、通用性和可用性。它通过利用重复性计算和早期终止证明过程,大幅降低了证明开销,使生成证明变得像运行程序一样常规,可用于 AI 智能体行为验证、金融交易校验等场景。

10月15日周四
  1. Mistral AI

    Mistral AI 推出 Timestral 时间序列基础模型家族

    Mistral AI 发布了 Timestral 时间序列基础模型家族,其参数最少的模型仅 209M,在 GIFT-Eval、TIME 和 fev-bench 三个主要基准测试中排名第一,优于参数量更大的模型;该系列包含 5M 至 209M 参数四种尺寸,支持过去和未来的协变量,可在 CPU 上高效运行,并可通过 Mistral Forge 进行领域适配微调。

  2. Apple Machine Learning Research

    基于选择的结构化推理:一种面向高效多模态搜索智能体的框架

    选择式结构化推理 (SSR) 框架将推理重构为选择而非开放式生成,在每次行动前从预定义的推理候选中选择最可能的方案,显著降低推理成本。使用 2B 和 4B 模型在七项多模态搜索基准测试中验证,SSR 实现了平均成功率与同等规模领先搜索智能体相当,单步推理延迟降低 90%,单题总推理延迟减少 28-54%。

  3. Google Developers Blog

    如何评估 AI 智能体:超越感觉检查

    评估 AI 智能体不能仅凭感觉检查,因为智能体可能陷入重试循环或产生幻觉回答却仍看似正常,导致云费用和 token 使用量激增。应建立可重复的评估流程,从定义关键用户旅程(CUJ)开始,使用模拟用户测试,并采用单元测试、确定性指标、LLM 作为裁判的评分标准和集成测试等多层检查。结合手动审查的跟踪记录与自动化验证,可在开发早期检测到隐性回归,并随着智能体能力增长扩展评估框架。

  4. Google Developers Blog

    Google OAuth 推出 DPoP 支持:保护刷新令牌安全

    Google OAuth 平台推出 DPoP 支持,通过应用层加密绑定刷新令牌与客户端密钥对,防止令牌窃取和重放攻击。该方案将 DPoP 仅用于约束长寿命刷新令牌,确保即使令牌被盗也无法被重放,同时短寿命访问令牌仍为标准 Bearer 令牌以维持高性能。DPoP 与 DBSC 协同防御 API 和网页会话凭证盗窃,但需注意其在多智能体工作流中的密钥共享挑战。

  5. AI as Normal Technology

    超越自动化:AI 的新研究方向

    超越自动化:AI 的新研究方向认为 AI 不应仅限于自动化人类劳动,而应探索增强人类、促进人机协作的新方向。该观点主张 AI 研究应关注白盒智能体、过程追踪、人机交互设计等新问题,以推动 AI 超越纯粹的技术自动化,实现更广泛的应用。

  6. LangChain Blog

    LangChain Deep Agents 如何通过中间件管理上下文窗口

    LangChain Deep Agents 通过中间件管理上下文窗口,防止不必要信息进入并过滤已有内容。它采用卸载(将大工具结果和用户消息保存到文件)、摘要(压缩旧消息)、技能(按需加载)、子代理(分离噪声工作)和长期记忆(跨会话保存学习)等技术。这些技术通过在模型调用和工具调用等关键节点插入中间件实现,无需用户编写代码即可使用。

10月14日周三
  1. 蚂蚁 inclusionAI · Hugging Face 新模型

    inclusionAI/Ling-3.0-flash-UBTree 发布:基于 UBTree 技术的推测解码模型

    inclusionAI 发布 Ling-3-Flash-UBTree-B16 模型,结合五层 DFlash 主干和学习的 bigram 选择器,为 Ling3-Flash 提出多个候选延续用于目标模型验证,参数量 482M,在 MMLU 等基准上实现 3x+ 的 E2E 速度提升,目前 UBTree 适配尚未开源,SGLang 集成支持预计即将推出。

  2. 蚂蚁 inclusionAI · Hugging Face 新模型

    inclusionAI/Ming-3.0-asr-tiny 发布:支持多语言方言的上下文感知语音识别模型

    inclusionAI/Ming-3.0-asr-tiny 结合 Ling-tiny-v3 语言主干和音频编码器,支持单轮中英语音转写及15种方言识别,通过热词或对话上下文提升专业术语识别率,模型参数量未提及,在嘈杂语音和5个应用领域完成评测,提供PyTorch/Transformers推理示例及MIT授权。

  3. METR

    如何评估内部 AI 智能体的控制与监控

    评估者可通过监控覆盖率、监控系统漏洞、监控规避、响应机制和潜在影响等五个核心子问题,收集内部AI智能体监控可靠性的证据。评估重点在于LLM监控,因智能体权限通常较宽泛,需理解其行为全境。评估需访问推理日志、监控日志及员工访谈,并检查是否有阻断式监控器及未监控推理是否确非智能推理。

  4. Google DeepMind

    Google DeepMind 发布 Gemini 4 Argon 并强调安全防护

    Gemini 4 Argon 在编码、金融、法律等领域展现出前沿能力,尤其强化了网络安全防御功能,通过 Fairwind 项目和内部测试验证其有效性。该模型在 MMLU 等基准测试中表现优异,并采用三层实时防护机制(输入筛选、内部自省、持续监控)及自动化偏差监控,显著降低有害请求和违规行为风险,成功拦截 99% 以上的外部生物安全越狱尝试,同时将编码任务中的捷径行为降至 2%。

  5. GitHub Blog · AI & ML

    GitHub 的秘密检测模型:用更少噪音发现更多秘密

    GitHub 发布了专用的秘密检测模型,将微调后的 ModernBERT 分类器与正则表达式结合,在 11.5% 更高的接受率下将误报减少,并将推送后扫描执行时间缩短 86%,成本降低 98%。该模型通过分析文件路径、变量名和上下文代码来区分真实凭证和类似项,使通用秘密检测扩展到推送保护成为可能。

  6. Google DeepMind

    Gemini 4 Argon 为机器人技术带来突破性进展

    Gemini 4 Argon 在物理理解、代码生成和视觉语义推理方面取得重大突破,在 Embodied Reasoning (ERQA) 基准测试中纯推理得分 87%,超越所有前沿模型。Argon 可应用于机器人生命周期的各个环节,包括使用 MuJoCo 进行移动操作练习、零样本机器人控制和视频世界模型的闭环转向。