China's DeepSeek just dropped a free challenger to OpenAI's o1 | Dark Hacker News