HERE ARE SOME CONCRETE EXPERIMENTS WITH A PROTOTYPE OF GPT-O1

Summary from the TLDR newsletter

GPT-o1 is a more capable tool than previous iterations, but it still struggles with the most advanced research mathematical tasks.