跳到正文
今天11月5日周四2 条
11月4日周三
  1. TechCrunch · AI51

    Anthropic 开源 FlashProve 系统研究,用密码学证明验证 AI 模型身份

    Anthropic 发布 FlashProve 开源系统研究,通过密码学证明验证给定输出确实来自某个特定模型。系统要求 AI 实验室发布不泄露模型权重的模型指纹,可在本地设备完成验证,防止暗中替换更便宜或更贵的模型。技术规范和代码已在 GitHub 开源,但目前没有在 Anthropic 或其他实验室部署的计划。

10月31日周六
10月30日周五
  1. The Decoder78

    Epoch AI 报告:开源模型 GLM 5.3 在 48 小时内零人工介入构建完整 Firefox 漏洞利用链

    Epoch AI 研究人员报告,开源权重模型 GLM 5.3 在无人工介入下利用补丁间隙攻击了 9 月 17 日至 10 月 26 日间的 6 个 Firefox 版本,每次成功攻击 API 费用约 $1,000,最快仅 12 小时,模型还独立发现了一个此前未知的、可绕过沙箱的漏洞。

    推荐理由:Epoch AI 的实测报告给出开源权重模型自主利用补丁间隙攻击 Firefox 的成本、时长和 Chrome 对比数据,可用于评估开源模型的安全扩散风险。

  2. 量子位48

    清华大学联合无问芯穹、智元提出群体经验学习(CEL),让机器人从同伴身上学习

    清华大学联合无问芯穹、智元提出群体经验学习(CEL)范式,让机器人从同伴的成功经验中学习,并在96台真实机器人集群上完成验证。两台未经训练的机器人经600次测试总体成功率达97.5%,五项任务成功率全部超过6名人类操作员平均水平;参与训练机器人从16台增至96台,成功率从86.7%提升到98.3%。

10月29日周四
10月25日周日
10月20日周二
  1. 开源中国32

    Linux 基金会发布报告:开源 AI 对 APEC 经济体的价值分析

    Linux 基金会发布报告,评估开源 AI 在 APEC 经济体的采用率、投资规模及经济社会影响。报告基于文献综述及与澳大利亚、日本、韩国、新加坡等 11 个经济体百余位专家的对话,指出开源 AI 通过降低成本、避免供应商锁定、促进创新,为中小企业和发展中经济体带来机遇,并分析了 AI 在制造业、医疗等领域的应用。

10月15日周四
  1. 钛媒体69

    书生-S2多模态大模型助力中国团队完成三维Ghys猜想证明并通过Lean形式化验证

    许地生团队依托上海AI实验室的书生科学多模态大模型S2,通过人机协同完成困扰数学界30余年的三维Ghys猜想证明,论文已发布在arXiv,形式化代码公开于GitHub。书生-S2完成7批接续推演,问题图从15个节点扩展到389个,输出上千页推导;北大董彬、刘若川团队用自研SHEAF框架在约5天内完成全部四个主定理的Lean形式化验证,产出约55万行代码。

  2. The Verge · AI59

    Anthropic 警告 AI 蠕虫风险:小模型可跨家用设备分布式运行并自我复制

    The Verge 报道 Anthropic 博客文章警告小型 AI 模型可能在数月内具备自我复制能力。实验将 260 亿参数的 Google Gemma 4 分拆到 15 台 Android 电视盒上运行,并在模拟 Android 网络中测试 AI 蠕虫,只有智谱 GLM-5.2 成功扩散到整个网络,传播的模型是 Meta 的 Llama 3.1-8B。