OpenAI
OpenAI是一家专注于人工智能研究与开发的美国科技公司，致力于构建安全、有益的通用人工智能系统。其主要业务涵盖大型语言模型（如GPT系列）、代码生成模型（如Codex）及图像生成模型（如DALL·E）的研发，并通过API向外部开发者和企业提供AI能力服务。公司以推动AI安全性与可解释性研究为重要使命之一。
核心事实
时间轴 (近 90 天)
在OpenAI的欧盟企业样本中，Codex和ChatGPT Work合计占Output Tokens的一半以上。
在OpenAI欧盟企业样本中，关联用户不超过200人的中小企业自5月以来周活增长超过8倍。
Town使用OpenAI、Anthropic等厂商的模型，并以模型中立性作为核心卖点，为每个场景选择最合适的供应商。
OpenAI CEO萨姆·奥特曼在近期一次公开表态中，评价个人电脑配备大量内存（RAM）的做法为“相当糟糕”（quite terrible）。
OpenAI 上调 ChatGPT、Pro 及 Business Premium 订阅中 Work 与 Codex 的用量额度，Pro100、Pro200 以及 Pro500 的额度直接翻倍，并明确不会降低相关订阅的用量限制。
OpenAI、Anthropic、阿里、DeepSeek等公司在争抢FDE类人才。
模型正在针对特定 Harness 进行训练，导致 Claude 模型在 Claude Code 中表现更好，OpenAI 模型在 Codex 中表现更好。
OpenAI 近日通过官方渠道发布了一组来自法院简报的摘录，内容汇集了创作者、学者、无障碍倡导者以及法律专家等多方声音。
这些法院简报的提交者覆盖了艺术家、作者、研究型学者、关注残障群体信息获取的无障碍倡导组织以及知识产权领域的法律专家。
WorkBuddy被UP主定位为“Codex国内平替版本”，核心卖点是门槛极低，不需要特殊网络环境，安装后即可让AI在本地电脑上执行任务。
还有 40 条时间轴事件
全部知识事实 (20)
@ai-sdk/provider-utils 承担 AI SDK 中与模型提供商交互的通用工具函数职责，包括流式响应解析、工具调用格式化、错误处理等底层逻辑
90%已验证xAI 提供与 OpenAI 兼容的 API 接口，这是早期 @ai-sdk/xai 能通过 Chat Completions 端点进行适配的基础
90%已验证@ai-sdk/vue是Vercel AI SDK面向Vue.js框架的官方适配层，为Vue开发者提供声明式API用于集成大语言模型能力，包括流式响应处理、聊天界面状态管理、工具调用等场景
90%已验证vLLM是构建在PyTorch之上的大语言模型推理引擎开源项目
90%已验证GPT-6 Astra能够操作建模软件和游戏引擎，具备看屏幕、点击界面、检查作品并继续修改的代理能力
90%已验证@ai-sdk/togetherai 是 Vercel AI SDK 官方提供的 TogetherAI 平台适配器，构建在 openai-compatible 基础包之上
90%已验证Vercel AI SDK 是由 Vercel 主导开发的开源工具包，为 JavaScript/TypeScript 开发者提供标准化的大语言模型集成方案
90%已验证Vercel AI SDK 通过统一 API 屏蔽 OpenAI、Anthropic、Google 等不同模型供应商的底层差异，开发者无需为不同供应商编写不同调用逻辑
90%已验证OpenAI将GPT-6 Astra定位为'能力上的世代级飞跃'
90%已验证Vercel AI SDK 提供统一的抽象接口（如 generateText、streamText），使开发者调用不同模型供应商时代码风格保持一致
90%已验证GPT-6 Astra的API模型标识为gpt-6-astra
90%已验证截至文章发布，OpenAI官方渠道均未确认存在名为'GPT-6 Astra'的产品
90%已验证形式验证工具如Lean、Coq可用于验证AI生成的完整数学证明，从而在数学意义上保证其正确性
90%已验证OpenAI提出的Scaling Law揭示模型性能随参数量、训练数据量和计算量的增加呈现可预测的幂律式提升
90%已验证Scaling Law 最早由 Kaplan 等人于2020年在语言模型研究中系统量化，指出模型性能与参数量、数据量、计算量之间存在幂律关系
90%已验证推理模型以OpenAI o1、DeepSeek-R1、QwQ为代表，核心机制是思维链扩展，在给出最终答案前生成大量中间推理步骤
90%已验证Function Calling（Tool Use）是大模型调用外部工具的标准化机制，开发者预先声明工具名称、描述和参数Schema，模型自主判断何时调用
90%已验证OpenAI最初以非营利组织形式成立，后引入营利性子公司结构
90%已验证Vercel AI SDK 封装了与 OpenAI、Anthropic、Google 等主流大模型 API 的通信逻辑，并提供 useChat、useCompletion 等 React Hook
90%已验证2020年Kaplan等人确立的扩展定律表明模型性能与参数量、数据量和计算量之间存在幂律关系
90%