Best AI Models - Page 13
View:
-
1
Leanstral 1.5
Mistral AI
Leanstral 1.5 is an Apache-2.0 licensed model for practical proof engineering in Lean 4, built to make formal verification more powerful and accessible. With 119B total parameters and only 6B active parameters, it delivers a major performance upgrade for theorem proving, agentic proof engineering, and real-world code verification. Leanstral 1.5 was trained through a three-stage process: mid-training, supervised fine-tuning, and reinforcement learning with CISPO. In the multiturn environment, the model receives a theorem statement, submits a proof, gets Lean compiler feedback, and refines its approach until the proof compiles or the budget is exhausted. In the code agent environment, Leanstral works like a developer in a raw filesystem: it edits files, runs bash commands, and uses the Lean language server to inspect goals, errors, and type information in real time.Starting Price: Free -
2
Reve 2.1
Reve
Reve 2.1 is a new foundation image model that makes a rapid leap in visual intelligence and world knowledge, just one month after Reve 2.0. It extends the same foundation of controllability, but sharpens it at every stage with intuitive prompt understanding, stronger foreign-text rendering, and more precise native 4K output. Reve 2.1 plans in finer detail, reasons more accurately about how elements relate, and renders results with greater precision at full 16-megapixel resolution. Built around the belief that images should be structured like code, with hierarchical layouts and controllable regions, the model brings layout planning directly into visual intelligence. It reasons about structure, hierarchy, and spatial relationships before rendering, making it stronger for dense scenes, intricate compositions, complicated visual instructions, and fine text. Reve 2.1 also supports precision editing, where every element is addressable and editable.Starting Price: $7.99 per month -
3
Gemini 3.5 Flash-Lite
Google
Gemini 3.5 Flash-Lite is Google’s fastest model in the Gemini 3.5 series, designed for low-latency tasks and high-throughput developer workflows such as agentic search, document processing, coding, and large-scale data analysis. It delivers 350 output tokens per second and significantly improves on previous Flash-Lite generations in both quality and agentic performance. Developers can configure its thinking level to match the workload: minimal or low thinking supports fast execution for high-volume tasks, while higher thinking levels enable more complex, multi-step subagent workflows. Built-in computer-use capabilities allow the model to interact reliably with digital environments across supported surfaces. Gemini 3.5 Flash-Lite also advances coding, long-context understanding, and real-world task execution, outperforming Gemini 3.1 Flash-Lite across key evaluations and even surpassing Gemini 3 Flash on several agentic and software-engineering benchmarks.Starting Price: $0.30 per 1M input tokens -
4
GPT-Realtime-2.1
OpenAI
GPT-Realtime-2.1 is OpenAI’s reasoning model with tool use for low-latency voice agents and complex speech-to-speech workflows. It updates GPT-Realtime-2 with improved alphanumeric recognition, silence and noise handling, and interruption behavior, helping applications understand spoken code, manage imperfect audio, and respond more naturally when users pause or talk over the agent. Developers can configure reasoning effort to balance deeper thinking against latency and output usage, while strong instruction following helps the model stay aligned with a defined role, tone, and workflow. It accepts and produces both audio and text, can take images as input, and supports function calling so an agent can retrieve information or perform actions during a conversation. The model has a 128,000-token context window, supports up to 32,000 output tokens, and includes reasoning-token support for extended interactions.Starting Price: $0.40 per cached input -
5
WorldClaw
Tencent
WorldClaw is a fully agentic, coarse-to-fine framework for generating large-scale, freely explorable, and editable 3D open worlds from open-ended text prompts. Rather than synthesizing an entire world in a single pass, it follows a global-to-regional construction strategy that maintains coherent spatial organization while adding rich local detail. Planning agents first translate a prompt into a structured scene specification covering regions, terrain, assets, materials, visual style, and spatial relationships. It builds a globally coherent terrain foundation using semantic layouts, reusable assets, generative or procedural materials, and region-aware height fields. For regions requiring greater detail, WorldClaw creates terrain-conditioned compositions, reconstructs editable textured meshes, and recovers their placement within the scene. Render-based agents further refine terrain geometry, objects, appearance, arrangements, and contacts with the environment.Starting Price: Free -
6
RoBERTa
Meta
RoBERTa builds on BERT’s language masking strategy, wherein the system learns to predict intentionally hidden sections of text within otherwise unannotated language examples. RoBERTa, which was implemented in PyTorch, modifies key hyperparameters in BERT, including removing BERT’s next-sentence pretraining objective, and training with much larger mini-batches and learning rates. This allows RoBERTa to improve on the masked language modeling objective compared with BERT and leads to better downstream task performance. We also explore training RoBERTa on an order of magnitude more data than BERT, for a longer amount of time. We used existing unannotated NLP datasets as well as CC-News, a novel set drawn from public news articles.Starting Price: Free -
7
ESMFold
Meta
ESMFold shows how AI can give us new tools to understand the natural world, much like the microscope, which enabled us to see into the world at an infinitesimal scale and opened up a whole new understanding of life. AI can help us understand the immense scope of natural diversity, and see biology in a new way. Much of AI research has focused on helping computers understand the world in a way similar to how humans do. The language of proteins is one that is beyond human comprehension and has eluded even the most powerful computational tools. AI has the potential to open up this language to our understanding. Studying AI in new domains such as biology can also give insight into artificial intelligence more broadly. Our work reveals connections across domains: large language models that are behind advances in machine translation, natural language understanding, speech recognition, and image generation are also able to learn deep information about biology.Starting Price: Free -
8
XLNet
XLNet
XLNet is a new unsupervised language representation learning method based on a novel generalized permutation language modeling objective. Additionally, XLNet employs Transformer-XL as the backbone model, exhibiting excellent performance for language tasks involving long context. Overall, XLNet achieves state-of-the-art (SOTA) results on various downstream language tasks including question answering, natural language inference, sentiment analysis, and document ranking.Starting Price: Free -
9
Hume AI
Hume AI
Our platform is developed in tandem with scientific innovations that reveal how people experience and express over 30 distinct emotions. Expressive understanding and communication is critical to the future of voice assistants, health tech, social networks, and much more. Applications of AI should be supported by collaborative, rigorous, and inclusive science. AI should be prevented from treating human emotion as a means to an end. The benefits of AI should be shared by people from diverse backgrounds. People affected by AI should have enough data to make decisions about its use. AI should be deployed only with the informed consent of the people whom it affects.Starting Price: $3/month -
10
FreedomGPT
Age of AI
FreedomGPT is a 100% uncensored and private AI chatbot launched by Age of AI, LLC. Our VC firm invests in startups that will define the age of Artificial Intelligence and we hold openness as core. We believe AI will dramatically improve the lives of everyone on this planet if it is deployed responsibly with individual freedom as paramount. It was created to showcase the inevitability and necessity of unbiased and censor free AI. Most importantly it is 100% private. If generative AI is going to be an extension of the human psyche it must not be involuntarily exposed to others. A central Age of AI investing thesis is that everyone and every organization will need their own private LLM. We strive to invest in companies that make this a reality across numerous industry verticals.Starting Price: Free -
11
CodeGen
Salesforce
CodeGen is an open-source model for program synthesis. Trained on TPU-v4. Competitive with OpenAI Codex.Starting Price: Free -
12
StarCoder
BigCode
StarCoder and StarCoderBase are Large Language Models for Code (Code LLMs) trained on permissively licensed data from GitHub, including from 80+ programming languages, Git commits, GitHub issues, and Jupyter notebooks. Similar to LLaMA, we trained a ~15B parameter model for 1 trillion tokens. We fine-tuned StarCoderBase model for 35B Python tokens, resulting in a new model that we call StarCoder. We found that StarCoderBase outperforms existing open Code LLMs on popular programming benchmarks and matches or surpasses closed models such as code-cushman-001 from OpenAI (the original Codex model that powered early versions of GitHub Copilot). With a context length of over 8,000 tokens, the StarCoder models can process more input than any other open LLM, enabling a wide range of interesting applications. For example, by prompting the StarCoder models with a series of dialogues, we enabled them to act as a technical assistant.Starting Price: Free -
13
Llama 2
Meta
The next generation of our open source large language model. This release includes model weights and starting code for pretrained and fine-tuned Llama language models — ranging from 7B to 70B parameters. Llama 2 pretrained models are trained on 2 trillion tokens, and have double the context length than Llama 1. Its fine-tuned models have been trained on over 1 million human annotations. Llama 2 outperforms other open source language models on many external benchmarks, including reasoning, coding, proficiency, and knowledge tests. Llama 2 was pretrained on publicly available online data sources. The fine-tuned model, Llama-2-chat, leverages publicly available instruction datasets and over 1 million human annotations. We have a broad range of supporters around the world who believe in our open approach to today’s AI — companies that have given early feedback and are excited to build with Llama 2.Starting Price: Free -
14
Code Llama
Meta
Code Llama is a large language model (LLM) that can use text prompts to generate code. Code Llama is state-of-the-art for publicly available LLMs on code tasks, and has the potential to make workflows faster and more efficient for current developers and lower the barrier to entry for people who are learning to code. Code Llama has the potential to be used as a productivity and educational tool to help programmers write more robust, well-documented software. Code Llama is a state-of-the-art LLM capable of generating code, and natural language about code, from both code and natural language prompts. Code Llama is free for research and commercial use. Code Llama is built on top of Llama 2 and is available in three models: Code Llama, the foundational code model; Codel Llama - Python specialized for Python; and Code Llama - Instruct, which is fine-tuned for understanding natural language instructions.Starting Price: Free -
15
ChatGPT Enterprise
OpenAI
Enterprise-grade security & privacy and the most powerful version of ChatGPT yet. 1. Customer prompts or data are not used for training models 2. Data encryption at rest (AES-256) and in transit (TLS 1.2+) 3. SOC 2 compliant 4. Dedicated admin console and easy bulk member management 5. SSO and Domain Verification 6. Analytics dashboard to understand usage 7. Unlimited, high-speed access to GPT-4 and Advanced Data Analysis* 8. 32k token context windows for 4X longer inputs and memory 9. Shareable chat templates for your company to collaborateStarting Price: $60/user/month -
16
GPT-5
OpenAI
GPT-5 is OpenAI’s most advanced AI model, delivering smarter, faster, and more useful responses across a wide range of topics including math, science, finance, and law. It features built-in thinking capabilities that allow it to provide expert-level answers and perform complex reasoning. GPT-5 can handle long context lengths and generate detailed outputs, making it ideal for coding, research, and creative writing. The model includes a ‘verbosity’ parameter for customizable response length and improved personality control. It integrates with business tools like Google Drive and SharePoint to provide context-aware answers while respecting security permissions. Available to everyone, GPT-5 empowers users to collaborate with an AI assistant that feels like a knowledgeable colleague.Starting Price: $1.25 per 1M tokens -
17
Upstage AI
Upstage.ai
Upstage AI builds powerful large language models and document processing engines designed to transform workflows across industries like insurance, healthcare, and finance. Their enterprise-grade AI technology delivers high accuracy and performance, enabling businesses to automate complex tasks such as claims processing, underwriting, and clinical document analysis. Key products include Solar Pro 2, a fast and grounded enterprise language model, Document Parse for converting PDFs and scans into machine-readable text, and Information Extract for precise data extraction from contracts and invoices. Upstage’s AI solutions help companies save time and reduce manual work by providing instant, accurate answers from large document sets. The platform supports flexible deployment options including cloud, on-premises, and hybrid, meeting strict compliance requirements. Trusted by global clients, Upstage continues to advance AI innovation with top conference publications and industry awards.Starting Price: $0.5 per 1M tokens -
18
Command R+
Cohere AI
Command R+ is Cohere's newest large language model, optimized for conversational interaction and long-context tasks. It aims at being extremely performant, enabling companies to move beyond proof of concept and into production. We recommend using Command R+ for those workflows that lean on complex RAG functionality and multi-step tool use (agents). Command R, on the other hand, is great for simpler retrieval augmented generation (RAG) and single-step tool use tasks, as well as applications where price is a major consideration.Starting Price: Free -
19
CogVideoX
CogVideoX
CogVideoX is a text-to-video generation tool. Before running the model, please refer to this guide to see how we use the GLM-4 model to optimize the prompt. This is crucial because the model is trained with long prompts, and a good prompt directly affects the quality of the generated video. Contains the inference code and fine-tuning code of SAT weights. It is recommended to improve based on the CogVideoX model structure. Innovative researchers use this code to better perform rapid stacking and development. A detailed wooden toy ship with intricately carved masts and sails is seen gliding smoothly over a plush, blue carpet that mimics the waves of the sea. The ship's hull is painted a rich brown, with tiny windows. The carpet, soft and textured, provides a perfect backdrop, resembling an oceanic expanse. Surrounding the ship are various other toys and children's items, hinting at a playful environment.Starting Price: Free -
20
Medical LLM
John Snow Labs
John Snow Labs' Medical LLM is an advanced, domain-specific large language model (LLM) designed to revolutionize the way healthcare organizations harness the power of artificial intelligence. This innovative platform is tailored specifically for the healthcare industry, combining cutting-edge natural language processing (NLP) capabilities with a deep understanding of medical terminology, clinical workflows, and regulatory requirements. The result is a powerful tool that enables healthcare providers, researchers, and administrators to unlock new insights, improve patient outcomes, and drive operational efficiency. At the heart of the Healthcare LLM is its comprehensive training on vast amounts of healthcare data, including clinical notes, research papers, and regulatory documents. This specialized training allows the model to accurately interpret and generate medical text, making it an invaluable asset for tasks such as clinical documentation, automated coding, and medical research. -
21
TinyLlama
TinyLlama
The TinyLlama project aims to pretrain a 1.1B Llama model on 3 trillion tokens. With some proper optimization, we can achieve this within a span of "just" 90 days using 16 A100-40G GPUs. We adopted exactly the same architecture and tokenizer as Llama 2. This means TinyLlama can be plugged and played in many open-source projects built upon Llama. Besides, TinyLlama is compact with only 1.1B parameters. This compactness allows it to cater to a multitude of applications demanding a restricted computation and memory footprint.Starting Price: Free -
22
Pixtral Large
Mistral AI
Pixtral Large is a 124-billion-parameter open-weight multimodal model developed by Mistral AI, building upon their Mistral Large 2 architecture. It integrates a 123-billion-parameter multimodal decoder with a 1-billion-parameter vision encoder, enabling advanced understanding of documents, charts, and natural images while maintaining leading text comprehension capabilities. With a context window of 128,000 tokens, Pixtral Large can process at least 30 high-resolution images simultaneously. The model has demonstrated state-of-the-art performance on benchmarks such as MathVista, DocVQA, and VQAv2, surpassing models like GPT-4o and Gemini-1.5 Pro. Pixtral Large is available under the Mistral Research License for research and educational use, and under the Mistral Commercial License for commercial applications.Starting Price: Free -
23
Liquid AI
Liquid AI
Our goal at Liquid is to build the most capable AI systems to solve problems at every scale, such that users can build, access, and control their AI solutions. This is to ensure that AI will be meaningfully, reliably, and efficiently integrated at all enterprises. Long term, Liquid will create and deploy frontier-AI-powered solutions that are available to everyone. We build white-box models within a white-box organization. -
24
OpenAI o3
OpenAI
OpenAI o3 is an advanced AI model designed to enhance reasoning capabilities by breaking down complex instructions into smaller, more manageable steps. It offers significant improvements over previous AI iterations, excelling in coding tasks, competitive programming, and achieving high scores in mathematics and science benchmarks. Available for widespread use, OpenAI o3 supports advanced AI-driven problem-solving and decision-making processes. The model incorporates deliberative alignment techniques to ensure its responses align with established safety and ethical guidelines, making it a powerful tool for developers, researchers, and enterprises seeking sophisticated AI solutions.Starting Price: $2 per 1 million tokens -
25
Kokoro TTS
Kokoro TTS
Kokoro TTS is an efficient text-to-speech tool with multilingual and customizable voice support. Its 182M parameter architecture delivers high-quality audio, supporting languages like American English, British English, French, Korean, Japanese, and Mandarin. It features lifelike voice options, automatic content segmentation, and OpenAI compatibility, facilitating content creation and application integration. With NVIDIA GPU acceleration, it ensures real-time audio generation, making it suitable for various projects.Starting Price: $0 -
26
HunyuanVideo
Tencent
HunyuanVideo is an advanced AI-powered video generation model developed by Tencent, designed to seamlessly blend virtual and real elements, offering limitless creative possibilities. It delivers cinematic-quality videos with natural movements and precise expressions, capable of transitioning effortlessly between realistic and virtual styles. This technology overcomes the constraints of short dynamic images by presenting complete, fluid actions and rich semantic content, making it ideal for applications in advertising, film production, and other commercial industries. -
27
Qwen2.5-1M
Alibaba
Qwen2.5-1M is an open-source language model developed by the Qwen team, designed to handle context lengths of up to one million tokens. This release includes two model variants, Qwen2.5-7B-Instruct-1M and Qwen2.5-14B-Instruct-1M, marking the first time Qwen models have been upgraded to support such extensive context lengths. To facilitate efficient deployment, the team has also open-sourced an inference framework based on vLLM, integrated with sparse attention methods, enabling processing of 1M-token inputs with a 3x to 7x speed improvement. Comprehensive technical details, including design insights and ablation experiments, are available in the accompanying technical report.Starting Price: Free -
28
Yi-Large
01.AI
Yi-Large is a proprietary large language model developed by 01.AI, offering a 32k context length with both input and output costs at $2 per million tokens. It stands out with its advanced capabilities in natural language processing, common-sense reasoning, and multilingual support, performing on par with leading models like GPT-4 and Claude3 in various benchmarks. Yi-Large is designed for tasks requiring complex inference, prediction, and language understanding, making it suitable for applications like knowledge search, data classification, and creating human-like chatbots. Its architecture is based on a decoder-only transformer with enhancements such as pre-normalization and Group Query Attention, and it has been trained on a vast, high-quality multilingual dataset. This model's versatility and cost-efficiency make it a strong contender in the AI market, particularly for enterprises aiming to deploy AI solutions globally.Starting Price: $0.19 per 1M input token -
29
Grok 3 mini
SpaceXAI
Grok-3 Mini, crafted by xAI, is an agile and insightful AI companion tailored for users who need quick, yet thorough answers to their questions. This smaller version maintains the essence of the Grok series, offering an external, often humorous perspective on human affairs with a focus on efficiency. Designed for those on the move or with limited resources, Grok-3 Mini delivers the same level of curiosity and helpfulness in a more compact form. It's adept at handling a broad spectrum of questions, providing succinct insights without compromising on depth or accuracy, making it a perfect tool for fast-paced, modern-day inquiries.Starting Price: Free -
30
DeepSeek R2
DeepSeek
DeepSeek R2 is the anticipated successor to DeepSeek R1, a groundbreaking AI reasoning model launched in January 2025 by the Chinese AI startup DeepSeek. Building on R1’s success, which disrupted the AI industry with its cost-effective performance rivaling top-tier models like OpenAI’s o1, R2 promises a quantum leap in capabilities. It is expected to deliver exceptional speed and human-like reasoning, excelling in complex tasks such as advanced coding and high-level mathematical problem-solving. Leveraging DeepSeek’s innovative Mixture-of-Experts architecture and efficient training methods, R2 aims to outperform its predecessor while maintaining a low computational footprint, potentially expanding its reasoning abilities to languages beyond English.Starting Price: Free
