跳到正文
10月30日周五
10月29日周四
10月16日周五
  1. Microsoft Research71

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

    微软研究院发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序执行过程,在 15 个基准程序上平均比现有最快 zkVM 快 10 至 39 倍,证明验证约需 12 毫秒。

    推荐理由:微软研究院梳理十余年零知识证明研究脉络,说明 Magnetar 如何同时兼顾通用性、速度与标准哈希函数安全性。

10月14日周三
  1. Google DeepMind82

    Google DeepMind 发布 Gemini 4 Argon 并说明安全防护措施

    Google DeepMind 开始广泛推送 Gemini 4 Argon,并同步扩大 Fairwind Program 的受信任网络安全防御者范围。该模型在 12 个端到端模拟网络攻击场景中全部通过,上一代为 5 个;在对抗测试集上违规请求减少近两倍。

    推荐理由:原文披露了 Gemini 4 Argon 在网络安全与生物风险上的防护分层,以及智能体越界监控的具体做法。

  2. Google DeepMind92

    Google DeepMind 发布 Gemini 4 Argon 模型

    Google DeepMind 发布前沿模型 Gemini 4 Argon,面向开发者、企业和科研人员开放,API 定价为每百万输入 token 2 美元、每百万输出 token 10 美元,缓存输入 token 享 95% 折扣。

    推荐理由:官方给出多领域基准排名、内部工程与科研落地案例和定价,可据此判断前沿模型在专业工作流中的位置。

10月8日周四
  1. GitHub Blog · AI & ML60

    GitHub 推出基于 ModernBERT 的密钥检测分类器,将防护前移到 push 环节

    GitHub 发布与 Microsoft Applied Sciences 合作微调的 ModernBERT 分类器,用代码上下文识别无固定格式的密钥,候选批次评估耗时不到 2 毫秒,可将可拦截的密钥数量提升一倍以上。

    推荐理由:GitHub 用九个季度的数据说明密钥泄露压力来自代码量增长,并给出用分类器把防护前移到 push 环节的思路。