deepseek发布了R1，这kimi说的k0-math还没用上，有兄弟用上了吗？