OpenAIが複雑で長期的なタスク向けに設計された新しいAIモデル「Astra」を発表した。このモデルは10年間解けなかった数学・理論計算機科学の問題を解決し、重要な進展をもたらした。OpenAIはAstraを「次世代モデル」と定義し、高次元幾何学、符号理論、算術回路複雑性、群論、量子複雑性、格子暗号、極値組み合わせ学など広範な分野で研究が可能だと説明した。

Astraは人間研究者が準備した論理をLean証明で形式化し、数学的検証システムで検証可能な証明を生成できる。OpenAIによると、Astraの開発には約2000ドルのSol API料金がかかった。AstraはGPT-5.7またはGPT-6として市場に出る可能性があり、OpenAIはこのモデルのバージョンが一般向けに提供される可能性があるが、より強力なバリアントは特別な承認が必要になると考えている。

OpenAIはAstraが長期的なワークロード向けの新しいモデルファミリーであり、このモデルが異なる部門で働くAIエージェントが協調して作業できるようにすると説明した。