OpenAI 的全部动态：GPT 系列模型、ChatGPT 与 Sora 产品、公司战略与人事的持续追踪。
OpenAI 向投资者披露的最新财务文件显示，截至 9 月底其实际年化营收接近 500 亿美元，比此前媒体预估的 700 亿美元少了约 200 亿美元。数据差异源于统计口径不同，Anthropic 计入了 AWS 和谷歌云等渠道销售收入，而 OpenAI 剔除了该部分合作收入。受此消息影响，美股科技板块走低，纳斯达克 100 指数收跌 1.4%，英伟达与甲骨文等算力相关股票亦出现下跌。
推薦理由：财务统计口径的差异直接影响了头部模型厂商的收入估算，也对二级市场的算力基建预期产生了连锁反应。
三名近期被解雇的 OpenAI 安全研究人员发表公开信，否认公司关于其违规处理敏感信息的指控，并警告突发解雇正在内部引发寒蝉效应。研究员在信中否认参与向媒体泄密或违规外传信息，强调与外部安全专家协作是识别并解决风险的核心机制。OpenAI 在内部备忘录中否认报复性解雇并肯定三人的研究贡献，但未具体回应所涉政策细节与外部协作保护机制。
推薦理由：公开信详细披露了解雇争议背后的具体事件与沟通细节，有助于读者了解前沿大模型安全审查与企业保密机制之间的现实冲突。
以太坊联合创始人 Vitalik Buterin 与研究员 Justin Drake 警告称，AI 在数学领域的快速突破可能先于量子计算破坏现行区块链所用的 ECDSA 椭圆曲线签名算法。
推薦理由：原文呈现了 AI 推动数学研究突破对现有加密体系的冲击，读者可以据此了解以太坊团队在地址管理与哈希路线上的防御思路。
因 OpenAI 内部模型批量发布涵盖千禧年难题等 700 多个数学证明草稿，多位数学家及组织呼吁抵制 OpenAI，批评其缺乏学术规范且忽视了深入理解的学科目标。菲尔兹奖得主陶哲轩与复杂度理论家 Scott Aaronson 指出，AI 批量解题但缺乏可读性颠覆了传统学术交流，可能破坏数学研究的长期生态。数学界目前对全面抵制是否可行以及如何调整研究评价体系存在明显分歧。
推薦理由：介绍了 AI 批量解决数学难题对传统学术研究生态的冲击与数学界反思，读者可借此理解前沿推理模型对基础学科范式的影响。
OpenAI 的年化营收比此前向外界释放的预期数据低 200 亿美元。相关消息来源于英国《金融时报》（Financial Times）。
USA Today（《今日美国》）因 AI 模型训练中的版权侵权问题正式起诉 OpenAI。该诉讼针对 OpenAI 在未经授权的情况下使用其版权内容进行模型训练的行为展开法律追责。
推薦理由：媒体机构起诉 AI 厂商侵犯训练版权的案件持续增加，读者可以关注该诉讼对大模型训练数据合规与版权授权模式的影响。
OpenAI 近期发布了针对数百个数学难题的求解成果，但数学与人工智能咨询小组（AGMAI）及多位数学家指出其未能达到学术界标准。剑桥大学等机构的研究指出 OpenAI 提供的自然语言证明与 Lean 形式化代码存在多处差异，且 719 篇文稿中仅 10 篇公开了思维链；陶哲轩等学者强调，缺乏人类理解与同行评审的 AI 自动证明结果不应被直接盲信。
推薦理由：文章梳理了数学界对模型自动形式化证明的质疑要点，展现了前沿模型涉足科学研究时在可解释性与形式化检验方面的实际挑战。
OpenAI 已告知投资者其年化营收接近 $50B，较此前传出的近 $70B 减少约 $20B。此前 $70B 的估算源于投资者尝试与 Anthropic 进行直接对比，但双方统计口径不同，Anthropic 会计入云合作伙伴的销售额而 OpenAI 不计入。此外 OpenAI 在 3 月单轮融资 $122B，原定今年推进的 IPO 已推迟至 2027 年初。
推薦理由：材料梳理了头部大模型公司年化营收的真实水平与统计口径差异，有助于读者评估其商业化变现与巨额融资之间的现实平衡。
开发者开源了由大模型全自动将微软 Go 版 TypeScript 编译器移植为 Rust 的项目 ts-rust（tsc-rs）。该移植版耗资约 24047 美元并主要由 Opus 5.5 完成，完全通过了 181711 项测试用例，实测在 60 个开源项目中的类型检查速度达到 Go 版本的两倍。
推薦理由：项目展示了大模型全自动跨语言移植复杂编译器代码的工程实践与成本收益。
文章深入探讨了美国在 AI 训练与模型蒸馏上面临的双重标准与法律悖论。美国司法部在版权诉讼中主张未经授权抓取人类作品进行模型训练属于合理使用，但安全机构与前沿实验室却将其他机构利用 API 蒸馏模型输出的行为指控为恶意盗取能力。美国实验室之所以对蒸馏违约行为保持克制而未提起全面诉讼，在于一旦法院确立模型输出享有排他性权利，将直接瓦解美国 AI 公司自身对抗人类创作者版权诉讼的核心抗辩基础。
推薦理由：原文通过对比美国政府在版权合理使用与防范模型蒸馏上的自相矛盾立场，剖析了模型输出权属界定对整个 AI 法律格局的影响。
英国 Co-op 法律服务部门引入基于 OpenAI 模型的自动化监听技术，对处理遗嘱与遗产咨询的员工客户通话进行全量录音、分析并评分。该系统从 50 多个维度评估每通电话并向管理层提供绩效考核数据，引发员工和工会对职场过度监控与心理压力的强烈抗议；Co-op 方面则回应称该技术仅作为质量保障与辅导支持工具，并非直接决策者。
推薦理由：原文披露了企业将大模型用于全量员工通话监控与绩效打分的实际案例，展示了 AI 职场监管在服务质检与劳工权益之间引发的现实争议。
开源 Mac 菜单栏应用 Porch 正式发布，可自动归纳 Claude Code 和 Codex 的本地编程会话并生成工作日志。该工具按项目、天、周或月统计任务耗时与阻塞问题，展示会话状态并估算 token 及 API 成本，支持导出 Markdown 到 Obsidian；所有会话记录保存在本地，同时提供配套 CLI 命令行工具。
推薦理由：原文给出了追踪 Claude Code 与 Codex 会话的汇总维度和本地存储机制，便于多智能体编程用户量化任务耗时与 token 成本。
The Verge 播客深入探讨了 Meta 的 Muse 与 OpenAI 的 Dots 两大自主智能体平台的竞争格局。Meta 依托庞大的分发网络为用户免费提供云端 Linux 实例，计划未来通过后端交易抽成变现；OpenAI 则面向企业知识工作者推出专业智能体，并设定每月 100 至 200 美元的高门槛订阅费。
推薦理由：访谈从商业模式与系统架构对比了 Meta 与 OpenAI 的智能体策略，有助于读者评估免费大众化与高价企业级产品背后的隐私和落地差异。
随着 AI 模型在复杂数学猜想与密码分析中接连取得突破，公钥加密所依赖的计算不对称性假设正面临被 AI 攻破的实质风险。一旦公钥加密失效，端到端加密通信将无法在公开网络中直接建立，互联网可能退回依靠可信中介与物理分发的对称加密模式。作者认为社会应提前设计多方中介与密钥分发协议，防范超级 AI 对现有网络安全底座的冲击。
推薦理由：文章系统梳理了前沿 AI 在数学推导与密码分析上的突破，评估了公钥加密假设若被攻破对端到端通信架构的深远影响。
陶哲轩针对 OpenAI 称其前沿模型解决数百个数学难题发表评论，主张在数学 2.0 时代应降低抢先解决难题的核心地位。他指出传统证明会经历专家研讨并最终沉淀为讲义体系，而 AI 仅通过提示词产出证明却缺乏深入理解与同行交流，甚至迫使学者因防备抢发而隐匿成果。陶哲轩建议从更全面的视角衡量数学进步，提升学术阐释、社区建设以及开辟新方向的价值。
推薦理由：陶哲轩指出了 AI 自动解题缺乏学术交流与理论消化的局限，为评估大模型对基础科学研究范式的冲击提供了新视角。
文章将当前 AI 编程智能体生态与操作系统大战进行类比，指出决定开发者长期留存与锁定风险的核心在于外围的 Harness 架构而非底层模型。作者将 Claude Code、Codex CLI、OpenCode 和 Antigravity 分别比作 Windows、BSD、Linux 和 Mac，强调了兼容性习惯、开源许可证与深度集成的差异。
推薦理由：文章将当前AI编程智能体生态类比操作系统之争，深入拆解了生态兼容性与工作流积累对防止供应商锁定的现实意义。
OpenAI 宣布在 ChatGPT 中上线 Intelligent UI 交互能力，并向全体用户推送 GPT-6。新能力支持将回答直接呈现为带滑块、计数器、数据图表及分账器等可操作的交互工具。付费订阅用户即日起可在 ChatGPT 中体验，免费用户与 Go 用户将于次日上线。
推薦理由：原文通过多种生活与学习场景展示了动态交互界面的生成效果，有助于读者了解生成式交互对大模型回答形式的改变。
OpenAI 在 GitHub 仓库 openai/math 中发布了由内部未公开模型生成的 722 份数学手稿与 372 组研究成果，声称在准黎曼猜想、矩阵乘法等经典未决问题上取得进展。文章系统梳理了该事件背景、菲尔兹奖得主等数学家对 AI 冲击传统研究伦理的联名反馈，并分析指出借助 Lean 等形式化验证工具，数学正率先经历技术爆发，而人类的审核与理解正在成为核心瓶颈。
推薦理由：原文系统梳理了数学研究被AI加速的事件脉络与学界争议，分析了验证机制对不同学科发展节奏的深远影响。
马里兰大学物理学家 Matt Landreman 借助 GPT-6 Astra Pro，成功推导出了两族非对称光滑三维等离子体平衡的精确解析解，推翻了 Harold Grad 在 1967 年提出的猜想。
推薦理由：原文呈现了研究者利用大模型推导解析解与形式化验证的过程，为科研人员探索复杂物理方程提供了具体提示词与交互参考。
Anthropic 正式发布 Claude Haiku 5.5 模型，首度支持 low 到 max 的五档 effort 调节，并在 100k token 以内的请求中将输入输出价格下调 90%。
推薦理由：原文对比了新模型的跑分与实际调用成本变化，并梳理了五项破坏性接口改动，便于开发者评估升级影响。