Many are speculating it was trained by o1/o3 for some of the initial reasoning.