o1 Turns Pro — LessWrong