Results for: math
View:
Suggested Categories:
AI Math Solvers
AI math solvers use technology to solve mathematical problems automatically. By using algorithms, they can take complex equations and break them down into simpler parts. AI math solvers are able to work quickly and accurately compared to traditional methods of solving mathematics. They are used in a variety of industries such as finance, engineering, and healthcare to help automate tedious tasks.
AI Reasoning Models
AI reasoning models are artificial intelligence models designed to perform complex problem-solving, logical reasoning, planning, and multi-step decision-making beyond traditional language generation. These models use advanced inference techniques to break down difficult tasks, evaluate alternatives, apply logic, and generate more accurate responses for domains such as mathematics, programming, scientific research, business analysis, and autonomous AI agents. AI reasoning models often support extended context windows, tool use, code execution, structured outputs, and agentic workflows to solve complex real-world problems. Many are available through APIs, cloud platforms, and AI development frameworks, enabling developers to build intelligent applications and autonomous systems. By combining language understanding with advanced reasoning capabilities, AI reasoning models help organizations improve decision-making, automate complex workflows, and power next-generation AI applications.
AI Models
AI models are systems designed to simulate human intelligence by learning from data and solving complex tasks. They include specialized types like Large Language Models (LLMs) for text generation, image models for visual recognition and editing, and video models for processing and analyzing dynamic content. These models power applications such as chatbots, facial recognition, video summarization, and personalized recommendations. Their capabilities rely on advanced algorithms, extensive training datasets, and robust computational resources. AI models are transforming industries by automating processes, enhancing decision-making, and enabling creative innovations.
View more categories (6) for "math"
16 Products for "math" with 2 filters applied:
Sort By:
-
1
Grok 4.5
SpaceXSI
Grok 4.5 is SpaceXSI’s advanced AI model built for coding, agentic tasks, engineering work, and knowledge-intensive productivity. The model is trained on coding, science, engineering, and math data, with reinforcement learning focused on multi-step software engineering and technical workflows. It is designed to handle real-world development tasks such as debugging, Rust and C/C++ work, terminal tasks, long-running agentic rollouts, and end-to-end app creation from a single prompt. Grok 4.5 is also built for fast serving, token efficiency, and lower-cost execution, with pricing based on input and output token usage. ...Starting Price: $2 per million input tokens -
2
PaLM 2
Google
PaLM 2 is our next generation large language model that builds on Google’s legacy of breakthrough research in machine learning and responsible AI. It excels at advanced reasoning tasks, including code and math, classification and question answering, translation and multilingual proficiency, and natural language generation better than our previous state-of-the-art LLMs, including PaLM. It can accomplish these tasks because of the way it was built – bringing together compute-optimal scaling, an improved dataset mixture, and model architecture improvements. ... -
3
Sky-T1
NovaSky
...It matches the performance of proprietary models like o1-preview on reasoning and coding benchmarks, yet was trained for under $450, showcasing the feasibility of cost-effective, high-level reasoning capabilities. The model was fine-tuned from Qwen2.5-32B-Instruct using a curated dataset of 17,000 examples across diverse domains, including math and coding. The training was completed in 19 hours on eight H100 GPUs with DeepSpeed Zero-3 offloading. All aspects of the project, including data, code, and model weights, are fully open-source, empowering the academic and open-source communities to replicate and enhance the model's performance.Starting Price: Free -
4
Yi-Lightning
Yi-Lightning
...Yi-Lightning leverages an enhanced Mixture-of-Experts (MoE) architecture, incorporating fine-grained expert segmentation and advanced routing strategies, which contribute to its efficiency in training and inference. This model has excelled in various domains, achieving top rankings in categories like Chinese, math, coding, and hard prompts on the chatbot arena, where it secured the 6th position overall and 9th in style control. Its development included comprehensive pre-training, supervised fine-tuning, and reinforcement learning from human feedback, ensuring both performance and safety, with optimizations in memory usage and inference speed. -
5
Gemini 2.5 Pro
Google
Gemini 2.5 Pro is an advanced AI model designed to handle complex tasks with enhanced reasoning and coding capabilities. Leading common benchmarks, it excels in math, science, and coding, demonstrating strong performance in tasks like web app creation and code transformation. Built on the Gemini 2.5 foundation, it features a 1 million token context window, enabling it to process vast datasets from various sources such as text, images, and code repositories. Available now in Google AI Studio, Gemini 2.5 Pro is optimized for more sophisticated applications and supports advanced users with improved performance for complex problem-solving.Starting Price: $19.99/month -
6
EXAONE Deep
LG
EXAONE Deep is a series of reasoning-enhanced language models developed by LG AI Research, featuring parameter sizes of 2.4 billion, 7.8 billion, and 32 billion. These models demonstrate superior capabilities in various reasoning tasks, including math and coding benchmarks. Notably, EXAONE Deep 2.4B outperforms other models of comparable size, EXAONE Deep 7.8B surpasses both open-weight models of similar scale and the proprietary reasoning model OpenAI o1-mini, and EXAONE Deep 32B shows competitive performance against leading open-weight models. The repository provides comprehensive documentation covering performance evaluations, quickstart guides for using EXAONE Deep models with Transformers, explanations of quantized EXAONE Deep weights in AWQ and GGUF formats, and instructions for running EXAONE Deep models locally using frameworks like llama.cpp and Ollama.Starting Price: Free -
7
DeepSeek-Coder-V2
DeepSeek
DeepSeek-Coder-V2 is an open source code language model designed to excel in programming and mathematical reasoning tasks. It features a Mixture-of-Experts (MoE) architecture with 236 billion total parameters and 21 billion activated parameters per token, enabling efficient processing and high performance. The model was trained on an extensive dataset of 6 trillion tokens, enhancing its capabilities in code generation and mathematical problem-solving. DeepSeek-Coder-V2 supports over 300... -
8
OpenAI o1-pro
OpenAI
...It features significant performance improvements over its predecessor, the o1 preview, with a notable 34% reduction in major errors and the ability to think 50% faster. This model excels in areas like math, physics, and coding, where it can provide detailed and accurate solutions. Additionally, the o1-pro mode can process multimodal inputs, including text and images, and is particularly adept at reasoning tasks that require deep thought and problem-solving. It's accessible through a ChatGPT Pro subscription, offering unlimited usage and enhanced capabilities for users needing advanced AI assistance.Starting Price: $200/month -
9
GPT-5 pro
OpenAI
...It builds on GPT-5’s unified architecture, using scaled, efficient parallel compute to provide highly comprehensive and accurate responses. GPT-5 Pro achieves state-of-the-art performance on difficult benchmarks like GPQA, excelling in areas such as health, science, math, and coding. It makes significantly fewer errors than earlier models and delivers responses that experts find more relevant and useful. The model automatically balances quick answers and deep thinking, allowing users to get expert-level insights efficiently. GPT-5 Pro is available to Pro subscribers and powers some of the most demanding applications requiring advanced intelligence. -
10
Amazon Nova 2 Pro
Amazon
Amazon Nova 2 Pro is Amazon’s most advanced reasoning model, designed to handle highly complex, multimodal tasks across text, images, video, and speech with exceptional accuracy. It excels in deep problem-solving scenarios such as agentic coding, multi-document analysis, long-range planning, and advanced math. With benchmark performance equal or superior to leading models like Claude Sonnet 4.5, GPT-5.1, and Gemini Pro, Nova 2 Pro delivers top-tier intelligence across a wide range of enterprise workloads. The model includes built-in web grounding and code execution, ensuring responses remain factual, current, and contextually accurate. ... -
11
Hy3
Tencent
...As the first model trained on Tencent Hy’s rebuilt infrastructure, Hy3 preview is designed to improve real-world usability across complex reasoning, instruction following, context learning, coding, agent capabilities, and overall inference performance. It integrates both fast and slow thinking capabilities, allowing direct responses for simpler tasks and deeper reasoning for complex math, coding, and reasoning work. The model is built around well-rounded capabilities across long-context understanding, instruction following, tool use, and agent workflows, with evaluation focused not only on standard benchmarks but also on authentic business and development scenarios.Starting Price: Free -
12
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. ...Starting Price: $1.25 per 1M tokens -
13
Amazon Nova
Amazon
...Amazon Nova Pro’s capabilities, coupled with its industry-leading speed and cost efficiency, makes it a compelling model for almost any task, including video summarization, Q&A, math & more. -
14
Qwen3
Alibaba
Qwen3, the latest iteration of the Qwen family of large language models, introduces groundbreaking features that enhance performance across coding, math, and general capabilities. With models like the Qwen3-235B-A22B and Qwen3-30B-A3B, Qwen3 achieves impressive results compared to top-tier models, thanks to its hybrid thinking modes that allow users to control the balance between deep reasoning and quick responses. The platform supports 119 languages and dialects, making it an ideal choice for global applications. ...Starting Price: Free -
15
OpenAI o3-pro
OpenAI
OpenAI’s o3-pro is a high-performance reasoning model designed for tasks that require deep analysis and precision. It is available exclusively to ChatGPT Pro and Team subscribers, succeeding the earlier o1-pro model. The model excels in complex fields like mathematics, science, and coding by employing detailed step-by-step reasoning. It integrates advanced tools such as real-time web search, file analysis, Python execution, and visual input processing. While powerful, o3-pro has slower...Starting Price: $20 per 1 million tokens -
16
DeepSeek R1
DeepSeek
...Accessible via web, app, and API, it excels in complex tasks such as mathematics and coding, demonstrating superior performance on benchmarks like the American Invitational Mathematics Examination (AIME) and MATH. DeepSeek-R1 employs a mixture of experts (MoE) architecture with 671 billion total parameters, activating 37 billion parameters per token, enabling efficient and accurate reasoning capabilities. This model is part of DeepSeek's commitment to advancing artificial general intelligence (AGI) through open-source innovation.Starting Price: Free
- Previous
- You're on page 1
- Next
