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

Garry Tan previously described o1 as a huge deal:

https://www.youtube.com/watch?v=Lv9bKyQgoHo

2 months later, I am wondering what applications have popped up that were not possible with the previous generation of models?