OpenAI は、社内のフロンティアモデルが生み出した数学の未解決問題に関する新たな成果を公開し、Lean による証明の形式化と研究の詳細を GitHub で共有しています。 OpenAI と Ironclad が、複雑な契約ワークフローで AI エージェントを学習・評価し、専門業務でのコンピューター操作能力を高める取り組みをご紹介します。 GPT-6.1 Sol が登場：コーディング、コンピューター操作、専門業務で Astra に迫る性能を、Astra の標準 API 入出力トークン料金の5分の1で We’re introducing GPT-6.1 Sol. GPT-6.1 is the latest model family in the GPT-6 series.

MentalHealthBench は、実際に起こりうるメンタルヘルスに関するさまざまな会話で、AI の応答の有用性と安全性を評価するための、専門家の知見に基づくベンチマークです。 GPT-6 Sol と Luna をご紹介します。能力とコストのバランスが異なる 2 つのモデルが、フロンティアの応答性能を日々の仕事にもたらします。 GPT‑Live‑1 により、聞くことと話すことを同時に行える自然な音声会話が API でも可能になります。指示に従う能力が向上し、カスタム音声や電話にも対応します。 ナビエ–ストークスのミレニアム懸賞問題について、AI が生成した解法を、解説と Lean による形式的証明とともに公開します。 OpenAI 内部では、コーディングエージェントが AI 研究を変革しています。エージェントの利用状況、実験のペース、タスクの複雑さ、研究の加速に関する初期データをご覧ください。