DeepSeek is the only company that dares to say 'towards AGI' next to OpenAI.