4 ms·OpenAI lanched o1 Pro with Higher reasoning why is it 100X costoy that o3-mini?1 points by ashmil 2y ago