AI & Enterprise

Alibaba、Qwen3.8-MaxのAPI提供開始　Kimi K3下回る料金設定

Alibabaは新たなフラッグシップモデル「Qwen3.8-Max」のAPI提供を開始した。料金は入力100万トークン当たり2ドル、出力100万トークン当たり6ドルで、Moonshot AIの「Kimi K3」を下回る水準となる。

AI & Enterprise

OpenAIの非公開モデル「Astra」、未解決問題10件で新成果　Lean 4の証明も公開

OpenAIの非公開モデル「Astra」が、数学・理論計算機科学の未解決問題10件で新たな結果を示した。Lean 4による形式証明もGitHubで公開したが、学術的な妥当性は今後の検証を待つ必要がある。