Researchers created an open rival to OpenAI’s o1