Mystery AI model revealed to be Xiaomi's following suspicions it was DeepSeek V4 | Hacker News Reader