Pydantic AI: o3-pro, Kimi-K2 and Grok-4

I just added a few new models to pydantic-ai, including: o3-pro, Kimi-K2 via groq, and Grok-4. (Note the difference between groq with a Q and grok with a K. “Q” is a great model inference provider, “K” is an unaligned AI lab).

o3-pro is my current favorite model. It’s extremely intelligent, but also very expensive. It hallucinates less than o3, which is also a strong model (and already supported by pydantic-ai).

Kimi-K2 looks promising but I haven’t used it enough to give an informed opinion. Grok-4 is there for your own mechahitler experiments; I don’t recommend using it in production lol.