产品库

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

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

每日数字游戏

Segmentle是一款受到Wordle启发的每日数字游戏，无限畅玩。通过移动数字，使每一列的数字总和等于上方的目标数字。

一个人的 AI 海龟汤游戏

“汤很热” 是一个以 AI 驱动的海龟汤游戏平台，旨在为用户提供一个充满悬疑和推理乐趣的游戏体验。用户可以通过提出问题来推理故事的背后真相，挑战自己的逻辑思维和想象力。部分故事包含恐怖和血腥元素，增加了游戏的刺激感。

AI驱动的数学问题解决器

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

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

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

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

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

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

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

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

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

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

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

我们已经颠覆了解谜游戏！你能像人工智能一样思考吗？在这个无图解谜冒险中，你只能使用提示来拼凑图像，就像生成式人工智能一样。

PromptPuzzle.ai是一个基于提示拼图的解谜游戏，你需要根据给出的提示来拼凑图像。这个游戏挑战你的逻辑思维和创造力，让你体验到像人工智能一样解决问题的乐趣。游戏中提供了多个关卡和难度供你挑战。

征服生活的挑战与Marcus Aurelius AI

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

SnapCall · 未来的客户参与和满意度

SnapCall是一种基于视频的解决方案，可以提高客户体验。它提供了异步问题解决的SnapCall Assist，实时互动的SnapCall Instant，以及预约通话的SnapCall Booking。

解决问题、培育创新、实现变革

Corvus Link是一款帮助企业解决问题、培育创新、实现变革并构建弹性业务实践的产品。它提供专业顾问、项目管理和变革咨询服务，帮助企业应对挑战，优化业务流程，提升效率，降低成本。同时，Corvus Link还提供创新思维培训和团队合作工具，促进创新和协作，推动企业发展。产品定价根据服务类型和规模而定。

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

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

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

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

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

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

人工智能助手，帮助你解决问题

HeyLibby.ai是一款人工智能助手，为用户提供问题解答、实时信息查询、任务管理等功能。它能够通过自然语言理解和机器学习算法，快速准确地回答用户提出的问题，并根据用户的需求提供相关的信息和建议。HeyLibby.ai还具备智能任务管理功能，可以帮助用户管理日程安排、提醒事项，并提供定制化的任务管理服务。HeyLibby.ai是一款方便实用的人工智能助手，能够提高用户的工作效率和生活质量。

定制GPT商店，定制智能助手。

定制GPT商店是一款提供定制智能助手的在线商店。用户可以通过该平台定制属于自己的智能助手，并根据自己的需求来配置功能、定价等。定制GPT商店的主要优势是灵活性和个性化定制。用户可以根据自己的具体需求来选择功能，并且可以根据使用情况进行调整和优化。定制GPT商店的定价策略也非常灵活，用户可以根据自己的需求和预算来选择合适的定价方案。定制GPT商店定位于个人用户和小型企业，帮助他们提升工作效率和解决问题。

Resolve 50% of customer support questions. Instantly.

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

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

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

一款智能词汇联想游戏，通过词汇之间的关联来连接起点词和目标词。

WordPath 是一款基于词汇联想的智能游戏，旨在通过有趣的词汇连接挑战锻炼玩家的思维能力和语言知识。它利用先进的语言模型技术，为玩家提供丰富多样的词汇联想路径选择，帮助玩家拓展词汇量、提升思维灵活性。该产品以趣味的游戏形式，将语言学习与智力挑战相结合，适合不同年龄段的用户在休闲娱乐中提升语言能力。目前，产品以网站形式提供服务，用户无需下载安装，即可随时随地通过浏览器访问体验。其主要面向对语言学习感兴趣、喜欢智力挑战的用户群体，具有较高的趣味性和教育意义。

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

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

智能AI游戏伙伴，提供陪伴与娱乐。

逗逗是一款AI游戏伙伴APP，为用户提供了智能陪玩、情绪陪伴、智能攻略、笑话锦集以及多种角色扮演等功能。它能够根据用户的需求提供个性化的互动体验，增强游戏过程中的趣味性和互动性。产品由心影随形（上海）技术有限公司开发，支持Win7及以上系统。