China's DeepSeek just dropped a free challenger to OpenAI's o1 · HackerTrans