I thought that too until I actually used it extensively. o1-pro is great and I am not planning to cancel my subscription, but deepseek is figuring things out that tend to stump o1-pro or lead it to get confused/forgetful.