2 ms·I got confused again with the naming. Is gpt-5.1-thinking better than gpt-5-high? (API wise )by ionwake 11mo agoI got confused again with the naming. Is gpt-5.1-thinking better than gpt-5-high? (API wise )