DeepSeek Crushes OpenAI o1 with an MIT-Licensed Model—Developers Are ...