Ask HN: Examples of applications that are using o1 style reasoning models

Garry Tan previously described o1 as a huge deal:<p>https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=Lv9bKyQgoHo<p>2 months later, I am wondering what applications have popped up that were not possible with the previous generation of models?