OpenAI 撤回的 Weil 类论文被 2b4m 形式化验证：符号错误被定位到 §3.4
有人用 2b4m 证明检查器将 OpenAI 撤回的预印本《Algebraicity of Weil classes on split abelian eightfolds》形式化了两遍，两条链仅差 §3.4 反向稳定迹的一个符号，却分别通过和失败。
#OpenAI
Hacker NewsAI 评分3636 GitHubAI 评分5050 Mozaiks：开源 AI 应用工厂，用 Genesis Build 与 Refinement Run 构建 AI 原生软件
Mozaiks 是开源 AI 应用工厂，用于构建、运行和迭代 AI 原生软件产品，整合了 Mozaiks Studio、基于 AG2 的 AI 工作流编排，以及经严格契约校验的生成应用文件。
RadarAIAI 评分5757 Ed Zitron 长文剖析 AI 行业依赖垃圾债融资的信用风险
Ed Zitron 发文分析 AI 行业对高收益债、杠杆贷款和私募信贷的依赖，指出 2026 上半年垃圾债发行达 2290 亿美元，约为投资级债的 28.4%。
RadarAIAI 评分3232 This Week in AI：OpenAI 发布主动式助手 Dots，Gemini 4 Argon 支持百万 output tokens
OpenAI 发布“主动式助手”Dots，可跨应用保留上下文、自主追求多个目标；Google 称 Gemini 4 Argon 单次响应可生成最多 100 万 output tokens。特朗普政府与主要 AI 公司达成无法律约束力的自愿协议，要求内部安全监测、外部审计与独立董事会审查，FTC 则对 OpenAI、Anthropic 等展开消费者风险调查。
NewcomerAI 评分6262 OpenAI 年化收入被指比报道低 200 亿美元，美欧三家开源模型对标中国
《金融时报》报道称 OpenAI 向投资者展示的年化收入口径使其实际 ARR 比广泛引用的 700 亿美元低 200 亿美元，原因是 OpenAI 使用净收入而 Anthropic 使用包含 Amazon、Microsoft 等合作方销售分成的毛收入；Bloomberg 随后报道 OpenAI 预计年底达到 700 亿美元年化收入。
GitHubAI 评分3030 axxalab/axxa-agent：支持 OpenAI、Claude、Gemini 的 Obsidian 移动优先 AI 智能体插件
axxalab 发布 axxa-agent，一款移动优先的 Obsidian 插件，提供 AI 对话、Vault 问答和可编辑笔记的智能体功能。该插件支持 OpenAI、Claude、Gemini、OpenRouter、NVIDIA NIM 或本地 Ollama，需使用用户自己的 API key。
RadarAIAI 评分2626 Google 后 Gemini 4 时代的挑战
Ethan Mollick 指出，Google 在 Gemini 4 之后面临的挑战是如何用好一个优秀的模型。Anthropic 和 OpenAI 表明行业正走向通过编排智能体以单一界面处理多种任务，而 Gemini 3 时代充斥着面向众多市场的碎片化产品，这一模式对下一步行不通。
TechCrunch · AIAI 评分3131 a16z 合伙人 Olivia Moore 谈消费级 AI 现状
a16z 合伙人 Olivia Moore 发布消费级 AI 应用 Top 100 报告，ChatGPT 仍是遥遥领先的最大玩家，Suno、ElevenLabs 等较小产品展现出持续生命力。
AWS Machine Learning BlogAI 评分2222 Amazon Bedrock、AgentCore 与 Strands 9 月更新盘点：OpenAI、Claude、Kimi K3、Grok 新模型上线
Amazon Bedrock 9 月新增 OpenAI 的 Astra、Sol、Luna 系列模型，其中 GPT-6 Astra 支持最高 100 万输入 token，GPT-6 Astra Ultrafast 提供最高 6 倍推理加速、300 tokens/秒。
GitHubAI 评分2222 securesein.github.io：一个部分由 AI 自动撰写发布的个人 AI 博客
securesein.github.io 是一个 Astro 静态站点加 Python 流水线的个人 AI 博客，脚本会读取 AI 新闻与研究源、打分筛选，并对部分栏目在无人工审核下直接起草并发布文章。
Where's Your Ed AtAI 评分2222 The Hater's Guide To Junk：AI 如何把垃圾债市场推向新高
AI 实验室每年需发行 500 亿至 1000 亿美元的高收益债、私募信贷与杠杆贷款，Anthropic 和 OpenAI 因负 EBITDA 与客户高度集中，信用评级可能落入 CCC/Caa 级。CoreWeave 据 UBS 到 2030 年需举债 1020 亿美元，而超大规模厂商 2027 年预计发行 4000 亿美元债券，规模已超 1800 年代铁路泡沫。
RadarAIAI 评分1717 A 股因 OpenAI 收入缺口、PCB 限制与风电反倾销三条消息剧烈波动
A 股今日上午大跌后下午反转微涨，市场对三条消息反应强烈。OpenAI 收入缺口实为统计口径差异被误读为业务下滑，PCB 行业限制消息已过时仍引发板块大跌，风电反倾销传闻被证实为假消息。
RadarAIAI 评分4242 OpenAI 为 Windows 版 Codex 推出基于 MXC 的新沙盒模式
OpenAI 为在 Windows 上使用 Codex 的开发者推出基于 Microsoft Execution Containers（MXC）的新沙盒模式，带来更快的设置、更强的网络隔离和细粒度文件访问控制，需兼容的 Windows 11 设备。MXC 现已在 Windows 11 正式可用，可将智能体限制在操作系统强制执行的边界内。
RadarAIAI 评分5757 Sabi 融资 5000 万美元种子轮，开发脑信号转 AI 提示词的脑机接口棒球帽
Sabi 完成 5000 万美元种子轮融资，用于开发把脑信号转成 AI 模型提示词的棒球帽，据报道估值 6 亿美元，由 Vinod Khosla 领投，Accel、DST Global、Initialized Capital 和前 OpenAI 产品负责人 Kevin Weil 参投。
RadarAIAI 评分1212 PixVerse 携手 OpenAI 推出 Prompt to Production 创作课程
PixVerse 与 OpenAI 合作推出学习计划 Prompt to Production，聚焦 AI 驱动的创意工作流。该计划以两场直播课程起步，讲解如何用 ChatGPT 和 PixVerse Plugin 将创意简报转化为成片视频。
RadarAIAI 评分2121 PixVerse 平台演示与 OpenAI 直播活动：ChatGPT 通过 PixVerse Plugin 生成创意简报和成片
PixVerse 宣布与 OpenAI 联合举办直播活动，每场包含 PixVerse 平台讲解、OpenAI 现场演示 ChatGPT 连接日常工具并使用 PixVerse Plugin 生成创意简报和成片、社区创作者分享以及现场问答。
RadarAIAI 评分5555 Instinct 实测：面对 Muse 和 Dots 夹击，短信式 AI 智能体表现如何
The Verge 作者实测初创公司 Instinct 的 AI 智能体，它通过 iMessage、WhatsApp 或短信以纯文本方式处理订预约、退换货等生活事务，目前邀请制且免费，公司 9 月底估值 100 亿美元。
RadarAIAI 评分6060 The Verge 分析特朗普强推 Super Intelligence 改名的阻力
The Verge 分析特朗普推动把 AI 改名为 Super Intelligence 的进展与阻力。他上月先在联合国演讲中称 artificial 一词让智能显得虚假，上周又签署行政命令要求尽量避免使用 AI 一词，美国 AI 标准与创新中心 CAISI 已更名为 CAISSI，司法部新闻稿也改用该词。
Hacker NewsAI 评分2222 Agentic Misalignment 是否预示存在性风险？
一篇哲学论文探讨 agentic misalignment 与"存在性风险"的关系，其写作背景是围绕所谓"Hugging Face incident"引发的对 AI 智能体失准的新一轮担忧。作者同时提出"AI creep"概念，并援引"cognitive surrender"描述人类以 AI 输出取代自身思考与判断的过程。
GitHubAI 评分3838 BrickBuilder：用 Claude 或 OpenAI 模型把图片和文字提示词变成可拼搭的 LEGO 模型
for-real-labs 开源 BrickBuilder，可将图片或文字提示词转换为可拼搭的 LEGO 兼容积木模型。其 LLM-to-bricks 流程由 Claude 或 OpenAI 模型在凸点网格上描述彩色几何形状，Python 将其转为彩色体素并检查连接、渲染预览供模型复审修改，再经 glb2brick / voxel2brick 转换器生成最终积木模型。
GitHubAI 评分2222 Ghost：本地授权 OSINT 案件文件工作区，SQLite 存储与来源溯源
Ghost 是一个本地授权的 OSINT 案件文件工作区，用 SQLite 存储调查记录并保留来源溯源，OpenAI 为可选项，--no-ai 走确定性启发式。
RadarAIAI 评分4242 Arena 一周榜单：Nano Banana 2.1、Mistral Large 4 与 Claude Haiku 5.5 排名更新
Arena 公布本周榜单：Nano Banana 2.1 在三个 Image Arena 模式进入前六，Multi-Image Edit 以 1431 分排第 4，Text-to-Image 第 5（1328 分），Image Edit 第 6（1428 分）。
Hacker NewsAI 评分3838 OpenAI Dots 与 Meta Muse 开发者对比：同一提示词建应用，Dots 8/8 公开可访问、Muse 0/8
同一提示词让 OpenAI Dots 与 Meta Muse 各自搭建并部署一个公开的 AI 服务状态看板，重复 8 次后 Dots 的 8 个应用全部通过 ChatGPT Sites 部署到 Cloudflare Workers 并可公开访问，Muse 的 8 次均未验证到公开应用。
GitHubAI 评分3030 Closed Form：把 AI 解出的数学题讲给所有人听
网站 Closed Form 基于 openai/math 发布内容（Vol. 1 含 372 个结果族、722 篇论文），为每个 AI 已解决的数学问题提供通俗解释，并标注可信度。解释由 AI 流水线撰写、再由第二个 AI 对照原论文核查，未经同行评审，每条目附“报告错误”链接。代码采用 MIT 许可，解释文本为 CC BY 4.0，与 OpenAI 无隶属关系。
Hacker NewsAI 评分3333 为什么编程智能体这么笨？
编程智能体仍是 AI 辅助开发的瓶颈，模型在干重活，智能体却拖后腿。作者指出当前智能体存在任务管理糟糕、不会委派子任务、不了解自身功能、计划沟通混乱等问题，例如 OpenCode 把可并行的 10 个子任务逐个串行执行，Claude Code 只会启动一两个子智能体且需等全部完成才继续。
Hacker NewsAI 评分3434 AI 与科学的未来：当机器比人类更擅长研究
一位物理学家出身的科学家探讨了"AI Science"的前景：若 AI 在研究上真正超越人类，科学的认知价值仍应归于人类对宇宙的理解，而非仅存于机器之中。作者借用 Terence Tao 在《大西洋月刊》2026 年 2 月的论述，将科研分为技术组件与认知组件，认为前者交给 AI 无可厚非，后者则须为人类创造洞见。
RadarAIAI 评分6262 OpenAI 称伊朗相关行动用 ChatGPT 在至少 20 家美国媒体投放约 100 篇文章
OpenAI 表示，一场伊朗相关行动用 ChatGPT 生成了约 100 篇文章，发布在至少 20 家美国新闻网站上。这些文章多以虚构署名出现，例如 Ervin Hoskins，内容涉及批评伊朗战争的评论，同一署名还出现在 Daily Kos 和 Middle East Monitor 等平台，两者在 Facebook 合计超过 300 万粉丝。
Hacker News精选AI 评分7878 Hacktron 披露 HEIF Heist：针对 HEIF/AVIF 图像解码器的一类 RCE 攻击路径
Hacktron 研究团队公布名为 HEIF Heist 的一类远程攻击路径，针对解码攻击者可控 HEIF、HEIC 或 AVIF 图像的服务，可导致内存破坏、数据泄露或远程代码执行。
推荐理由：Hacktron 披露一类针对 HEIF/AVIF 解码器的攻击路径，涉及多家平台，并给出受影响版本与修复建议。
The Verge · AIAI 评分3838 Instinct 如何在与 Muse、Dots 的竞争中守住 AI 智能体阵地
Instinct 以仅限邀请、无营销、几乎无官网的方式上线 AI 智能体，靠 iMessage、WhatsApp、邮件等短信式界面处理预约、邮件跟进等日常事务，9 月底公司估值达 $10 billion。
Hacker NewsAI 评分6262 CircleIt 发布 Chrome 扩展：在网页上圈选标注，Claude Code 或 Codex 直接改代码
CircleIt 发布 Chrome 扩展，用户在任意网页上圈选元素并写下修改要求，运行中的 Claude Code 或 Codex 会话会收到截图和标注元素，改完代码后回报结果。
Hacker NewsAI 评分6262 Opus 5.5 接手 Fable 的活，Haiku 5.5 推翻了我的判断
作者回顾 Anthropic 在 15 天内接连发布 Opus 5.5、Sonnet 5.5 和 Haiku 5.5 后的实际使用体验，认为这是他用过最好的 Anthropic 模型组合，已不再考虑离开。
Hacker NewsAI 评分6666 OpenAI 发布 722 篇数学预印本后撤回 3 篇
OpenAI 于 10 月 6 日在 GitHub 发布 722 篇预印本，称其内部 AI 模型在几何、计算机科学、代数等 372 个数学问题上取得进展，次日因一个符号错误撤回其中 3 篇，并修订了另外 14 篇。
Simon WillisonAI 评分3434 Simon Willison 用 Codex 语音模式为博客新增 Newsletters 页面
Simon Willison 用 ChatGPT 桌面版 Codex 标签页的语音对话模式，在做饭的半小时里几乎全程靠说话为博客建好了 Newsletters 页面，底层模型是 GPT-6 Astra High。
RadarAI精选AI 评分7878 OpenAI 解雇三名安全研究员，三人公开信提出三项要求
The Decoder 报道，OpenAI 解雇了 Tomek Korbak、Jasmine Wang 和 Mikita Balesni 三名与 Hugging Face 事件调查相关的安全研究员。
推荐理由：三名安全研究员被解雇后公开致信，读者可了解事件经过、双方说法与三项具体诉求。
RadarAIAI 评分6060 Simon Willison 用 Codex 语音模式为博客开发 Newsletters 功能
Simon Willison 用 ChatGPT 桌面应用 Codex 标签页的语音对话模式（模型为 GPT-6 Astra High），在做饭的约半小时内以纯语音为博客构建了 Newsletters 索引页。
Hacker NewsAI 评分6262 藏在租赁脚注里的3万亿美元AI债务
《华尔街日报》分析证券文件后发现，九家大型科技公司已作出约3万亿美元AI基础设施承诺，未出现在资产负债表上，约为同一批公司现有租赁和长期借款总额的三倍。其中约1.9万亿美元是采购承诺，约1.2万亿美元是已签但尚未开始的租赁，后者规模约为一年前的四倍。
GitHubAI 评分6262 transcriptcut 开源：通过编辑转录文本剪辑视频播客
transcriptcut 是一个本地优先的开源工具，通过编辑转录文本来剪辑视频，面向多说话人的长视频播客。删除转录文本中的内容，视频对应片段即被剪掉，时间线同步显示并支持撤销重做。
RadarAIAI 评分7171 汇丰计划裁减英国约 70% 理财顾问，将财富客户转向 AI 支持的数字服务
据 Financial Times 报道，汇丰计划裁减其英国约 70% 的理财顾问，将财富客户转向 AI 支持的数字服务。知情人士称，该部门一半的管理和专业岗位也将被裁减，银行正就涉及管理者、专业人员和理财顾问的岗位削减与员工进行协商。
RadarAIAI 评分4343 Sam Altman 谈 OpenAI 700 亿美元 ARR
Sam Altman 在 Bloomberg 上谈及 OpenAI 700 亿美元的 ARR 数字。完整视频发布在 Bloomberg Tech 的 YouTube 频道。
Hacker NewsAI 评分5858 伊朗相关行动利用 ChatGPT 在美国真实媒体中植入虚假文章
据《华盛顿邮报》报道，伊朗相关行动利用 ChatGPT 生成虚假文章，并将其植入真实的美国新闻媒体中。