OpenAIは、複雑で長時間にわたるタスクの処理を目的とした未発表モデル「Astra」を公開しました。社内で運用していたバージョンが、数学と理論計算機科学の分野で10件の重要な進展を生み出したことがきっかけです。
OpenAIは新たに公開した研究記事の中でAstraを「次期主力モデル」と位置づけ、対象となった問題については中心的な成果に少なくとも10年、多くの場合はそれ以上進展が見られなかったと説明しています。
OpenAIによると、社内での研究は高次元幾何学、符号理論、算術回路計算量、群論、量子計算量、格子暗号、極値組合せ論など、幅広い分野を対象としたということです。
OpenAIはまた、科学分野においても急速な進展を遂げつつあるとしています。
具体例としては、非ソフィック群の存在証明、コンヌの剛性予想の反証、高次元球充填問題における新たな限界値の導出、そして数学者ポール・エルデシュが提起したいくつかの問題を解決する成果などが挙げられます。
OpenAIは「これらの問題の解を見つけるために必要となったトークンの総数は、Sol APIの料金換算でおよそ2,000ドルに相当する」と述べています。
人間の研究者は、同じモデルを使って論証を論文としてまとめました。
その後Astraは、すべての論証をLean証明として形式化し、数学的検証システムを用いて証明の正しさを確認できるようにしました。
AstraはGPT-5.7またはGPT-6として登場する可能性
攻撃者より先に、あらゆるレイヤーをテストする
セキュリティチームが記録できている攻撃成功事例はわずか54%、アラートが発報されるのはたった14%にすぎません。残りは検知されないまま環境内を移動しています。
Picusのホワイトペーパーでは、侵害・攻撃シミュレーションによってSIEMやEDRのルールをテストし、脅威が検知をすり抜けるのを防ぐ方法を紹介しています。
