OpenAI 新闻中心 | 研究

We’re launching GPT-6 to everyone in ChatGPT, across free and paid plans globally. 研究 2026年10月6日 分享 AI 在数学领域的进展 OpenAI 发布内部前沿模型在数学未解问题上取得的新成果，并在 GitHub 上分享 Lean 形式化证明和研究细节。 刊发 2026年10月 6日 携手 Ironclad，