DeepSeek-R1: مدل استدلالی متن‌باز با مجوز MIT