OpenAI announced that developers can now use ChatGPT o1-pro, its best and most expensive AI reasoning model yet.