#フロンティアモデル

3件の記事

OpenAI Astraが開発一時停止。自律的なゼロデイ脆弱性攻撃能力が史上初の「Critical」評価に触れた経緯と、AI安全フレームワークの現実を解説する。

OpenAI Astra（GPT-6候補）：未解決数学10問をLean 4証明付きで解決

OpenAIが2026年8月1日に発表したAstraが非ソフィック群の初構成など27年来の問題を含む10本の証明をLean 4で形式化。ライデン宣言との緊張と政府審査の全貌を解説する。

Alibaba Qwen 3.7 MaxはClaude Codeをenv var 3つで設定可能。Terminal-Bench首位69.7%。DashScope $2.50/$7.50でOpus 4.8の半額以下。光と影を解説。