OpenAI 未発表の Astra モデルが 10 問の数学難題を解決

TechFlow 報道、8 月 1 日、新たに開示された情報によると、この未発表のモデル（GPT-6 の可能性）は、数学、量子複雑性、理論計算機科学の分野において、最初の明示的な非 sofic 群、Connes rigidity 予想の反証などを含む 10 項の長年未解決の難題を解決した。核心的な論証は Astra によって生成され、Lean で形式化証明され、249 ページの原稿および機械検証可能な証明書を作成した。Sol API レートにおいて 1 回の成功した求解あたりの token コストは約 2000 ドルのみ。