Full threadarnaudsm·Did you use o3 pro high, o3 high or o3 medium?(OpenAI's naming is so confusing)View on HN