DeepSeek closed $7.4 billion. Its founder still won't write down the vision. — type0 | type0