跳到正文
10月9日周五
  1. Hacker News71

    OpenAI 与三名安全研究员解除关系

    据《华尔街日报》报道,OpenAI 与三名安全团队研究员解除关系,原因是他们涉嫌违反公司政策,将敏感公司信息分享给第三方 AI 安全组织。OpenAI 发言人表示内部调查确认这些人在既定公司流程之外不当处理敏感信息,但报道未披露涉事研究员、相关组织及信息内容。

  2. GitHub20

    华盛顿大学医学院发布 WUEM Sim Intel v3.9.0,用 AI 管理临床模拟中的潜在安全威胁

    华盛顿大学医学院急诊医学系发布 WUEM Sim Intel v3.9.0,一套面向临床模拟项目的潜在安全威胁(LST)管理与模拟改进系统。新版本支持 OpenAI 或 Gemini 灵活生成会后报告、提取 LST,并加入病例摘要上下文、重新设计的临床工作区和持久深色模式。系统基于 Cloudflare 原生技术栈构建,采用 GPLv3 开源许可。

  3. GitHub38

    Kvotar:macOS 菜单栏应用,实时显示 Claude 与 Codex 剩余配额

    Kvotar 是一款原生 macOS 菜单栏应用,可显示 Claude Code 和 Codex 的剩余配额,并估算当前用量能否撑到配额重置。它读取本机已有的登录凭证,无需输入密码或 API key,支持 Homebrew 安装,要求 macOS 14 Sonoma 或更新版本。所有用量历史仅保存在本机,不含分析、遥测或崩溃上报。

  4. RadarAI36

    Epoch AI:已出货 AI 芯片到 2027 年最多可支撑近 20 亿个并发智能体,固定性能成本每季度降 47%

    Epoch AI 估算,到 2027 年已出货的 AI 芯片最多可支撑近 20 亿个并发智能体(运行廉价模型时),若运行前沿模型则约为 3000 万至 1.7 亿个。其研究显示,固定 AI 性能水平的成本过去三年约每季度下降 47%,即每年约 13 倍,比 DNA 测序快 4 倍、比锂电池快 18 倍。此外,arXiv 数学预印本中 AI 使用致谢占比从 4 月的 4% 升至 8 月的 25%。

  5. Hacker News22

    Codex 默认启用 Instant Interrupts

    Codex 将 `instant_interrupt` 设为默认开启,新用户输入可抢占正在进行的响应,并产出前台 code-mode 观察结果。该功能仍标记为开发中,同时更新了 feature-policy 测试以允许这一例外,并在 core、TUI 和 Python SDK 等依赖响应先完成的测试中显式关闭即时中断。

  6. RadarAI71

    被 OpenAI 解雇的三名安全研究员致信董事会,要求保留对 AI 推理的可监控性

    据 WSJ 报道,三名因涉嫌不当行为被 OpenAI 解雇的安全研究员致信公司董事会,要求停止任何进一步削弱人类监控 AI 推理能力的开发。其中 Tomek Korbak 和 Mikita Balesni 是 2025 年一篇论文的负责人,该论文指出链式推理监控有用但脆弱。OpenAI 表示解雇原因是涉密信息处理不当。

  7. RadarAI76

    OpenAI 发布 GPT-6.1 Sol ultrafast,Codex steering 改为即时响应

    OpenAI 的 Tibo 在 Day 4 宣布 steering 改进为即时响应,模型对调整反应更快,可实时纠偏、避免浪费模型精力,同时发布 GPT-6.1 Sol ultrafast,两项改进配合效果很好。引用 @OpenAIDevs 的信息称,Ultrafast 当天起在 API、Codex 和 ChatGPT Work 推出,速度最高比 Sol Standard 快 8x。

    同一新闻,精选展示《OpenAI GPT-6.1 Sol Ultrafast 在 ChatGPT Work、Codex 和 API 推出》

  8. RadarAI62

    GPT-6.1 Sol Ultrafast 上线 OpenRouter

    OpenRouter 宣布 GPT-6.1 Sol Ultrafast 已在其平台上线,并给出 openrouter.ai/openai/gpt-6.1-sol 入口。其引用的 OpenAI Developers 帖子称,Ultrafast 当天起在 API、Codex 和 ChatGPT Work 中面向 GPT-6.1 Sol 逐步推出,速度最高可达 Sol Standard 的 8 倍。

  9. Hacker News50

    Vitalik Buterin 支持加密行业进入「地堡模式」以应对 AI 数学进展

    以太坊联合创始人 Vitalik Buterin 支持研究员 Justin Drake 提出的「地堡模式」警告,认为 AI 数学进展可能比量子计算机更早威胁区块链加密安全。Drake 建议用户逐步将资金迁移至公钥未暴露的新钱包,Buterin 同时警告基于格的抗量子加密也可能在未来两年受到 AI 数学冲击。

  10. RadarAI62

    Ethan Mollick 观察 OpenAI 证明引发社区快速迭代改进

    Ethan Mollick 转发并评论称,在 OpenAI 发布一系列证明引发数学界争议之际,其中至少部分证明似乎已引发大范围协作者社区的极快速迭代式推进。他引用的进展显示,κ 从 2⁻¹⁸² 收紧到 2⁻¹⁵,较此前结果提升 50 万倍,较 OpenAI 原始结果提升 2^167 倍。引用者 Doug Colkitt 表示已合并 Rohan 的 PR,并称这是多位贡献者技术结合的社区成果。

  11. RadarAI62

    OpenAI 发布的数学证明尚未达到数学界规范标准

    OpenAI 本周发布数百份针对世界最难数学问题的 AI 解答,但普林斯顿高等研究院 AGMAI 顾问组指出其未完全遵循 9 月底发布的规范。AGMAI 的首要要求是停止在专有模型上测试高等数学问题,而 OpenAI 明确表示正在用开放研究问题评估其专有模型;719 份稿件中仅 10 份公开了模型的思维链,42% 的证明未经过形式化。

  12. RadarAI78

    数学家组织 AHM 呼吁抵制 OpenAI,称其批量发布 700 多个 AI 生成证明是权力展示

    由陶哲轩担任主席的 AHM 组织发表声明,呼吁抵制 OpenAI,称其一次性发布 700 多个 AI 生成证明文件不是学术展示而是权力展示。此前 OpenAI 宣称内部模型一个月内解决逾 100 个开放数学问题,约 8000 个测试问题成功率约 5%,平均每个耗时 3 小时 GPT-Pro 级算力。

    推荐理由:材料汇集数学界对 OpenAI 批量发布 AI 证明的抵制声明与陶哲轩、Aaronson 等多方反应,便于了解争议全貌与社区分歧。

  13. The Verge · AI62

    USA Today 起诉 OpenAI,索赔超 2.5 亿美元

    USA Today 公司及其旗下多家地方报纸起诉 OpenAI,指控其未经授权复制“数十万篇”文章用于训练 AI 模型,并索赔超过 2.5 亿美元。诉状称 OpenAI 的商业成功建立在“大规模版权侵权”之上,从未就使用其内容寻求许可。