Massive 2.4T MoE model for coding, agents, research, and reasoning
Efficient 30B MoE model for long-running agents and local inference
Open code agent for Lean 4 proofs and formal software verification
Open code agent for Lean 4 proofs and formal software verification
Quantized 675B multimodal instruct model optimized for NVFP4
Frontier-scale 675B multimodal instruct MoE model for enterprise AIMis
Frontier multimodal MoE model for coding and AI agent workflows