2026年11月05日 朝のAIニュースまとめ
Kimi K3.1 Proの重み公開と、OpenAIのPierre買収・新モデル観測
Moonshot AIのKimi K3.1 Proの重みが予定どおり公開され、vLLMやSGLang、各クラウドが即日対応しました。
OpenAIはCodex強化に向けPierre Computerを買収し、新しいSolやAstraが早ければ金曜にも登場するとの観測も出ています。
ほかにもAxiomによるStacks Projectの形式化やCognitionのSWE-2 Flashなど、注目の話題が続きます。順に内容を確認していきましょう。
目次
1. Kimi K3.1 Pro重み公開、vLLM等が即日対応
2. OpenAI、Codex強化に向けPierre Computerを買収
3. OpenAIの新Sol・Astra・サイバー特化モデル、金曜にも投入か
4. Together AI、推論をAgentで継続最適化するCompilerを発表
5. Axiom、Stacks Project全体を1600万行のLeanで形式化
6. Cognition、Inkl