o1 model evaluation

Thanks for the article! Have you tested the o1 model on your benchmark? If not, do you plan to do this with, for example, o1 pro? (if you plan, then when)