OpenAI、次世代AIモデル「Astra」発表 未解決数学問題10件を解決
OpenAIは2026年8月1日(現地時間)、次世代AIモデルファミリー「アストラ (Astra)」を発表しました。Astraは長時間タスクと複雑な問題に対応するよう設計され、数学および理論計算機科学の未解決問題10件を解決したとされます。同社は、解決した証明を形式化言語リーン (Lean) で公開し、機械検証を可能にしました。これらの解決にかかる推論コストは、既存モデルSolのAPIレートで約2,000ドルに相当するとされています。