Really? Is o3-mini-high better than o1-pro?
In my experience it's better for value/price, but if you just need to solve a problem, o1 pro is the best tool available.