GR 
Grok 4 ✓
grok.com
The latest high-performance LLM model from xAI, specialized in reasoning and logic. This AI has achieved record results in academic and mathematical tests. Multi-agent version tackles the toughest challenges
Microsoft’s new reasoning model, trained from scratch and optimized for code. It rivals the best models on SWE-Bench Pro and AIME 2025, while remaining medium-sized and computationally efficient
Rating
Pricing
Free
Community votes
93
Categories
2
Try MAI-Thinking-1 now
We may earn a commission if you sign up through our links — at no extra cost to you.
Related AI tools
View all → OL 
ollama.com
Chat with local LLM language models like Llama2, Mixtral or Code Llama. Compatible with macOS, Linux and soon Windows
CL 
anthropic.com
Take advantage of Anthropic’s AI model—more reliable, more honest, and four times less likely to overlook its own errors. Its fast mode delivers up to 2.5 times more tokens per second (at the same API rate as the previous version)