Most of the ted videos are already in mp4 format, we automatically convert and serve ted to mp4 instantly if they are in different formats. You don't have to manually convert ted videos to download in mp4