TechCrunch AI、The Guardian · 人工智能 等 4 个来源TechCrunch AI 等 4 个来源 · 4 篇报道 · 据分享给投资者的财务文件，OpenAI年化收入约为500亿美元，比此前媒体报道的700亿美元低约200亿美元。公司近期告知投资者，截至9月底年化收入接近500亿美元，而7月的投资者材料显示当时约为300亿美元。OpenAI向投资者表示今年营收将达到500亿美元，低于上月向投资者提供的700亿美元预期，缺口约200亿美元。差异源于投资者希望与Anthropic的营收统计口径更直接可比：Anthropic计入通过AWS、Google Cloud等云合作伙伴的销售收入，OpenAI则不计入。消息令美国科技股承压，纳斯达克指数周四收跌1.4%，Nvidia跌2.9%，Oracle跌5.5%。
davegoldblatt/openai-zeta-proof-checkdavegoldblatt/openai-zeta-proof-check · 有研究者对 OpenAI 用 AI 模型生成的 Lean 证明做了独立复现，结论是证明通过检查。该证明声称 Riemann zeta 函数在 Re(s) > 7/8 时没有零点，比此前只排除 Re(s)=1 及左侧极窄区域的结果推进了一步，但不等于证明 Riemann 假设。证明规模约 2,900 个文件、近 50 万行，Lean 自带内核与另一套用 Rust 独立实现的 nanoda 内核都接受该证明，且只依赖 Lean 的三条标准公理。
Google DeepMind、Help Net Security AI 等 5 个来源Google DeepMind 等 5 个来源 · 5 篇报道 · Google DeepMind 发布前沿模型 Gemini 4 Argon，先通过 Fairwind Program 向一批可信网络防御者开放，并参与美国政府的前置模型访问自愿流程，之后再逐步扩展到开发者、企业和消费者。Argon 面向长周期复杂工作流，输出 token 上限从 64K 提升到 1M，在 DeepSWE v1.1 上取得 77.9%，在 LVBench 长视频理解上取得 91.7%。Google 称其在编程、企业办公、科学与数学以及网络安全等基准上达到 SOTA，可对标 Anthropic 与 OpenAI 的竞品；上下文窗口扩大 16 倍，内部已用于量子计算研究、数据中心内存优化和自动化编程。该模型能自主定位、验证并修补关键软件漏洞，会向受信任防御方及 Google 内部团队提供不带网络护栏的版本，Google 将据此微调护栏，并称其更抗提示注入。开发者、企业和消费者稍后可用，先面向付费 API 客户和 Google AI Ultra 订阅者。Google 表示这一能力级别需要分阶段发布，仍在根据早期测试者反馈调整护栏。
