产品库

AI推理模型，解决复杂问题的新系列。

OpenAI o1是一系列新开发的AI模型，旨在通过更长时间的思考来解决科学、编码和数学等领域的复杂问题。这些模型通过训练学习，能够细化思考过程、尝试不同策略并识别错误。在国际数学奥林匹克竞赛的资格赛中，o1模型的得分远高于之前的GPT-4o模型，展现了其在数学和编码方面的优势。此外，o1系列还引入了新的安全训练方法，使其能够更好地遵循安全和对齐准则。

深度搜索结合网络搜索、阅读和推理，可进行全面调查，适合复杂问题的迭代推理和最新信息获取。

Jina DeepSearch 是一种基于深度搜索技术的产品，通过结合网络搜索、阅读和推理能力，能够解决需要迭代推理和最新信息的复杂问题。它与 OpenAI 的聊天 API 完全兼容，支持多种客户端接入。其主要优点是能够动态调整搜索和推理过程，提供高质量的答案。产品定位为需要深入研究和复杂问题解决的用户，价格基于词元使用情况，支持免费试用和付费购买。

Skywork o1 Open系列模型，提升复杂问题解决能力

Skywork-o1-Open-PRM-Qwen-2.5-1.5B是Skywork团队开发的一系列模型，这些模型结合了o1风格的慢思考和推理能力。该模型专门设计用于通过增量过程奖励增强推理能力，适合解决小规模的复杂问题。与简单的OpenAI o1模型复现不同，Skywork o1 Open系列模型不仅在输出中展现出固有的思考、规划和反思能力，而且在标准基准测试中的推理技能有显著提升。这一系列代表了AI能力的一次战略性进步，将原本较弱的基础模型推向了推理任务的最新技术（SOTA）。

开放的大型推理模型，解决现实世界问题

Marco-o1是一个开放的大型推理模型，旨在通过先进的技术如Chain-of-Thought (CoT) fine-tuning、Monte Carlo Tree Search (MCTS)、反射机制和创新的推理策略，优化复杂现实世界问题的解决任务。该模型不仅关注数学、物理和编程等有标准答案的学科，还强调开放性问题的解决。Marco-o1由阿里巴巴国际数字商务的MarcoPolo团队开发，具有强大的推理能力，已在多个领域展示出卓越的性能。

AI驱动的数学问题解决器

AI Math GPT Solver是一个由GPT-4o提供动力的在线数学问题解决平台，它覆盖了代数、微积分和几何等数学领域，集成了微软数学求解器等领先技术，提供快速、准确的解决方案。该平台通过网页和移动应用程序提供免费、用户友好的服务，允许用户随时随地解决问题。

提升大型语言模型解决数学问题的能力

ChatGLM-Math 是一个基于自我批评流程定制的数学问题解决模型，旨在提高大型语言模型（LLMs）在数学问题解决方面的能力。该模型通过训练一个通用的Math-Critique模型来提供反馈信号，并采用拒绝采样微调和直接偏好优化来增强LLM的数学问题解决能力。它在学术数据集和新创建的挑战性数据集MathUserEval上进行了实验，显示出在保持语言能力的同时，显著提升了数学问题解决能力。

提供多种预训练模型，支持多维度筛选，助力AI模型应用与开发。

该平台是一个专注于AI预训练模型的资源平台，整合了大量不同类型、规模和应用场景的预训练模型。其重要性在于为AI开发者和研究人员提供了便捷的模型获取渠道，降低了模型开发的门槛。主要优点包括模型分类细致、多维度筛选功能强大、信息展示详细且提供智能推荐。产品背景是随着AI技术的发展，对预训练模型的需求日益增长，平台应运而生。平台主要定位为AI模型资源平台，部分模型免费商用，部分可能需要付费，具体价格因模型而异。

解决复杂问题的AI语言模型。

ChatGPT o1是OpenAI的最新AI技术，提供o1-preview和o1-mini模型，具备强化学习能力，可解决科学、编程和数学等领域的复杂问题。它具有高效率、安全性和创新性，是AI领域的前沿产品。

解决难对话的冲突管理工具

Chat EQ是一个帮助人们发展解决冲突技巧的应用程序，通过几十年的研究，提供了冲突解决的技巧，帮助人们在个人和职业生活中处理困难问题。它能够帮助人们在问题升级之前解决困难问题，并避免受伤、被拒绝或感到不舒服的担忧。Chat EQ提供了一系列功能，如提供个性化的反馈和建议，帮助人们改善沟通和解决问题的能力。Chat EQ适用于个人和组织，帮助他们提高冲突管理和解决问题的技能。

AI 聊天助手，智能回答问题

稳定 AI 聊天助手是一款基于人工智能技术的智能助手，能够回答用户提出的问题并提供相应的解决方案。该助手具有高度的智能性和准确性，能够处理各种领域的问题。用户可以通过文字或语音与助手进行交互，获得及时的帮助和指导。稳定 AI 聊天助手的定价灵活，可以根据用户需求选择不同的订阅计划。无论是个人用户还是企业用户，都可以通过稳定 AI 聊天助手获得高效、便捷的服务。

未来大型语言模型的解锁者

Sonus AI是一个以Sonus-1模型为核心的大型语言模型，它重新定义了语言理解和计算的边界。Sonus-1以其卓越的复杂问题解决能力而著称，远超过典型的语言模型。Sonus AI提供了增强的搜索和实时信息检索功能，确保用户能够访问到最新和最精确的信息。此外，Sonus AI还计划推出开发者友好的API，以便将Sonus-1的强大能力集成到各种应用中。Sonus AI的产品背景信息显示，它是一个面向未来的技术，旨在通过先进的AI能力提升用户的工作效率和信息获取的准确性。

先进的AI模型，专注于复杂问题的推理和解决

Skywork-o1-Open-Llama-3.1-8B是由昆仑科技Skywork团队开发的一系列模型，这些模型结合了o1风格的慢思考和推理能力。该系列模型不仅在输出中展现出天生的思考、规划和反思能力，而且在标准基准测试中的推理技能有显著提升。这一系列代表了AI能力的战略进步，将原本较弱的基础模型推向了推理任务的最新技术（SOTA）。

信息提取与问题解答的文档图语言模型

DocGraphLM是一种用于信息提取和问题解答的文档图语言模型。它采用了先进的视觉丰富文档理解技术，结合了预训练语言模型和图形语义。其独特之处在于提出了联合编码器架构来表示文档，并采用了一种新颖的链接预测方法来重构文档图。DocGraphLM通过收敛的联合损失函数预测节点之间的方向和距离，优先考虑邻域恢复并降低远程节点检测的权重。在三个SotA数据集上的实验表明，采用图形特征能够在信息提取和问题解答任务上实现一致的改进。此外，我们还报告说，采用图形特征能够加速训练过程中的收敛，尽管这些特征仅通过链接预测构建。

征服生活的挑战与Marcus Aurelius AI

Marcus Aurelius AI是一款基于人工智能的个人助手，帮助用户征服生活中的各种挑战。它可以提供智能建议和指导，帮助用户处理情绪、解决问题、制定计划等。Marcus Aurelius AI还具有个性化定制功能，可以根据用户的需求和偏好进行个性化服务。定价方案包括免费和付费版本。

Solvr AI，让问题解答变得轻松无比。

Solvr 是一款Chrome浏览器插件，通过AI技术提供即时问题解答服务。用户可以通过截图或高亮网页文本的方式，快速获取问题的答案。Solvr的设计理念在于简化问题解决流程，提高用户效率，特别适合需要快速获取信息和解决问题的用户。产品背景信息显示，Solvr由Gemini 1.5 Flash提供技术支持，是一款以用户友好和高效率为特点的工具。

小型语言模型用于推理和理解任务

Orca 2 是一个用于研究目的的助手，通过提供单轮响应来帮助推理和理解任务，如数据推理、阅读理解、数学问题解决和文本摘要。该模型特别擅长推理。我们公开发布 Orca 2，以促进在开发、评估和对齐更小的语言模型方面的进一步研究。

高性能多模态AI模型

Gemini Pro是DeepMind推出的一款高性能多模态AI模型，专为广泛的任务设计，具有高达两百万token的长上下文窗口，能够处理大规模文档、代码、音频和视频等。它在多个基准测试中表现出色，包括代码生成、数学问题解决和多语言翻译等。

与各种AI人物互动，解决任何问题

Inquire是一个AI交互平台，用户可以与各种AI人物互动，解决各种问题。无论您是需要建肌肉、编程问题、写作灵感还是其他任何问题，Inquire都能帮助您得到最有效的AI助手。

IDE 中 AI 助手，提供代码补全和问题解答

JetBrains助手是一款集成在 JetBrains IDE 中的 AI 助手插件。它可以根据项目上下文提供代码补全和问题解答功能，帮助开发者更高效地编写代码。此外，AI 助手还具有安全、可靠、成本效益高等优势。用户可以通过官方网站获取详细定价和使用方式。

QwQ-32B 是一款强大的推理模型，专为复杂问题解决和文本生成设计，性能卓越。

QwQ-32B 是 Qwen 系列的推理模型，专注于复杂问题的思考和推理能力。它在下游任务中表现出色，尤其是在解决难题方面。该模型基于 Qwen2.5 架构，经过预训练和强化学习优化，具有 325 亿参数，支持 131072 个完整上下文长度的处理能力。其主要优点包括强大的推理能力、高效的长文本处理能力和灵活的部署选项。该模型适用于需要深度思考和复杂推理的场景，如学术研究、编程辅助和创意写作等。

KAYAK AI Beta驱动引擎是一款基于人工智能模型ChatGPT的旅行问题解答引擎。

KAYAK AI Beta驱动引擎是基于OpenAI的人工智能模型ChatGPT开发的旅行问题解答引擎。通过深入了解用户输入，提供准确的旅行建议和信息，帮助用户解决旅行中的各种问题。

一个提供AI生成内容的在线平台，涵盖多种话题和问题解答。

跃问是一个以教育为核心，利用AI技术为用户提供多样化内容的平台。它能够生成各种风格的文案、解答各类问题，帮助用户获取知识、解决问题。该平台具有高效、便捷的特点，用户无需下载安装，直接在网页端即可使用。其定位主要是面向需要快速获取信息、解决学习或生活问题的用户群体，价格策略暂未明确。

一款挑战智力的在线游戏。

what beats rock? 是一款在线智力游戏，旨在测试玩家的逻辑思维和问题解决能力。游戏通过提出'什么能打败石头'这样的问题，引导玩家思考并寻找答案。它不仅锻炼玩家的大脑，还提供了一种轻松愉快的娱乐方式。

简化复杂问题的Ai亚马逊助手

Frequently.ai是一个拥有30年经验和专业知识的机构，通过AI驱动的解决方案，帮助您提升亚马逊销售额或解决问题。我们提供全面或部分管理服务，为您提供卓越的销售体验。定价分为FreeFlex（免费）、FullGo（1000英镑/月）和Contract Retailer（2000英镑/月）三个档次。

Grok-1.5带有改进的推理能力和128,000个标记的上下文长度。

Grok-1.5是一种先进的大型语言模型,具有出色的长文本理解和推理能力。它可以处理高达128,000个标记的长上下文,远超以前模型的能力。在数学和编码等任务中,Grok-1.5表现出色,在多个公认的基准测试中获得了极高的分数。该模型建立在强大的分布式训练框架之上,确保高效和可靠的训练过程。Grok-1.5旨在为用户提供强大的语言理解和生成能力,助力各种复杂的语言任务。

Thoughtflow 是一款基于树状结构的聊天助手，帮助用户以更自然的方式与AI进行互动。

Thoughtflow 是一款创新的AI聊天工具，采用树状结构对话格式，使复杂话题的管理和探索变得直观和有条理。它支持与多种GPT模型的灵活集成，无论是本地运行的Ollama还是通过API连接的OpenAI模型，都能轻松适配。其主要优点在于能够保留上下文的分支探索功能，让用户在不丢失主线的情况下深入探讨细节。Thoughtflow 主要面向学生、思考者、创作者和创新者，旨在通过结构化的对话系统提升创造力和解决问题的能力。目前，该产品通过App Store提供下载，具体价格未明确提及。

Resolve 50% of customer support questions. Instantly.

Fin是一款由OpenAI驱动的AI机器人，解决复杂问题，提供比市场上任何其他AI机器人更安全、更准确的答案。Fin能够解决50%的客户支持问题，并立即提供解决方案。它使用先进的AI语言模型，通过阅读支持文档来回答用户的问题。Fin还可以与用户进行自然对话，并在需要时将复杂问题转交给人工支持团队。

复杂推理的复合AI模型

Fireworks f1是一个专门针对复杂推理的复合AI模型，它在推理层融合了多个开放模型。Fireworks f1通过简化构建复合AI的过程，使得开发者能够以提示（prompting）的方式轻松访问复合AI的能力。该模型在编码、聊天、数学和推理用例中表现出色，超越了大多数开放模型和封闭前沿模型。Fireworks f1的设计理念是声明式编程，开发者可以通过提示描述他们想要实现的目标，而无需具体指定如何实现。

数学视觉指令调优模型

MAVIS是一个针对多模态大型语言模型（MLLMs）的数学视觉指令调优模型，主要通过改进视觉编码数学图表、图表-语言对齐和数学推理技能来增强MLLMs在视觉数学问题解决方面的能力。该模型包括两个新策划的数据集、一个数学视觉编码器和数学MLLM，通过三阶段训练范式在MathVerse基准测试中取得领先性能。

新一代最强推理模型

OpenAI o3模型是继o1之后的新一代推理模型，包括o3和o3-mini两个版本。o3在某些条件下接近于通用人工智能（AGI），在ARC-AGI基准测试中得分高达87.5%，远超人类平均水平。它在数学和编程任务中表现出色，在2024年美国数学邀请赛（AIME）中得分96.7%，在Codeforces评级中达到2727分。o3能够自我事实核查，通过“私人思维链”进行推理，提高答案的准确性。o3是首个使用“审议对齐”技术训练的模型，以符合安全原则。目前，o3模型尚未广泛可用，但安全研究人员可以注册预览o3-mini模型。o3 mini版将在1月底推出，之后不久推出o3完整版。