TERENCE TAO: I HAVE PLAYED A LITTLE BIT WITH OPENAI'S NEW ITERATION OF GPT, GPT-O1

Summary from the TLDR Web Dev newsletter

Terence Tao, a famous mathematician and UCLA professor, says that OpenAI's GPT-o1 is getting closer to helping with advanced math tasks and research. It successfully identified and applied Cramer's theorem to solve a complex mathematical query, something that previous models struggled with. However, it still needed lots of hints and prodding for complex analysis problems.