OpenAI 又发布了一批数学突破
OpenAI 公开了由一款尚未发布的前沿模型产出的一批数学成果，包含 722 篇手稿、覆盖 372 个结果族，据独立数学家顾问组 AGMAI 称涉及“数百个”未解问题。值得关注的不只是结果本身，而是 AI 实验室如何发布、归因和评估这些成果的行业规则之争。
标签： 人工智能
OpenAI 发布内部前沿模型产出的数学研究成果
OpenAI 在 2026 年 10 月 6 日公开了一批由内部前沿模型产出的数学研究成果，并把论文、证明形式化代码和推理过程细节一并放到 GitHub 上，首次较系统地披露 AI 做原创数学研究的产出与成本。
Jump Trading 如何用 ChatGPT 规模化量化研究
OpenAI 发布案例称，量化交易公司 Jump Trading 借助 GPT‑6 Astra 把量化研究中的长周期任务交给 AI 智能体，从写代码片段升级到能独立完成数据分析与假设验证。
更新 IDE 即可恢复 Copilot 使用指标中的 Agent 活动
部分 IDE 把 Copilot 智能体会话迁移到 Copilot SDK 后，没有上报会话来自哪个 IDE，导致使用指标中的 Agent 活动被漏记或误算为 Copilot CLI。GitHub 已在 VS Code 1.139.0 及以后版本修复，其他 IDE 将在 2026 年 11 月前陆续跟进。
Manual observation evaluation batches report success after scheduling fails
这个报错通常出现在使用 Langfuse 手动观测评估（manual observation evaluation）批量任务时，评测任务实际没有成功进入队列，但批次仍然被标记为 COMPLETED 且 failedCount=0，本质是调度错误被吞掉。优先排查 scheduler 队列 add()
Bedrock evaluators fail on any observation that carries media (Cloud)
在 Langfuse Cloud 上，只要 LLM-as-a-judge 评测把带图（image/jpeg）的观察值映射给 Bedrock 模型，请求就会在真正调用模型前被拦下，报错提到 Bedrock evaluators fail on any observation that carries
OpenAI 给订阅用户和 API 用的模型大不相同？
有开发者用同一个 Codex 客户端、同一套输入、同样的模型和思考等级做对照测试，发现通过 API Key 访问时 OpenAI 返回的“推理 token”数量，比通过 ChatGPT Pro 订阅登录时高出最多约 32 倍。同一模型却给出两套用量数字，这件事比单纯的计费争议更值得关注。
人工智能现已具备自主开发推理硬件的能力
一个由 AI 自主设计的开源 AI 加速器 openTPU 已在真实 FPGA 板卡上跑通 10 个现代大模型，生成结果与仿真器逐位一致。它试图回答的问题很直接：AI 智能体在硬件设计上能走多远，能不能自己造出运行自身推理的芯片。
LibreOffice 称“拒绝 AI”如今已成为一项软件功能
LibreOffice 背后的非营利组织 Document Foundation 明确表示，在可预见的未来不会把 AI 功能加入软件默认安装，并把“不含生成式 AI”当作一项刻意的产品设计立场。在几乎每家软件都在塞 AI 助手的当下，这种反向选择值得关注。
Sources: AI neocloud Lambda is raising up to $4B led by Blackstone and Coatue at a pre-money valuation of $14.5B in a final round before its planned IPO (Robbie Whelan/Wall Street Journal)
据《华尔街日报》报道，AI 云服务商 Lambda 正进行上市前最后一轮融资，由 Blackstone 和 Coatue 领投，金额最高 40 亿美元，投前估值 145 亿美元。这说明资本市场仍在重金押注"卖算力"的生意。