智谱清言
智谱 AI 推出的对话助手，基于 GLM 系列模型，支持文档解析、联网检索与图像理解，国内可直接使用，适合日常使用，上手门槛不高。
排序
DeepSeek
深度求索的国产大模型，推理与编程能力突出，模型开源、对话端完全免费，国内可直接访问，是国产模型代表之一，适合日常使用。
Kimi
月之暗面推出的国产助手，以超长文本阅读见长，可一次处理体量很大的文档与网页，联网搜索与文件解析能力较强。
商量 SenseChat
商汤日日新大模型对话助手，支持多轮对话、长文写作、资料整理与代码问答，主流产品已具备联网检索、文件解析与图像理解能。
Magistral
Mistral 推理专用模型，支持面对数学证明、逻辑分析、复杂决策与编程难题时，会先展开思考过程再给出结论。
Cohere
面向企业的生成式 AI 平台，主打检索增强与文本嵌入，模型可私有化部署，多语言与 RAG 场景表现稳定，常被集成进企业系统。
Photomath
拍照解数学题，属于推理型大模型，支持面对数学证明、逻辑分析、复杂决策与编程难题时，会先展开思考过程再给出结论。
ChatGPT
OpenAI 旗舰对话大模型，综合能力与插件生态领先，支持多轮对话、写作、编程、数据分析与图像理解，是 AI 应用的事实标准。
DeepHermes
开源可切换推理模型，支持面对数学证明、逻辑分析、复杂决策与编程难题时，会先展开思考过程再给出结论，在同类里口碑较稳。
Wolfram Alpha
计算知识引擎，属于推理型大模型，支持面对数学证明、逻辑分析、复杂决策与编程难题时，数学求解，在同类里口碑较稳。
通义千问
阿里巴巴的大模型系列，办公与文档处理能力突出，主力已升级至 Qwen3.8 系列并强化长周期 Agent 与全模态，适合日常使用。
Tulu 3
AI2 开源推理模型，支持面对数学证明、逻辑分析、复杂决策与编程难题时，会先展开思考过程再给出结论，覆盖场景比较全。
Gauth
学生数学解题 AI，属于推理型大模型，支持面对数学证明、逻辑分析、复杂决策与编程难题时，会先展开思考过程再给出结论。
跃问
阶跃星辰多模态大模型助手，支持多轮对话、长文写作、资料整理与代码问答，主流产品已具备联网检索、文件解析与图像理解能。
讯飞星火
科大讯飞推出的大模型，语音交互与教育场景是特色，支持多模态与插件生态，中文理解扎实，适合日常使用。
Cymath
数学公式分步求解，属于推理型大模型，支持面对数学证明、逻辑分析、复杂决策与编程难题时，会先展开思考过程再给出结论。
Socratic
Google 拍照解题助手，支持面对数学证明、逻辑分析、复杂决策与编程难题时，会先展开思考过程再给出结论。
Symbolab
AI 数学解题与步骤详解，属于推理型大模型，支持面对数学证明、逻辑分析、复杂决策与编程难题时，可作为同类产品的备选。
Yi 大模型
零一万物 Yi 系列模型平台，支持多轮对话、长文写作、资料整理与代码问答，主流产品已具备联网检索、文件解析与图像理解能。
MathGPT
AI 数学题求解与讲解，属于推理型大模型，支持面对数学证明、逻辑分析、复杂决策与编程难题时，会先展开思考过程再给出结论。