OpenAIは、Astraモデルが長年未解決だった数学および理論計算機科学の問題で10件の進展を生み出し、Leanによる形式化で検証可能にしたと述べた。

OpenAIは、100,000人の学術研究者にChatGPTとCodexへの無料アクセスを提供し、2027年まで科学向けの最先端AIツールを拡大する。

OpenAIは、AIエージェントが生物学ワークフローで研究レベルの判断を下せるかを測るためのゲノミクス・ベンチマーク、GeneBench-Proを発表した。