« Solve complex theorems in Lean 4 with an open-source model combining informal reasoning and formal proofs. Break down problems into sub-objectives and generate detailed solutions. »
Best AI tools forLLM models
AI models to test and tools to learn how to master them
201
AI Tools
Free & Paid
Pricing
Verified
Selection
« Google's latest AI model with multimodal and agentic capabilities. Generate text, images and audio using a variety of external tools »
« OpenAI's AI model for STEM reasoning outperforms all its predecessors. Benefit from 24% lower latency, optimized cost and native integration with ChatGPT »
« An open-source multimodal language model capable of understanding and generating text and images. Use it for computer vision, image generation and visual reasoning tasks »
« A lightweight model created by Z.AI that achieves open-source SOTA among models of similar size. Optimized for agentic coding with a “think before you act” mechanism, the model also excels at Chinese writing, translation, and long texts »
« 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 »
« A family of open-source encoder-decoder models with 2 to 9 billion parameters, based on Gemma 2, with higher inference efficiency than decoder-only models. Available on Hugging Face, Kaggle, and Vertex AI »
« This multimodal model understands and generates text, images, audio, and video all within a single interface. It recognizes speech in 113 languages and responds verbally in 36 languages »
« An open source LLM model that delivers impressive performance using reinforcement learning. Benefit from powerful intelligence with 32 billion parameters, comparable to much larger models »
« An open source language model with 355 billion parameters, specialized in intelligent agents. Two operating modes available: complex reasoning or instant responses. Outstanding performance for text and code »
« A fun platform for evaluating the quality of AI-generated images. Vote for the best match between prompts and images, and contribute to the ranking of the best-performing AI models »
« An AI model capable of autonomously creating the entire universe of a video game from a prompt (text-to-game) »
Featured Tool
ThumbnailCreator.com
« Quickly create eye-catching thumbnails for your videos on YouTube, Twitch and Facebook with AI. Attract more views and easily improve the click-through rate on your video clips »
909