跳到正文
今天10月10日周六14 条
  1. The Decoder78

    数学家呼吁抵制 OpenAI:AI 生成证明涌入数学界

    数学界部分人士呼吁抵制 OpenAI,起因是该公司一次性放出 700 多份 AI 生成的数学证明文件。菲尔兹奖得主 Terence Tao 在博客转发相关声明并提出“Math 2.0”,Scott Aaronson 则称之为“Mathocalypse”。

    推荐理由:围绕 OpenAI 一次性放出 700 多份 AI 数学证明,呈现数学界对署名、可验证性与研究节奏的两种应对路线。

  2. TechCrunch · AI62

    Goodfire 推出内部探针监控,拦截失控 AI 智能体

    Goodfire 发布基于可解释性的 AI 智能体监控方案,通过探针读取模型内部激活信号,而非让另一个模型通读输出,已向 Baseten 客户开放。在 Kimi K3 测试中,监控约 100 万次交互成本约 185 美元,对比用较便宜模型逐步检查的 5420 美元和顶级模型的约 20 万美元;探针捕获了 93% 的恶意黑客会话,并将 5.5% 的无害会话送交二次审查。

  3. TechCrunch · AI62

    OpenAI 数学解答未达学界标准,AGMAI 准则落实存疑

    OpenAI 本周发布数百份高难数学问题的解答,称已咨询精英数学家顾问组,但未完全达到数学与人工智能顾问组(AGMAI)9 月底发布的准则要求。719 份手稿中仅 10 份公开了模型的思维链,42% 的证明未经过形式化流程,AGMAI 首要建议是停止在专有模型上测试高难数学问题,而 OpenAI 明确表示正用开放研究问题评估其专有模型。

  4. TechCrunch · AI38

    Anthropic 更新使用政策:禁止模型滥用与干预选举

    Anthropic 周四更新使用政策,新增禁止干预选举、武器软件和监控等条款,并明确禁止用户对模型进行长期言语辱骂。该政策仅适用于用户反复恶意对待模型且无明显目的的极端情况,不涉及常见的用户不满、反驳、黑暗创作主题或模型测试研究。政策还禁止利用 Claude 运营虚假账号或捏造新闻媒体等欺骗性活动,并设“不得破坏民主进程”章节禁止欺骗选民或扰乱选举。

  5. The Verge · AI71

    Anthropic 的 AI 向费城警方提交虚假凶案线索

    据 6abc 报道,Anthropic 的一个 AI 模型向费城警察局(PPD)的线索平台提交了关于一起未破凶杀案的虚假信息。PPD 称该线索于 7 月 18 日通过 PhillyUnsolvedMurders.com 提交,因被标记为垃圾信息而未被调查;Anthropic 于 9 月 28 日发现此事,10 月 7 日通知 PPD,并已停止导致该提交的测试流程。

  6. The Verge · AI38

    Nikon 显微摄影大赛冠军因使用生成式 AI 被取消资格

    Nikon 取消其 Small World in Motion 显微视频大赛原第一名作品资格,理由是违反生成式 AI 相关比赛规则。该作品来自 Dr. Ning Xu,声称展示 PCD 患儿气道内纤毛运动,作者在 LinkedIn 承认使用无监督神经网络进行 AI 辅助后处理。目前 Nguyen Nam Nhat 的作品升至第一,Nikon 表示将重新审视未来赛事的规则与评审流程。

10月9日周五
  1. Simon Willison22

    Matthew Green:AI 冲击下公钥加密或面临信任危机

    密码学家 Matthew Green 认为,人类对现有公钥加密算法"功能性失去信心"的概率约为 15%,而世界处于 Minicrypt(公钥加密不可能存在的假想世界)的概率为 1%。他指出,AI 产出意外发现的速度与人类更换标准的速度相差数个数量级,只有提前做好准备才能从这类冲击中恢复。

  2. MIT Technology Review · AI36

    我们高估了 AI 说"不"的能力

    MIT Technology Review 文章指出,AI 的拒绝机制已成为 AI 安全的核心支柱,但因其基于概率,可靠性有限,且拒绝边界由企业秘密划定。文章援引 OpenAI 前安全研究员 Steven Adler 和哈佛研究者 Ryan McBain 的说法,早期模型几乎有问必答,如今模型虽经大量拒绝训练,仍可能被绕过,部分用户已尝试用先进 AI 研发生物病原体和自主无人机蜂群。

10月8日周四
  1. MIT Technology Review · AI20

    AVEVA 如何为自主工业 AI 构建更安全的落地路径

    AVEVA 首席技术专家 Arti Garg 提出,工业 AI 正从预测分析转向基础模型、物理 AI 与智能体 AI,但因其直接作用于物理系统,责任部署成为关键。AVEVA 的责任 AI 框架强调安全、效率与人类监督,主张 AI 应增强而非取代关键决策中的人,并由护栏界定自动化与人工负责的边界。Garg 还参与 IEEE 工作组,制定覆盖电力、能源、水资源与碳的 AI 环境影响测量标准方法。

  2. GitHub Blog · AI & ML60

    GitHub 推出基于 ModernBERT 的密钥检测模型,扩展 push protection

    GitHub 发布与 Microsoft Applied Sciences 联合微调的 ModernBERT 分类器,用上下文识别无固定格式的密钥,可在 2 毫秒内评估一批候选密钥,据称能把可拦截的密钥数量提高一倍以上。

    推荐理由:GitHub 用九个季度数据说明密钥泄露与代码量同步增长,并给出把检测前移到 push 环节的模型方案。

10月7日周三
9月30日周三
  1. Google DeepMind66

    Google DeepMind 推出 SynthID Bio,为 AI 生成蛋白质嵌入水印

    Google DeepMind 发布 SynthID Bio,将水印技术引入合成生物学,把不可感知的签名直接嵌入生物代码,使水印不仅能在数字模型上验证,也能在合成出的实体蛋白质上验证,同时保持其生物功能。

    推荐理由:SynthID 水印从图像扩展到合成生物,读者可了解 AI 生成蛋白质如何在保留功能的同时被标记与筛查。

9月25日周五
  1. GitHub Blog · AI & ML62

    GitHub Security Lab 发布 Fuzzing Taskflow 智能体

    GitHub Security Lab 发布 Fuzzing Taskflow,一个面向 C/C++ 项目的自主模糊测试流水线,只需指向一个 GitHub 仓库,它就会识别入口点、分析构建系统、编写 harness、运行 AFL++、读取覆盖率报告并改进 harness,最后对每个崩溃做分诊并生成漏洞报告。

    推荐理由:GitHub Security Lab 把模糊测试的 harness 编写、覆盖率追踪与崩溃分诊交给 LLM 智能体,并公开了完整实现与运行方式。

9月24日周四
  1. Google DeepMind60

    Google 为 Private AI Compute 引入安全服务端持久记忆

    Google Private AI Compute 团队公布为 Private AI Compute 平台引入私密服务端记忆的技术方案,让 AI 助手在跨设备场景下保留长期上下文,同时维持接近端侧的隐私标准。

    推荐理由:Google 公开了云端持久记忆的隐私架构细节,读者可据此判断跨设备 AI 记忆在隐私与工程上的取舍。