OpenAI 的全部动态：GPT 系列模型、ChatGPT 与 Sora 产品、公司战略与人事的持续追踪。
OpenAI 称其 AI 系统在计算机科学（证伪指数时间假说 ETH）、数学（全维度局部平滑猜想）和物理学（四维量子场论存在性）领域生成了多项理论证明，并已将数学与计算机证明翻译为 Lean 语言以供逐步检验。团队正邀请包括诺奖得主 David Gross 及 ETH 提出者在内的外部专家进行独立审查，并向西蒙斯基金会承诺出资 500 万美元资助相关研讨。
推薦理由：原文梳理了前沿模型尝试解决重大科学猜想时所采用的 Lean 形式化验证与外部专家同行评审机制。
OpenAI 正申请美国联邦许可，计划在佐治亚州埃芬厄姆县数据中心建设中占用 72 英亩湿地。该许可若获批将允许其在对应的湿地区域开展项目施工。
研究员对 1000 个案例的分析显示，OpenAI 授权合作伙伴的内容通过名为 labrador 的专用引擎接入 ChatGPT，并在 Prompt 中置顶排在普通网络抓取结果之前。
推薦理由：实测数据揭示了 ChatGPT 对商业合作方与普通网页的差异化管线，为理解生成式引擎优化提供了具体依据。
OpenAI 宣布其 AI 模型在理论科学领域取得三项突破，包括证明所有维度的局部平滑化猜想（从而推导出卡凯亚猜想在全维度成立）、反证计算机科学中的指数时间假设（ETH），以及为四维杨-米尔斯理论与量子色动力学构造严格的数学存在性证明。
推薦理由：OpenAI 尝试用前沿模型批量推导未解科学难题并结合形式化验证，展现了人工智能协助基础理论突破的潜在路径与验证挑战。
OpenAI 正式发布新模型 GPT-6.1 Terra，主打低成本下的桌面电脑操作、视觉推理与编程能力。其 API 标准输入每百万 Token 为 1 美元、输出为 5 美元，价格较 GPT-5.6 Terra 降低 50%，并在多步骤智能体评测与终端代码基准中大幅超越前代。目前该模型已面向 ChatGPT Work、Codex 用户以及 API 开发者开放。
推薦理由：该模型在大幅压低调用成本的同时强化了桌面操作与终端编程能力，为需要高频执行长流程任务的智能体应用提供了更具性价比的选型。
OpenAI宣布其未公开内部模型在数学、理论计算机科学与物理领域取得三项基础理论成果，包括提出反驳指数时间假设（ETH）的亚指数时间3-SAT算法、证明全维度局部平滑猜想，以及给出四维规范场与费米子理论的存在性证明。
推薦理由：OpenAI内部模型产出多项数理与计算复杂度手稿并完成形式化，展示了机器推导理论成果交由学界审查的新协作范式。
OpenAI 宣布其 AI 模型在基础科学领域取得三项突破，包括反驳计算机科学中的指数时间假设（ETH）、攻克所有维度的局部平滑化猜想与卡凯亚猜想，以及为杨-米尔斯理论和量子色动力学构造严格数学存在性。
推薦理由：报道梳理了 OpenAI 模型反驳指数时间假设并攻克卡凯亚猜想等三项理论进展，展现了形式化验证工具在基础科学前沿的应用路径。
OpenAI 正式发布高性价比模型 GPT-6.1 Terra，主打电脑操作、视觉理解与更快的响应速度，标准 API 输入与输出价格较上一代降低 50% 至每百万 Token 分别为 1 美元和 5 美元。
推薦理由：新模型通过降低标准调用成本并显著缩减事实错误率，让开发者能够以更低开销将桌面操作智能体落地到日常业务中。
OpenAI 企业产品负责人 Alexander Embiricos 解析了常驻个人助手 dots 的演进逻辑，指出其源于将年初发布的 Codex 编码智能体工具重构为更易用的单一交互实体。
推薦理由：OpenAI 负责人复盘了将编码智能体转化为常驻助手的演进逻辑，呈现了主动型产品在交互设计与隐私权限上的权衡。
OpenAI 推出中杯模型 GPT-6.1 Terra，主打高速视觉推理与精确的电脑操作（computer use）能力，API 输入价格降至每百万 token 1 美元、输出 5 美元。
推薦理由：新模型大幅降低了调用成本并提升处理速度，有助于开发者以更低门槛落地长流程电脑操作自动化工作流。
高盛宣布向其“万名小企业”项目下一阶段注资5亿美元，并联合Anthropic、Google、Meta和OpenAI成立小企业AI学院，提供教育培训、算力工具和资金支持。
推薦理由：原文披露了高盛与四大机构的合作细节及小企业调查数据，有助于读者了解基础AI工具在实际业务中的真实渗透率与成本预期。
数学与人工智能咨询小组（AGMAI）呼吁 OpenAI 立即公开其宣布的杨-米尔斯理论、量子色动力学和标准模型完备性存在性证明背后的自然语言与 Lean 形式化输出。
推薦理由：数学与人工智能咨询小组要求公开杨米尔斯理论的 AI 证明细节，反映出学术界对闭源科研成果验证机制的规范诉求。
OpenAI 推出 GPT-6.1 Terra 模型，主打细致的视觉推理能力、精准的计算机操作（computer use）以及更自然的写作水平。该模型定位类似 Anthropic 的 Sonnet，在技术沟通上优于 Astra 和 Sol，且计算机操作响应速度大幅提升。
推薦理由：原文梳理了该中端模型在视觉推理与系统操作上的速度与定价优势，便于开发者评估替换高价模型的成本效益。
OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项理论突破，包括证明任意维度的局部光滑猜想、推翻指数时间假设（ETH），以及提出量子色动力学与杨-米尔斯理论的存在性证明。数学和计算机科学成果已通过 Lean 形式化验证并在 GitHub 开源，物理学成果正由外部专家团队审查，全部成果仍需学术界进一步独立核实。
推薦理由：原文展示了模型生成证明与形式化验证工具结合的过程，读者可以了解前沿 AI 介入严谨科学研究的具体协作方式。
OpenAI 宣布在数学、计算机科学和物理学领域取得三项新突破，并在 GitHub 上公开了模型输出与 Lean 形式化证明。成果包括声称证伪指数时间假设（ETH）的确定性算法、证明欧几里得波动方程局部平滑以解决全维度挂谷猜想，以及四维规范场论的存在性证明。本次 OpenAI 尝试引入外部专家引导成果解释，但该优先分发模式也引发了顾问团队关于获取公平性的规范讨论。
推薦理由：OpenAI 不仅公开了多项基础科学问题的模型证明，还尝试引入外部学者引导与 Lean 形式化验证，展现了前沿科研协作的新路径。
OpenAI 推出面向电脑操作任务的低成本模型 GPT-6.1 Terra，重点强化桌面软件自动化、视觉推理与事实准确性。该模型任务执行速度达到 GPT-6 Astra 和 GPT-6.1 Sol 的 3 倍以上，在最高推理强度下每项任务成本仅为 Claude Opus 5.5 的约九分之一，且错误率较前代明显下降。
推薦理由：原文公布了针对桌面操作与视觉推理的低成本模型及测试数据，读者可以参考其性能和定价评估自动化工作流的降本路径。
报告梳理了 9 家美国核心 AI 企业截至 2026 年底的财务表现，其合计估值达 2.18 万亿美元，而 2025 年总营收仅约 222 亿美元。OpenAI 与 Anthropic 凭借极高的营收增长斜率支撑起数百倍估值，SSI 和 Thinking Machines 等前 OpenAI 团队初创企业在零营收状态下亦获得数十亿至数百亿美元估值。
推薦理由：原文横向拆解了头部大模型公司的收入与估值倍数，帮助读者看清供应商资本循环对当前高估值的支撑逻辑。
OpenAI 分享了模型在挂谷猜想（Kakeya conjecture）、指数时间假设（Exponential Time Hypothesis）以及量子色动力学（quantum chromodynamics）上的研究结果。内容同时介绍了科研人员如何验证这些模型产出，并在现有结果的基础上进一步拓展研究。
推薦理由：原文展示了模型在挂谷猜想与量子色动力学等前沿理论问题上的结果，为学术界验证和推进相关研究提供了切入点。
OpenAI 正式发布 GPT-6.1 Terra 模型，其 API 定价较 GPT-5.6 Terra 减半，输入与输出 token 价格分别为每百万 $1 和 $5，缓存输入降至每百万 $0.05。
推薦理由：该模型在将价格压减一半的同时大幅提升了代码与计算机控制能力，为开发者评估中端性价比工作流提供了参考坐标。
瑞典政府出于对敏感数据处理与影子 IT 风险的担忧，禁止政府雇员在工作电脑上使用网页版 OpenAI ChatGPT 和 Anthropic Claude。官方此前调查发现员工无协议输入敏感信息存在被用于模型训练的隐患，建议改用已签署安全协议的 Microsoft Copilot 作为替代。目前仅少数员工可通过瑞典官方开发的专用 AI 平台受控使用上述模型，瑞典税务局等多家机构已同步执行限制。
推薦理由：瑞典政府因数据泄露与影子 IT 隐患限制直接使用公网模型，转向签署安全协议的商用方案与官方托管平台。