让 Codex 浏览器控制支持 Arc 的补丁工具
一个开源项目通过在本机重新构建 OpenAI ChatGPT 扩展的轻量补丁版，让 Codex 的浏览器控制功能在 Arc 中可用。原因是该扩展加载每个标签页前会等待 Chrome 的 tab-group API，而 Arc 从不响应这一调用，导致 Codex 打开的首个标签页卡住。
#OpenAI
Hacker NewsAI 评分2222 Hacker NewsAI 评分7171 数学家称 OpenAI 的 Navier-Stokes 证明在数学转代码时出现误译
剑桥大学等机构的研究者称，OpenAI 发布的 Navier-Stokes 问题证明在自然语言版与 Lean 形式化版之间存在不一致，具体出现在 Lemma 8.6：自然语言版要求某值小于 m + 4，Lean 版则放宽为小于 m + 5。
GitHubAI 评分2222 Vegsnap：拍照或选中文字即可判断产品是否纯素
Vegsnap 是一款判断产品是否纯素的工具，Android 端可拍照识别标签，Chromium 与 Firefox 扩展可检查选中文字或商品图片，覆盖食品、化妆品、家居用品及服装鞋类。
RadarAIAI 评分6262 Sierra 发布 Personal Agent Protocol（Poppy）协议草案，新增 35 家设计伙伴
Sierra 发布 Personal Agent Protocol 草案，命名为 Poppy，并宣布新增 35 家设计合作伙伴，包括 OpenAI、Meta、Bank of America、Mastercard、PayPal、Shopify、Walmart 等。
Hacker NewsAI 评分1717 用户因无法在自选 harness 中使用已购 token 取消 Claude 订阅
一位用户因无法在自选 harness 或 LLM 代理服务器中使用已购买的 token 而取消了 Claude 订阅，并称变通做法不受支持且有被封禁风险。他尝试过 Qwen、MiniMax、小米、OpenAI、Anthropic、OpenRouter 等多家服务，并通过代理服务器实现 /model 切换和自动路由。
RadarAIAI 评分6666 OpenAI Decisions API 进入公测，类型化答案比 Responses API 快约 10 倍
OpenAI 发布 Decisions API 公开测试版，端点为 POST /v1/decisions，可将文本和图像转为概率、选项或评分等类型化答案，官方称比 Responses API 快约 10 倍。
GitHubAI 评分2222 rcarmo/go-ai：pi-ai 的 Go 移植版，覆盖 41 家提供商 1495 个模型
rcarmo/go-ai 是 pi-ai 的 Go 移植库，提供模型发现、流式事件、工具调用、OAuth 辅助和多提供商请求管线，目前处于 v0 实验阶段。已接受的 v0.87.1 审计收录 41 家提供商的 1495 个文本/对话模型、10 种文本/对话 API 协议和 55 个图像模型，需 Go 1.25 或更高版本。
Hacker NewsAI 评分3636 用 Codex 和 Claude 智能体将 OpenAI 数学证明的 Lean 代码缩减 24.65%
一项实验用 Codex 和 Claude 智能体把 OpenAI 的 Unique Games 证明从 151,287 行 Lean 代码缩减到 113,990 行，减少 24.65%，定理陈述保持不变。过程由多轮智能体反复修改与校验完成，最终证明通过 Lean 内核检查，仅使用 propext、Classical.choice 和 Quot.sound 三条公理，未使用 sorryAx。
GitHubAI 评分88 API Evangelist 发布 Microsoft Azure OpenAI 第三方 API 档案
API Evangelist 发布了 Microsoft Azure OpenAI 的独立第三方 API 档案，记录其通过 REST API 提供 GPT-4。
GitHubAI 评分2020 LLM7.io 免费 LLM 接入端点开源：落地页源码与实时定价机制
LLM7.io 开源其落地页源码，这是一个无需重型硬件即可免费访问 GPT-4-like、DeepSeek、Mistral 等顶级 LLM 的开放端点，提供 OpenAI 兼容 API。
GitHubAI 评分1818 Auto Author：AI 驱动的长篇非虚构图书写作应用
Auto Author 是一款 AI 驱动的长篇非虚构图书写作应用，可从摘要生成目录、按章节进行访谈式提问，并基于问答生成草稿，支持多种写作风格与随时重新生成。技术栈为 Next.js + FastAPI + MongoDB，AI 集成 OpenAI 或本地 LLM，语音输入用 Web Speech API / Whisper API，支持导出 PDF/DOCX/EPUB/Markdown。
RadarAIAI 评分2222 ChatGPT 移动端支持创建 dot
ChatGPT 移动端现已支持完全在 iOS 和 Android 应用内创建 dot 并给它发消息，此前用户主要通过桌面端和网页端创建。这是 dots 系列更新的第 5 天内容。
RadarAIAI 评分6262 微软在 Microsoft Foundry 上线 Microsoft-Decision-1 决策模型
微软在 Microsoft Foundry 上线 Microsoft-Decision-1，该模型基于 Qwen3.5-9B 后训练，用于快速单次决策打分，后续计划迁移到 MAI 和 OpenAI 模型。
RadarAIAI 评分88 OpenAI 征集反馈
OpenAI 正在征集用户反馈，可向 @keyanzhang 和 @sharifshameem 发送。
The Verge · AI同新闻AI 评分8888 OpenAI 一次性放出近 400 项数学结果，数学家称需数年才能消化
OpenAI 本周突然发布近 400 项 AI 生成的数学结果，分布在 700 多份手稿中，覆盖组合数学、几何、数论、拓扑、概率与数学物理等多个方向。OpenAI 在 GitHub 上说明这些结果处于不同验证阶段，719 份手稿中仅 300 项主要结果完成 Lean 形式化，约 42%，并称会陆续补充。
同一新闻，精选展示《OpenAI 公布前沿模型在数学开放问题上的进展》
RadarAIAI 评分2222 ChatGPT dots 支持在 iOS 和 Android 手机端创建
ChatGPT 的 dots 功能迎来更新，用户现在可以直接在 iOS 和 Android 的 ChatGPT app 里用手机创建自己的 dot。此前该功能需在其他端操作，此次更新将创建入口扩展至移动端。
RadarAIAI 评分1212 ChatGPT 多项体验修复更新：浏览更快、通知更少、代码块更整洁
ChatGPT 上线一批用户长期要求的小修复，包括更快的浏览与更流畅的滚动、更少的无用通知、更整洁的代码块和附件、更简单的 Outlook 设置、更清晰的方案与更容易的重试，以及 Web 端和企业版语音访问更可靠。
RadarAIAI 评分3838 Codex 支持 dot 委派任务
ChatGPT 的 dot 现在可以在 Codex 中启动工作并跟进已有线程，调用 ChatGPT 对话、Codex 线程和自动化，同时更能判断何时延续线程、何时开启新线程。dot 还可在 ChatGPT Work 中查看和编辑 Scheduled Tasks，支持查询已安排任务或在计划变化时更新周期性任务。
RadarAIAI 评分3030 Codex 桌面端上线 Composer 预测
OpenAI 为 Codex 桌面端推出 Composer 预测功能，可根据对话内容和你与 Codex 的交流方式建议下一条消息，目前面向 Pro 用户开放 beta。该功能已包含在 Pro 套餐中，不消耗用量。
Sierra Blog精选AI 评分6060 Sierra 发布 Personal Agent Protocol（Poppy）草案并新增 35 家设计伙伴
Sierra 发布 Personal Agent Protocol（Poppy）草案，并公布新增 35 家设计伙伴，包括 OpenAI、Visa、Mastercard、PayPal、Target、Walmart 等。
推荐理由：协议草案给出了个人智能体与商家协作的五个构建模块，可据此判断现有网站与 API 的接入方式。
GitHubAI 评分2222 AI Workflow Navigator：面向非技术人员的 AI 入门指南
GitHub 项目 AI Workflow Navigator 发布，定位为非技术人员的 AI 使用蓝图，按无代码工具与提示词、API 接入（OpenAI、Claude）、自动化工作流三个难度层组织内容。项目提供零代码 API 配置、提示词模板、模型选择决策树，并建议用 Claude Haiku 或 GPT-4o-mini 等更便宜的模型处理 90% 的任务。
GitHubAI 评分1212 CodePilot AI 2.4.1 自主代码修复与智能调试引擎发布
CodePilot AI 发布 2.4.1 版本，这是一个基于 LLM 的自主代码修复智能体，在 2026 年基准测试中实现 79.4% 的自动解决率。它支持 OpenAI GPT-4-turbo 与 Claude 3.5 Sonnet 自动切换，并提供 CodeLlama、Mistral 本地离线回退模式，覆盖 15 种以上编程语言。
GitHubAI 评分2222 Jemini-JSON 2026 版：把 JSON 秒变可编辑文件夹结构
Jemini-JSON 2026 Edition 可将扁平 JSON 转换为可导航的文件夹层级，键变文件夹、值变文件，并支持浏览器内编辑与一键导出 ZIP。它采用递归下降解析器与虚拟树渲染，可处理最大 50MB 的 JSON 文件、深度 100+ 的嵌套结构，并支持 OpenAI、Claude API 按自然语言生成结构。
GitHubAI 评分1212 Agentic Code：面向自写仓库的自主工程平台
Agentic Code 是一个自主工程平台，通过单个 agentic.yaml 配置生成前端、后端、数据库、DevOps 等专用智能体，自动完成编码、测试、部署与迭代。平台支持 OpenAI GPT-4/GPT-5 与 Anthropic Claude 3.5/Claude 4 双后端，可混合编排；内置预测性调试与自愈仓库，能在生产环境检测到 bug 后自动生成修复、跑测试并部署补丁。
OpenAI NewsAI 评分2222 Asana 用 GPT-6.1 Sol 在浏览器测试中将模型成本降低 76 倍
Asana 借助 Codex 中的 GPT-6 Astra，在测试中让其浏览器智能体成本降低 76 倍、速度提升 5 倍，从而为客户提供能力更强的模型。
RadarAIAI 评分2222 Claude Code 消耗速度与模型比较
作者称 Claude Code 在视觉与创意任务中表现优于其他模型，包括 GPT-6 Astra，但账户额度消耗极快，即使刚充值也迅速见底。他认为 Opus 5.5 在这些任务中表现更好，由此引发对模型性能与成本效率的思考。
RadarAIAI 评分3131 Codex 为 Pro 用户推出输入预测功能（beta）
Codex 面向 Pro 用户推出 beta 版输入预测功能，可根据对话内容及用户与它的交流方式建议下一条消息。OpenAI Developers 称这是其内部测试过的最受欢迎的新功能之一。
RadarAIAI 评分2525 Codex 桌面版面向 Pro 用户推出 composer 预测功能测试版
OpenAI 在 Codex 桌面应用中面向 Pro 用户推出 composer 预测功能测试版，用于本地任务。用户按 "Tab" 接受建议，可编辑后发送，也可在设置中关闭该功能。
GitHubAI 评分3838 KeyLint：一键 Ctrl+G 用 AI 修复任意应用中的文本
KeyLint 是一款桌面工具，选中任意应用中的文本后按 Ctrl+G，即可由 AI 修复并写回原文，无需复制粘贴或切换窗口。它支持 OpenAI（GPT-4o、GPT-4）、Anthropic Claude、Claude Code CLI（复用已有订阅，无需 API key）及本地 Ollama，API key 存于系统钥匙串，所有调用经本地 Go 后端，无遥测与云同步。
The DecoderAI 评分7171 OpenAI 年化收入约 500 亿美元，同时洽谈至少 300 亿美元新融资
据 Financial Times 报道，OpenAI 截至 9 月底的年化收入约为 500 亿美元，此前近 700 亿美元的说法是按与 Anthropic 可比口径计算，差异源于双方对合作伙伴销售收入的记账方式不同。
Hacker NewsAI 评分7171 特朗普宣布成立 AI「超级智能部队」SIF，由情报总监 Jay Clayton 牵头
特朗普宣布成立「超级智能部队」（SIF），负责协调联邦政府以确保美国在超级智能领域保持领先，并推动与消费者、公共利益组织、宗教团体、基础设施提供商和行业领袖的沟通。
RadarAI精选AI 评分8282 OpenAI 年化收入约 500 亿美元并寻求 300 亿美元新融资
据《金融时报》报道，截至 9 月底 OpenAI 年化营收约为 500 亿美元，此前近 700 亿美元的数字源于与 Anthropic 不同的合作方销售入账方式，Axios 称两种方法均符合美国 GAAP。
推荐理由：报道梳理了 OpenAI 收入口径差异与融资进展，并解释一份收入报告为何引发芯片股下跌。
Hacker NewsAI 评分6262 OpenAI 将在欧盟为 ChatGPT 文本添加水印
OpenAI 宣布将在欧盟为 ChatGPT 和 Codex 生成的文本添加不可见水印，以符合 8 月 2 日生效的欧盟 AI 法案透明度规则，未来几周向欧盟所有套餐的符合条件的用户推出。
RadarAIAI 评分4747 HeyGen Voice 登顶 Artificial Analysis 受控语音 TTS 竞技场榜首
HeyGen Voice 在 Artificial Analysis 受控语音 TTS 竞技场以 Elo 1,201 登顶，超过 Qwen-Audio-3.1-TTS-Plus（1,182）和 Eleven v4 Turbo（1,166）。其发音鲁棒性得分 83.1%，定价 $30/1M 字符，生成速度为每秒 40 字符。
GitHubAI 评分1515 sanidhyy/genius-ai：基于 Next.js 的 AI SaaS 应用开源项目
开发者 sanidhyy 在 GitHub 开源了 genius-ai，一个基于 Next.js 的 AI SaaS 应用模板，集成 Clerk 认证、Aiven MySQL 数据库、Stripe 支付与 Crisp 客服。
RadarAIAI 评分3838 OpenAI ARR 口径争议与欧美开源模型挑战中国对手：Newcomer 一周综述
Financial Times 报道 OpenAI 向投资人展示的年化收入比广泛引用的 700 亿美元低 200 亿美元，核心是毛收入与净收入口径混淆，消息导致周四 AI 股受挫；Bloomberg 随后称 OpenAI 预计年底达到 700 亿美元年化收入（按净收入计）。
RadarAIAI 评分1010 OpenAI DevDay Exchange 柏林、巴黎、伦敦邀请陆续发放
OpenAI DevDay Exchange 柏林、巴黎和伦敦三城的邀请正在陆续发出，收到邀请者需尽快注册锁定席位。仍在等待的人可向 Vaibhav (VB) Srivastav 说明所在城市、正在构建或探索的内容以及参会理由，他与 JuhanaPeltomaa 会查看。
Hacker NewsAI 评分6666 交易员给 Oracle 五年内违约概率定价超 20%
信用违约互换价格显示，市场对 Oracle 五年内违约的隐含概率超过 20%，SpaceX 约 16%，Nvidia 超过 7%，Oracle 相关互换价格收于创纪录的 261 个基点。
Hacker NewsAI 评分6262 LLM 在数学领域的两种未来：Anthropic 与 OpenAI 的路线对比
作者 David G. Andersen 对比了本周 LLM 用于数学与理论计算机科学的两种做法。Anthropic 将结果交给 Josh Alman 和 Virginia Williams，两人据此完成一篇完整论文，用精细计数把 3SUM 从 O(n²) 降到 O(n^1.9992)，并连带削弱了一批此前被猜想为困难的问题。
TechCrunch · AIAI 评分2222 Amazon 放弃数据中心保密协议，AI 智能体想要你的信用卡
Amazon 宣布在与地方政府谈判数据中心交易时不再使用 NDA，此前 Microsoft 今年早些时候已采取类似举措。保密做法引发的社区反对已导致从纽约到旧金山数百项拟议和已生效的禁令。与此同时，一批初创公司押注消费者愿意让 AI 智能体访问自己的收件箱、文件和信用卡，前提是能让网站放行。