Sam Altman Hails DeepSeek's R1 AI Model