Open AI o3, o3-pro and o3-mini

OpenAI just released o3-pro, an updated version of their most intelligent model, o3, which is designed for more reliable responses by thinking longer.