We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.

在 OpenAI 内部，编程智能体正在重塑 AI 研究。探索有关智能体使用情况、实验速度、任务复杂度和研究加速的早期数据。

Astra is our first model to reach the Critical level of cybersecurity capability under our Preparedness Framework.

OpenAI 分享 Hugging Face 安全事件的调查结果，以及我们为加强 AI 模型安全、监控和对齐所采取的措施。

OpenAI 正在加强前沿 AI 模型的监控、对齐和安全保障。了解新的保障措施如何引导模型开发节奏。

OpenAI 分享数学和理论计算机科学领域长期未解决的问题的新成果，包括几何学、密码学和复杂性方面的进展。

两项 API 设置如何通过保留推理和启用压缩，提高 GPT-5.6 在 ARC-AGI-3 上的得分与效率。

一份新的实地报告展示科学家如何使用 AI 编程智能体实现科学计算现代化，加速基因组学等领域的软件开发与科学发现。

了解 GPT-Red：OpenAI 的自动化红队测试系统，通过自我博弈提升 AI 安全性、对齐能力和提示注入稳健性。