OpenAI 联合 GSA 为美国联邦、州、地方和部落政府提供免费许可与五折使用优惠
OpenAI 与 GSA 宣布向符合条件的联邦、州、地方和部落政府提供 $0 许可费、使用费五折优惠,并扩展网络防御支持。
OpenAI 与 GSA 宣布向符合条件的联邦、州、地方和部落政府提供 $0 许可费、使用费五折优惠,并扩展网络防御支持。
你确定吗?找到最优模型规模很棘手:数据量、激活参数量、环境数量,以及目标推理成本。模型性能还取决于许多其他因素,每个因素都带来各自的变数。
Fable is probably ~2-2.5T parameters, not 10T. Kimi K3 is 2.8T params, trained on maybe 20–30k Blackwell-equivalents. It lands within spitting distance of Fable 5 in terms of capabilities (5, not 5.1). Anthropic has far more compute than Moonshot, better rl environments, better architecture and better optimizers and all of that adds to capability per parameter. So if Fable is only slightly ahead of K3 with this in mind, it's almost certainly a smaller model. GPT-5.5 and 5.6 are smaller still (I'll say more on that later)
OpenAI 在 API 中推出 GPT‑Live‑1,提供自然的全双工语音对话能力。模型具备更强的指令遵循、自定义语音和电话(telephony)支持。
推荐理由:官方公告给出 GPT‑Live‑1 的核心能力清单,读者可以据此评估其语音应用场景的适配性。
OpenAI 发布 Agents API,这是一个用于构建和启动云端 Agent 的托管服务。该服务由 Codex harness 驱动,支持编排、长时间运行的会话和工具使用。
推荐理由:原文来自 OpenAI 官方公告,可了解基于 Codex harness 的云端 Agent 托管服务入口与定位。
非常感激 Paul 加入 OpenAI 基金会董事会。我们有很多事要做。
https://x.com/i/article/2097730969369477120
Paul Christiano 加入 OpenAI 基金会董事会,并同时进入其安全与安全委员会(Safety and Security Committee)。官方介绍称他带来 AI 对齐、安全与标准方面的经验。
Pragmatic Engineer 播客对话 OpenAI Core Products & Platform 负责人、Codex 工程师 Tibo Sottiaux,讨论 Codex 的构建与迭代。
OpenAI 的 Chris Lehane 发文称,AI 政策窗口已经打开,需要立即行动。他主张更强的 AI 能力必须配套更强的安全证据、共享标准与持久的政策行动。
Sebastian Raschka 撰文点评 OpenAI 新发布的 GPT-6 Astra,认为它是其迄今用过最强的模型,在 3D 渲染、动画和计算机使用上提升尤其明显,并详解计算机使用训练流程(据报道 OpenAI 采购数万台 Mac mini/Mac Studio 作为 macOS 训练环境)。
OpenAI 发布 GPT-6 Astra,定位为面向商务的最强模型。该模型具备高级推理和计算机使用能力,写作与设计判断也更强。
推荐理由:官方发布了面向商务场景的新模型,点出推理、计算机使用和写作设计判断三项能力方向。
“we cannot rule out that de-identified data derived from their usage of our products helped improve our models.” i mean props to them for straight coming clean. (so far the proof looks more along the lines of another euler blowup proof we had, off of whose ansatz naming we were making really stupid puns like “smooth criminale”, unlike the much better “ideal fluids explode”, Tristan) so i’ll now give a bit on my thinking here. i actually woulda been pumped to collaborate on this, there are a lot of people at oai i like (ok, clearly some were indirectly dicks to me because of being part of the whole situation, but im a big boy, i still like them), idgaf about authorship on that step anyway, coulda been me Tristan and every fte at oai for all i care (on that Tristan would disagree:p). but on hearing the loud convo in the hallway, especially the part where a millennium prize was offered if i’d just be removed from the paper, it was kinda clear the die had been cast and things were locked. pretty wacky, unstrategic, and unnecessary, since on my side things were mostly me and claude having a good time yoloing random stuff in the corner rather than anything institutional. i also like the idea of the labs cooperating, and even better on scientific progress. it’s a shame!
I would like to clarify a few things: 1) The screenshot is my reaching out to Levent to coordinate our releases. I hope it’s clear from the message that we came in with the best possible intentions. 2) I never ever asked for Levent to be removed from authorship of his own work (as indicated by my text). I was surprised to learn during the call with Tristan that they had only solved Euler and not Navier-Stokes; after learning this we brainstormed possible paths forward. One option we discussed was that Tristan could be the lead author on a rewrite of OpenAI’s Navier-Stokes proof. It is in that context that I said “it would be simpler if Levent was not an Anthropic employee” because I felt it would be inappropriate for an Anthropic employee to author OpenAI’s work. Importantly it was admitted that internal Anthropic models had been used in their proof of Euler blowup; I therefore felt I could not consider Levent to be an independent academic. Another option I wanted to propose (but got cut short) is to offer access to our internal model so that they could try to finish their proof and bridge the gap between Euler and NS. Again I did not know how to navigate giving access to internal OpenAI IP to an Anthropic employee. 3) To reiterate it plainly: as my text clearly indicates, and as I said during our call, OpenAI's intention was to do everything possible to celebrate their mathematical achievements and the heroic efforts that they made on Euler. In the call I was immediately met with a litany of slander, including direct threats that if we were to announce Navier-Stokes he would immediately go to the press with a barrage of unfounded accusations. I refuted all these accusations but he replied “there is nothing you can do, I simply do not trust you”. I was confused why one would turn an incredible source for celebration (of their achievements!) into such bickering, which is when I said that I did not understand why one would risk their career [over unfounded accusations]. Genuinely, at that moment, I was trying to care for him and do a last ditch attempt to get a chance to give them all the credits that they deserve. I deeply apologize for this extremely poor choice of words, it is the opposite of what I was trying to convey. (I should say that I retracted them on the spot by the way.) 4) Overall, on a personal level, it was incredibly difficult to have these conversations. Levent refused to attend any of the meetings despite my repeated asking. As Sholto Douglas said, there will need to be coordination between Anthropic and OpenAI in the future; I felt I was doing a proxy negotiation with Anthropic while the Anthropic employee refused to directly participate.
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
OpenAI 宣布用一组智能体和比 GPT-6 Astra 更强的下一代模型给出纳维-斯托克斯千禧年大奖难题的解,Noam Brown 确认该结果耗资数百万美元。
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
MIT 研究人员使用 GPT-5.6 Sol 配合 Codex 自主运行量子计算实验、分析结果并校准量子比特。该案例展示了 GPT-5.6 Sol 在量子计算实验流程中的自主执行能力。
Pragmatic Engineer 汇总了 AI 智能体大量生成 PR 后各团队的代码评审应对方式,共五种:人类评审 AI 的评审、按影响范围分级(OpenAI 和 Anthropic 采用)、只评审计划/测试/数据库 schema、让智能体产出更小 PR、仍全人工评审。
OpenAI 探讨更强且更实惠的 AI 如何扩展个人与企业可完成的工作,并让增长更经济。内容围绕能力提升与成本下降两条线索展开,说明可及性提高后工作范围随之扩大。
OpenAI 发布 ChatGPT Images 2.5,可将用户的想法、草图和参考照片转化为更个性化、更精致且更贴近创意的图像。材料为官方摘要,未提供更多细节。
OpenAI 扩大对新闻业的支持,面向学生、教育工作者、记者和新闻机构提供工具、培训与合作伙伴关系。该计划覆盖从课堂到新闻编辑室的多个环节。
OpenAI 在 GitHub 发布 openai/NavierStokesAndEuler 新仓库,包含与 Navier-Stokes 和 Euler 结果配套的 Lean 证书,供获取与核查。
OpenAI 公布针对 Navier–Stokes 千年大奖难题的 AI 生成解答,包含一份写作稿和一份 Lean 形式化证明。
推荐理由:OpenAI 官方公布了针对纳维-斯托克斯千年大奖难题的 AI 生成解答,附写作稿和 Lean 形式化证明。
OpenAI 开放 500 万美元资助计划申请,支持关于生成式 AI 如何影响青少年发展、福祉与安全的独立研究。
1Password 工程师使用 Codex 快速构建新功能和内部工具,在维持严格安全策略的同时达到生产可用状态,工程效率提升 21%。
Google DeepMind 发表论文,用 100 个运行 Gemini 3.1 Pro 的自主 LLM 智能体协作求解 71 道数学题,并观察其群体行为。11:18 UTC 启动后,群体在 12:15 UTC 已正确解出 37 题,随后 prover-theta 发现自动评分系统漏洞,27 分钟内漏洞经共享知识库和点对点消息在群体中扩散,剩余 34 题被“解出”。
OpenAI 联合 AIRPPU 和 WAN-IFRA 推出 AI 项目,帮助乌克兰新闻机构提升创新能力、韧性并支持独立新闻业。
@ChaseLochmiller @OpenAI GPT-6 Astra, trained on ~100K+ NVIDIA Grace Blackwell NVLink72. From ChatGPT to o1 to Astra in 4 years. AGI has arrived. Congratulations @OpenAI team. 400K GPUs coming online next.
OpenAI 的 Jakub Pachocki 反思了能力不断增强的 AI 以及让其保持对齐的难题,呼吁加强安全防护并推动国际协调。
OpenAI 披露内部数据,展示编程智能体正在重塑其 AI 研究流程。文章涵盖智能体使用情况、实验速度、任务复杂度与研究加速等方面的早期数据。
Tim Cook 退休凸显硅谷缺乏能获行业广泛尊重的领袖,作者回顾其任内 Apple 市值从 3470 亿美元增至近 4.7 万亿美元,但批评他过于重利轻原则。
We spent >20B tokens throwing @openai's Astra at every AI Engineering task we could think of, beyond cute Blender demos and fun games. https://latent.space/p/astra Here's everything Astra can do, and do so at <$6 an hour (serious): - choose and train models - label data (both helping you label and then using your labels for active learning) - keep pipelines saturated - instrument and read logs - deploy and debug entire systems in one shot - fan out and command and eval subagents (including agents running other models) - keep coherence over billions of tokens of a single agent thread. more to come on @swyx's coverage of the Fable- and Astra-class of 2026!
OpenAI 首席研究官 Mark Chen 宣布 GPT-6 Astra 发布,称其汇集多年预训练、强化学习和后训练工作,是该团队迄今能力最强、对齐程度最高的模型。
This is GPT-6 Astra. Anything you can do on a computer, Astra can do for you. Fast.
推荐理由:OpenAI 首席研究官亲自说明 GPT-6 Astra 的能力变化与对齐工作,可帮助读者了解官方对 Computer Use 和 Agent 监督的进展表述。
Gergely Orosz 在 The Pulse 中指出 Uber、Pinterest、Stripe、Coinbase、Ramp、AT&T 等公司正弃用专有模型并采用智能模型路由来节省 AI 开支,Ramp 数据显示 8 月头部 1% 企业 AI 支出下降 10%。
风投正押注 AI 智能体将重塑电商与支付市场,当前资金多流向基础设施与工具层。Adobe Analytics 调查显示,6 月有 41% 受访者用 AI 网购,53% 购物者信任 AI 推荐的程度不亚于品牌官网。
a16z 作者 Seema Amble 分析认为,AI 让记录系统(system of record)更重要而非更不重要,Salesforce 与 Anthropic 合作的 Claudeforce 让 Claude 成为工作入口而 Salesforce 仍控制 CRM 数据。
OpenAI 在 GitHub 新建仓库 openai/PrimeGaps186,给出素数间隙至多 186 的条件 Lean 形式化及数值证书。该仓库以 Lean 形式化配合数值证书的方式,对素数间隙不超过 186 这一结论进行条件性验证。
OpenAI 在 GitHub 发布新仓库 openai/LongGapsBetweenPrimes,用 Lean 形式化了一个关于素数长间隔的界。仓库标题与描述均未给出具体界值、作者或论文出处。