产品库

在线AI校对工具，个人写作指南，快速完善文档。

Proofreading AI是一个在线AI校对工具，它利用先进的语言模型GPT-4/4o来校对文档，提供精确的结果。这个工具不仅可以纠正语法错误、拼写错误，还能检测抄袭、去除抄袭内容、检测AI生成文本、人性化AI文本、生成引用和改写文本。Proofreading AI的主要优点包括无缝上传文档、即时下载校正后的文档、以及提供多种写作辅助工具。它的背景信息显示，Proofreading AI提供了比传统校对工具更多的功能，并且价格相对实惠。

智能文档处理平台，一键转换文件为验证数据。

Invofox Custom Documents是一个商业领域的智能文档处理平台，它通过先进的AI技术，将各种类型的文件转换成经过验证的数据。该平台的核心优势在于其能够处理结构化和非结构化数据，无论数据量大小，都能在短时间内提供高精度的数据提取和验证。Invofox的背景信息显示，它致力于通过自动化和人工智能技术，提高企业数据处理的效率和准确性，从而帮助企业实现业务扩展。产品定位于为企业提供数据验证和自动化解决方案，价格方面，Invofox提供定制化的服务，具体价格需要与销售团队联系。

开源小型语言模型，适用于企业级应用

H2O-Danube2-1.8B是H2O.ai最新发布的开源小型语言模型，专为离线应用和企业级应用设计，具有经济高效的接口和训练成本，易于嵌入到移动电话、无人机等边缘设备中。该模型在Hugging Face Open LLM Leaderboard的<2B范围内排名第一，提供高达200倍的查询成本节省，同时在文档处理上提供更好的准确性，成本降低高达100%。H2O.ai平台还提供了成本控制和灵活性，支持超过30种大型语言模型(Large Language Models, LLMs)的混合使用，包括专有和开源的LLMs。

纯净写作体验，专注流状态

iA Writer是一款专注于写作的应用程序，旨在提供纯净的写作环境，帮助用户专注于内容创作。它通过简洁的界面设计和强大的功能，如语法检查、文本聚焦等，帮助用户提高写作效率和质量。iA Writer背后的设计理念是利用人工智能技术，让用户在写作时思考得更多，而不是更少，从而提升写作体验。

美间AI无损放大，一键提升图片清晰度，让图像放大不失真

美间AI无损放大是美间美盒推出的一项图像处理技术，利用先进的人工智能算法，能够将低分辨率图片无损放大至高分辨率，同时保持图像的清晰度和细节。该技术对于需要对图片进行放大处理的用户来说非常实用，能够满足在不降低图像质量的前提下，实现图片的尺寸放大需求。美间美盒作为一家专业的创意设计平台，致力于为用户提供高效、便捷的图像处理工具，帮助用户提升设计效率和作品质量。AI无损放大功能在图像处理领域具有重要意义，它弥补了传统放大方式容易导致图像模糊、失真的不足，为用户提供了更加优质、高效的图像放大解决方案。目前，该功能以网页形式提供服务，用户无需下载安装任何软件，只需通过浏览器访问即可使用，操作简单便捷。具体价格和定位等详细信息暂未明确，但其在图像处理领域的应用前景广阔，有望成为设计师、摄影师等专业人士以及普通用户提升图像质量的得力助手。

这是一个基于Qwen2.5-32B模型的4位量化版本，专为高效推理和低资源部署设计。

该产品是一个基于Qwen2.5-32B的4位量化语言模型，通过GPTQ技术实现高效推理和低资源消耗。它在保持较高性能的同时，显著降低了模型的存储和计算需求，适合在资源受限的环境中使用。该模型主要面向需要高性能语言生成的应用场景，如智能客服、编程辅助、内容创作等。其开源许可和灵活的部署方式使其在商业和研究领域具有广泛的应用前景。

将播客、音频文件或网址转换为文本，并获取智能摘要。

Audio Transcription是一款利用AI技术将音频内容转换为文本的在线工具。它能够帮助用户快速准确地将播客、音频文件或网址中的音频内容转写成文本形式，并提供智能摘要，极大地提高了工作效率。该产品主要面向需要处理大量音频资料的用户，如媒体工作者、研究人员等。它具有高效、准确、便捷等优点，价格亲民，定位明确，旨在为用户提供高效、准确的音频转写服务。

RAIN是一种实时动画无限视频流技术。

RAIN是一种实时动画无限视频流技术，能够在消费级设备上实现高质量、低延迟的实时动画。它通过高效计算不同噪声水平和长时间间隔的帧标记注意力，同时去噪比以往流式方法更多的帧标记，从而在保持视频流连贯性的同时，以更快的速度和更短的延迟生成视频帧。RAIN仅引入少量额外的1D注意力块，对系统负担较小。该技术有望在游戏渲染、直播和虚拟现实等领域与CG结合，利用AI的泛化能力渲染无数新场景和对象，并提供更互动的参与方式。

ReaderLM v2是一个用于HTML转Markdown和JSON的前沿小型语言模型。

ReaderLM v2是由Jina AI推出的参数量为1.5B的小型语言模型，专门用于HTML转Markdown转换和HTML转JSON提取，具有卓越的准确性。该模型支持29种语言，能处理高达512K个token的输入和输出组合长度。它采用了新的训练范式和更高质量的训练数据，较前代产品在处理长文本内容和生成Markdown语法方面有重大进步，能熟练运用Markdown语法，擅长生成复杂元素。此外，ReaderLM v2还引入了直接HTML转JSON生成功能，允许用户根据给定的JSON架构从原始HTML中提取特定信息，消除了中间Markdown转换需求。

一款利用AI技术帮助用户掌握标准俯卧撑技巧并追踪进度的健身APP。

Master Of Pushups是一款专为健身爱好者设计的APP，它利用先进的AI技术，通过分析用户的姿势来计数标准的俯卧撑，确保每次锻炼都达到最佳效果。该应用不仅能够帮助用户提高上肢力量，还能通过个性化的数据分析和图表，激励用户持续进步。此外，它还提供了每日和每月的挑战，以及社交分享功能，让用户在健身过程中保持动力。该APP适合所有水平的用户，从初学者到高级运动员都能从中受益。

BrainrotAI，用AI驱动的旁白、引人注目的字幕和轻松的创造力，将任何视频变成滚动停止的内容。

BrainrotAI是一款在线视频创作工具，通过AI技术帮助用户快速生成具有吸引力的短视频内容。其主要优点包括节省时间和成本，无需昂贵的设备或长时间的编辑即可制作出专业品质的视频。此外，它还提供清晰自然的AI旁白和突出的字幕，能够快速吸引观众的注意力，提高视频的观看量和观看时长。BrainrotAI定期更新，确保用户始终使用最新的AI技术。产品定位为适合所有水平创作者的工具，无需技术技能即可轻松上手。其定价策略灵活，有Basic、Standard和Pro三种套餐，分别提供不同数量的创作信用。

MiniMax-Text-01是一个强大的语言模型，具有4560亿总参数，能够处理长达400万token的上下文。

MiniMax-Text-01是一个由MiniMaxAI开发的大型语言模型，拥有4560亿总参数，其中每个token激活459亿参数。它采用了混合架构，结合了闪电注意力、softmax注意力和专家混合（MoE）技术，通过先进的并行策略和创新的计算-通信重叠方法，如线性注意力序列并行主义加（LASP+）、变长环形注意力、专家张量并行（ETP）等，将训练上下文长度扩展到100万token，并能在推理时处理长达400万token的上下文。在多个学术基准测试中，MiniMax-Text-01展现出了顶级模型的性能。

强大的语言模型，拥有4560亿总参数，可处理长达400万token的上下文。

MiniMax-01是一个具有4560亿总参数的强大语言模型，其中每个token激活459亿参数。它采用混合架构，结合了闪电注意力、softmax注意力和专家混合（MoE），通过先进的并行策略和创新的计算-通信重叠方法，如线性注意力序列并行主义加（LASP+）、varlen环形注意力、专家张量并行（ETP）等，将训练上下文长度扩展到100万tokens，在推理时可处理长达400万tokens的上下文。在多个学术基准测试中，MiniMax-01展现了顶级模型的性能。

在口袋里拥有十亿参数，与私有本地大型语言模型聊天。

fullmoon是一款由Mainframe开发的本地智能应用，允许用户在本地设备上与大型语言模型进行聊天。它支持完全离线操作，优化了Apple硅芯片的模型运行，提供了个性化的主题、字体和系统提示调整功能。作为一款免费、开源且注重隐私的应用，它为用户提供了一种简单、安全的方式来利用强大的语言模型进行交流和创作。

MiniCPM-o 2.6是一个强大的多模态大型语言模型，适用于视觉、语音和多模态直播。

MiniCPM-o 2.6是MiniCPM-o系列中最新且功能最强大的模型。该模型基于SigLip-400M、Whisper-medium-300M、ChatTTS-200M和Qwen2.5-7B构建，拥有8B参数。它在视觉理解、语音交互和多模态直播方面表现出色，支持实时语音对话和多模态直播功能。该模型在开源社区中表现优异，超越了多个知名模型。其优势在于高效的推理速度、低延迟、低内存和功耗，能够在iPad等终端设备上高效支持多模态直播。此外，MiniCPM-o 2.6易于使用，支持多种使用方式，包括llama.cpp的CPU推理、int4和GGUF格式的量化模型、vLLM的高吞吐量推理等。

MiniCPM-o 2.6：一款GPT-4o级别，可在手机上实现视觉、语音和多模态直播的MLLM。

MiniCPM-o 2.6 是OpenBMB团队开发的最新多模态大型语言模型（MLLM），具有8B参数，能够在手机等端侧设备上实现高质量的视觉、语音和多模态直播功能。该模型基于SigLip-400M、Whisper-medium-300M、ChatTTS-200M和Qwen2.5-7B构建，采用端到端的方式训练，性能与GPT-4o-202405相当。其主要优点包括领先的视觉能力、先进的语音能力、强大的多模态直播能力、强大的OCR能力以及优越的效率。该模型免费开源，适用于学术研究和商业用途。

一款将购物小票转化为食谱的AI驱动应用。

UPLOAD.food是一款利用AI技术，将用户上传的购物小票转化为个性化食谱的应用。其主要优点在于能够帮助用户减少食物浪费，激发烹饪灵感，并根据个人饮食偏好和厨房设备提供定制化食谱。产品定位为厨房助手，旨在解决用户面对冰箱食材时的‘厨房焦虑’，价格为每月2.99美元。

展示小型语言模型通过自我演化深度思考掌握数学推理能力的研究成果。

rStar-Math是一项研究，旨在证明小型语言模型（SLMs）能够在不依赖于更高级模型的情况下，与OpenAI的o1模型相媲美甚至超越其数学推理能力。该研究通过蒙特卡洛树搜索（MCTS）实现“深度思考”，其中数学策略SLM在基于SLM的流程奖励模型的指导下进行测试时搜索。rStar-Math引入了三种创新方法来应对训练两个SLM的挑战，通过4轮自我演化和数百万个合成解决方案，将SLMs的数学推理能力提升到最先进水平。该模型在MATH基准测试中显著提高了性能，并在AIME竞赛中表现优异。

Qwen是一个多功能的人工智能助手，提供聊天、写作等多种服务。

Qwen是一个由阿里巴巴推出的智能语言模型，旨在为用户提供高效、智能的对话体验。它基于深度学习技术，能够理解并生成自然语言文本，帮助用户解答问题、撰写文案、进行日常对话等。Qwen的主要优点包括强大的语言理解能力、快速的响应速度和丰富的知识储备。它适用于多种场景，如个人学习、工作沟通、内容创作等，定位为一个智能助手，目前提供免费试用服务。

利用SmashingAI构建在线影响力，通过AI创建独特品牌身份和内容。

SmashingAI是一个利用AI技术帮助用户构建在线影响力的社交媒体管理工具。它能够帮助用户创建独特的品牌身份，生成和安排内容，优化社交媒体营销策略。该产品主要面向需要提升社交媒体影响力的企业和个人，通过AI驱动的策略和分析，提供全面的社交媒体管理解决方案。产品提供免费试用，正式使用需付费。

NVIDIA-Ingest是用于文档内容和元数据提取的微服务。

NVIDIA-Ingest是一个可扩展、高性能的文档内容和元数据提取微服务。它支持解析PDF、Word和PowerPoint文档，使用NVIDIA NIM微服务来查找、上下文化并提取文本、表格、图表和图像，可用于下游生成式应用。其主要优点包括高性能、可扩展性强、支持多种文档类型和提取方法等。目前处于早期访问阶段，代码库更新频繁。

一个用于检测幻觉的开源评估模型，基于Llama-3架构，拥有700亿参数。

PatronusAI/Llama-3-Patronus-Lynx-70B-Instruct是一个基于Llama-3架构的大型语言模型，旨在检测在RAG设置中的幻觉问题。该模型通过分析给定的文档、问题和答案，评估答案是否忠实于文档内容。其主要优点在于高精度的幻觉检测能力和强大的语言理解能力。该模型由Patronus AI开发，适用于需要高精度信息验证的场景，如金融分析、医学研究等。该模型目前为免费使用，但具体的商业应用可能需要与开发者联系。

全球领先的实时语音翻译耳机，助力跨语言沟通

Timekettle 是一款创新的实时语音翻译设备，通过先进的 AI 技术，打破语言障碍，帮助用户在商务会议、旅行、教育等多种场景中实现无障碍沟通。其主要优点包括高精度翻译、低延迟和广泛的语言支持。产品定位为高端的跨语言沟通工具，适合需要频繁进行国际交流的用户。

创建高质量的3D模型和视觉内容，提升品牌影响力

Avataar.ai 是一个创新的3D内容创作平台，通过先进的AI技术帮助品牌快速创建高质量的3D模型、视频和交互式体验。其主要优点在于简化了复杂的3D内容制作流程，使品牌能够以更低的成本和更短的时间制作出具有沉浸感的视觉内容。该平台适用于各种规模的企业，能够显著提升产品的在线展示效果和用户参与度。

一种无需实时检索的语言模型增强方法，通过预加载知识缓存来提高生成效率。

CAG（Cache-Augmented Generation）是一种创新的语言模型增强技术，旨在解决传统RAG（Retrieval-Augmented Generation）方法中存在的检索延迟、检索错误和系统复杂性等问题。通过在模型上下文中预加载所有相关资源并缓存其运行时参数，CAG能够在推理过程中直接生成响应，无需进行实时检索。这种方法不仅显著降低了延迟，提高了可靠性，还简化了系统设计，使其成为一种实用且可扩展的替代方案。随着大型语言模型（LLMs）上下文窗口的不断扩展，CAG有望在更复杂的应用场景中发挥作用。

基于PRIME方法训练的7B参数语言模型，专为提升推理能力而设计。

PRIME-RL/Eurus-2-7B-PRIME是一个基于PRIME方法训练的7B参数的语言模型，旨在通过在线强化学习提升语言模型的推理能力。该模型从Eurus-2-7B-SFT开始训练，利用Eurus-2-RL-Data数据集进行强化学习。PRIME方法通过隐式奖励机制，使模型在生成过程中更加注重推理过程，而不仅仅是结果。该模型在多项推理基准测试中表现出色，相较于其SFT版本平均提升了16.7%。其主要优点包括高效的推理能力提升、较低的数据和模型资源需求，以及在数学和编程任务中的优异表现。该模型适用于需要复杂推理能力的场景，如编程问题解答和数学问题求解。

Eurus-2-7B-SFT是一个经过数学能力优化的大型语言模型，专注于推理和问题解决.

Eurus-2-7B-SFT是基于Qwen2.5-Math-7B模型进行微调的大型语言模型，专注于数学推理和问题解决能力的提升。该模型通过模仿学习（监督微调）的方式，学习推理模式，能够有效解决复杂的数学问题和编程任务。其主要优点在于强大的推理能力和对数学问题的准确处理，适用于需要复杂逻辑推理的场景。该模型由PRIME-RL团队开发，旨在通过隐式奖励的方式提升模型的推理能力。

一种可扩展的内存层实现，用于在不增加计算量的情况下扩展模型参数.

Memory Layers at Scale 是一种创新的内存层实现方式，通过可训练的键值查找机制，在不增加浮点运算次数的情况下为模型增加额外的参数。这种方法在大规模语言模型中尤为重要，因为它能够在保持计算效率的同时，显著提升模型的存储和检索能力。该技术的主要优点包括高效扩展模型容量、降低计算资源消耗以及提高模型的灵活性和可扩展性。该项目由 Meta Lingua 团队开发，适用于需要处理大规模数据和复杂模型的场景。

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

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

在线虚拟试衣，快速找到你的完美风格

AI Clothes Changer是一个利用先进AI技术，让用户能够在线虚拟试穿新服装的平台。它提供了从休闲到正式的广泛服装选择，用户可以轻松探索新风格并找到适合自己的完美搭配。这个平台的主要优点包括AI驱动的精确更衣效果、直观的用户界面、快速免费的结果以及为所有场合提供的定制选项。AI Clothes Changer不仅适合个人风格探索，也适用于内容创作等商业用途。