On DeepSeek’s r1 — LessWrong