o3-mini Early Days — LessWrong