VibeThinker-3B:探索小语言模型中可验证推理的前沿 · AI HOT