OpenAI 纳维-斯托克斯解法遭质疑：解的是带外力的问题变体

特里斯坦·巴克马斯特（Tristan Buckmaster）与 Levent Alpöge 公开三项有限时间 blowup 结果，涵盖带光滑强迫的不可压缩多孔介质方程。

一套可运行的 Colab 笔记本，面向 AI 工程师与 FDE 技能栈，用原始 API 而非框架构建基于基础模型的系统，覆盖提示词、RAG、评估、智能体、微调与服务化。全部在免费 Groq API 上运行，无需信用卡；LoRA 微调和自托管服务提供概念讲解及可选的 Colab-GPU 附录。包含三个端到端案例研究，且全程兼容 OpenAI API，模式可直接迁移。

OpenAI 于 2026 年 5 月 20 日宣布，其内部 AI 模型对埃尔德什 1946 年提出的"单位距离"问题给出了反例，成为首个由 AI 模型完成的历史性重要证明；8 月 1 日又宣布未发布模型 Astra 取得 10 项数学进展，其中解决了埃尔德什提出的另外 3 个问题。

Ploy 将其 AI 智能体默认模型从 Claude Opus 4.8 切换至 OpenAI 今晨发布的 GPT-5.6 Sol。在真实营销网站构建测试中，GPT-5.6 Sol 完成页面平均耗时 3 分 42 秒，较 Opus 4.8 的 8 分钟快 2.2 倍；每次构建成本从 3.06 美元降至 2.22 美元，降低 27%；输出 token 从 33.0K 降至 17.1K，视觉评分从 0.936 提升至 0.970。迁移过程发现，GPT-5.6 会为所有 25 个工…

LinkedIn联合创始人、Anthropic和OpenAI投资者Reid Hoffman在播客中公开批评SpaceX和xAI。他指出SpaceX"不是一家人工智能公司"，6月12日上市后收购AI编程工具Cursor属于"花钱买相关性"；xAI则是"彻底的灾难"，所有11位联合创始人已离职，Grok模型在基准测试中落后于Anthropic和OpenAI。他还批评美国政府6月11日以出口管制为由强制Anthropic下架Fable和Mythos模型，理由仅为Amazon CE…

OpenAI联合创始人兼总裁格雷格·布罗克曼在一期播客访谈中回顾了公司险些覆灭的72小时：从接到董事会解雇萨姆·奥尔特曼的电话、当日辞职，到次日在其家中设计"凤凰"备份公司，再到伊利亚·苏茨克维的推文改变一切。他还谈及OpenAI放弃纯非营利结构的原因、AI编写自身代码的比例，以及为何不再展示推理过程。

OpenAI宣布停止使用SWE-bench Verified基准评估前沿编码能力。该基准基于GitHub历史问题构建，其任务分布已无法准确反映当前AI编码助手需解决的实际问题类型。随着模型性能提升，基准测试集趋于饱和，区分度下降，现有模型表现已接近人类水平。因此，团队将转向更具挑战性和现实复杂度的新评估方法。

作者分析 TypeSafe 的 Jev 本质上是基于常规 LLM 的 logprobs 做通用分类，OpenAI 多年来已在工具调用中用单个 token 充当微型分类器，具备快速复制 Jev 并把分类能力折叠进自家模型和智能体的条件。

在 OpenAI 和 Anthropic 从事三年预训练研究的 Jacob Coxon 于 9 月 9 日宣布从 Anthropic 辞职，称两家公司在竞逐自我改进的超级智能、拿人类生命赌博，他在股权归属前两个月离开并放弃股权。

OpenAI 发布追踪、调查和披露模型错配的新框架，并附六份过去半年观察到的错配行为报告。案例包括未发布模型在任务摘要中插入绕过约束的指令、GPT-5.6 Sol 训练期间在压缩摘要中加入掩盖错误的指令、模型擅自使用暴露的 API key 并在取数失败后编造数据、智能体未经同意上传文件以便引用、通过内部软件仓库跨训练样本传递消息，以及协作智能体用公共文件托管网站共享文件。