产品库

快速洞察，全面研究

Tavily AI是一款旨在提供快速洞察和全面研究的人工智能助手。它通过收集准确的信息源并组织研究结果，为您节省大量的研究时间。只需告诉Tavily您的研究目标和问题，它将在几分钟内将详尽的研究结果直接发送到您的收件箱。您还可以与团队成员合作，深入研究每一个结果，并与其他同事共享洞察和研究结果。

一种通过文本迷宫解决任务来增强大型语言模型视觉推理能力的创新方法

AlphaMaze 是一个专注于提升大型语言模型（LLM）视觉推理能力的项目。它通过文本形式描述的迷宫任务来训练模型，使其能够理解和规划空间结构。这种方法不仅避免了复杂的图像处理，还通过文本描述直接评估模型的空间理解能力。其主要优点是能够揭示模型如何思考空间问题，而不仅仅是能否解决问题。该模型基于开源框架，旨在推动语言模型在视觉推理领域的研究和发展。

构建世界上最好的真正开放的人工智能，让用户拥有数据和AI的未来。

NEAR AI致力于打造一个用户拥有数据和AI的未来。它通过开放标准和协议，让用户能够控制自己的数据，而不是被少数公司控制。NEAR AI的愿景是通过开放的模型和协议，让用户能够真正拥有和控制自己的AI，从而推动AI技术的民主化。它目前处于早期阶段，但已经展示了巨大的潜力和未来发展的可能性。

视频生成模型Sora的存档库

SoraVids是一个基于Hugging Face平台的视频生成模型Sora的存档库。它包含了87个视频和83个对应的提示，这些视频和提示在OpenAI撤销API密钥前被公开展示。这些视频均为MIME类型video/mp4，帧率为30 FPS。SoraVids的背景是OpenAI的视频生成技术，它允许用户通过文本提示生成视频内容。这个存档库的重要性在于它保存了在API密钥被撤销前生成的视频，为研究和教育提供了宝贵的资源。

基于大型语言模型的智能代理研究

xLAM是一个由Salesforce AI Research团队开发的基于大型语言模型(Large Language Models, LLMs)的智能代理研究项目。它通过聚合来自不同环境的智能代理轨迹，标准化并统一这些轨迹到一致的格式，以创建一个优化的通用数据加载器，专门用于智能代理的训练。xLAM-v0.1-r是此模型系列的0.1版本，专为研究目的设计，与VLLM和FastChat平台兼容。

通过开放科学构建并普及通用人工智能

KYUTAI是一个位于巴黎的人工智能研究实验室，其使命是通过开放科学来构建和普及人工智能。这代表了一种开放的、协作的研究环境，旨在推动人工智能技术的发展和应用。KYUTAI实验室致力于教育和普及，通过提供在线试用和教育讲座等方式，让更多人了解和接触人工智能。

自动化法律流程的AI助手

Advomate是一个旨在帮助律师通过自动化法律流程，如研究、文件审查以及与法规和案例法的工作，来提高工作效率的AI平台。它通过人工智能技术快速生成搜索结果，提供法律文件的详细分析，并与相关法规和案例法链接。Advomate注重数据安全和保护，为用户提供了一个用户友好的界面来搜索法律和法院决定。

Cubby是一款协作研究工具，可以存储文件和链接，标注内容，并使用人工智能进行综合。

Cubby是一个私密的工作空间，可以存储来自任何地方的链接和文件，并使用人工智能进行标注和综合。它可以自动转录音频和视频内容，并提供注释和下载功能。Cubby还有一个智能助手，可以自动生成摘要、回答问题并进行内容综合。Cubby旨在提供一个集中存储、标注和综合研究资料的工具，以提高工作效率。

看清隐藏的影响力

CogBias AI是一个用于检测认知偏见的AI平台。我们的平台可以检测对话中的认知偏见，帮助您从正确的角度提问，从正确的角度看待答案，做出更好的决策。我们的平台可以识别问句中的认知偏见，并提供重新表述建议，帮助您找到更好的提问方式。通过监控项目问题和个别问题的认知偏见减少情况，自动生成报告。我们还提供实时分析，预测认知偏见趋势，以及评估问题对洞察力和研究效果的影响。

即时理解任何数据

Pandachat是一个基于人工智能的工具，能够帮助用户快速、轻松地找到和理解相关信息。用户可以上传各种数据，包括PowerPoints、Word文档、Excel表格、图片、网页、PDF等，Pandachat会分析数据并提供智能回答。不需要手动查找手册或搜索大量文档，Pandachat会立即分析所有文档，并作为您所有流程的专家，提供您需要的答案。

AI睡眠监测、研究和控制系统

梦网捕手实验室是一个基于人工智能的睡眠监测、研究和控制系统。参与国际睡眠研究，使用创新和尖端的技术。通过我们的AI软件获取详细的睡眠报告和建议。参与者将获得奖励，激励参与研究。

个性化定制新闻资讯

NewsParrot是一款个性化定制的新闻资讯服务。它使用人工智能技术，根据用户的兴趣定制个性化的新闻简报，帮助用户节省时间、提高研究效率，并让用户始终保持对关注话题的最新了解。

你的AI投资研究助手

MichaelAi是一款基于人工智能的投资研究助手，提供全面的投资信息和分析工具。它能够帮助用户找到所需的投资信息，并提供精准的投资建议和数据分析，助力用户进行更好的投资决策。MichaelAi提供实时股票行情、财务数据、新闻热点、技术指标分析等功能。定价灵活，适用于个人投资者和专业机构。

使用AI摘要科学文章，节省时间

SciSummary是一款使用现代人工智能技术的科学文章摘要工具，可以摘要大量科学文章并提供综合概述。它可以帮助研究人员和学生节省时间，让他们能够更快地理解文章内容。该工具快速、高效且易于使用。定价为每1000个token为0.15美元。

通过知识与技能帮助教育者有效利用人工智能。

OpenAI Academy 致力于为教育者提供人工智能的知识与技能，帮助他们在教学中有效整合 AI 技术。通过针对 K-12 教育者的工作坊，OpenAI Academy 强调了生成性 AI 模型（如 ChatGPT）的构造和转型潜力，以及它们在课堂上的实际应用。这一平台旨在帮助教育者面对 AI 带来的机遇与挑战，培养他们在不断发展的数字环境中，为学生提供必要的安全性、技能和自主权。此项目是免费的，旨在为教育者和学生创造一个更美好的未来。

利用 AI 将您的创意变为现实，生成美观的应用程序。

HeroUI Chat 是一个利用人工智能生成美观应用程序的平台，无论用户的设计经验如何，都可以轻松创建专业级的应用界面。该产品旨在帮助创业者、开发者及设计师快速实现他们的想法。产品目前提供 30% 的折扣，吸引了众多用户参与和讨论。

加速视频扩散模型，生成速度提升 8.5 倍。

AccVideo 是一种新颖的高效蒸馏方法，通过合成数据集加速视频扩散模型的推理速度。该模型能够在生成视频时实现 8.5 倍的速度提升，同时保持相似的性能。它使用预训练的视频扩散模型生成多条有效去噪轨迹，从而优化了数据的使用和生成过程。AccVideo 特别适用于需要高效视频生成的场景，如电影制作、游戏开发等，适合研究人员和开发者使用。

通过测试时间缩放显著提升视频生成质量。

Video-T1 是一个视频生成模型，通过测试时间缩放技术（TTS）显著提升生成视频的质量和一致性。该技术允许在推理过程中使用更多的计算资源，从而优化生成结果。相较于传统的视频生成方法，TTS 能够提供更高的生成质量和更丰富的内容表达，适用于数字创作领域。该产品的定位主要面向研究人员和开发者，价格信息未明确。

Gemini 2.5 是谷歌最智能的 AI 模型，具备推理能力。

Gemini 2.5 是谷歌推出的最先进的 AI 模型，具备高效的推理能力和编码性能，能够处理复杂问题，并在多项基准测试中表现出色。该模型引入了新的思维能力，结合增强的基础模型和后期训练，支持更复杂的任务，旨在为开发者和企业提供强大的支持。Gemini 2.5 Pro 可在 Google AI Studio 和 Gemini 应用中使用，适合需要高级推理和编码能力的用户。

通过强化学习驱动的金融推理大模型。

Fin-R1 是一个专为金融领域设计的大型语言模型，旨在提升金融推理能力。由上海财经大学和财跃星辰联合研发，基于 Qwen2.5-7B-Instruct 进行微调和强化学习，具有高效的金融推理能力，适用于银行、证券等核心金融场景。该模型免费开源，便于用户使用和改进。

业界首个超大规模混合 Mamba 推理模型，强推理能力。

混元T1 是腾讯推出的超大规模推理模型，基于强化学习技术，通过大量后训练显著提升推理能力。它在长文处理和上下文捕捉上表现突出，同时优化了计算资源的消耗，具备高效的推理能力。适用于各类推理任务，尤其在数学、逻辑推理等领域表现优异。该产品以深度学习为基础，结合实际反馈不断优化，适合科研、教育等多个领域的应用。

一款 21B 通用推理模型，适合低延迟应用。

Reka Flash 3 是一款从零开始训练的 21 亿参数的通用推理模型，利用合成和公共数据集进行监督微调，结合基于模型和基于规则的奖励进行强化学习。该模型在低延迟和设备端部署应用中表现优异，具有较强的研究能力。它目前是同类开源模型中的最佳选择，适合于各种自然语言处理任务和应用场景。

o1-pro 模型通过强化学习提升复杂推理能力，提供更优答案。

o1-pro 模型是一种先进的人工智能语言模型，专为提供高质量文本生成和复杂推理设计。其在推理和响应准确性上表现优越，适合需要高精度文本处理的应用场景。该模型的定价基于使用的 tokens，输入每百万 tokens 价格为 150 美元，输出每百万 tokens 价格为 600 美元，适合企业和开发者在其应用中集成高效的文本生成能力。

一个开源文本转语音系统，致力于实现人类语音的自然化。

Orpheus TTS 是一个基于 Llama-3b 模型的开源文本转语音系统，旨在提供更加自然的人类语音合成。它具备较强的语音克隆能力和情感表达能力，适合各种实时应用场景。该产品是免费的，旨在为开发者和研究者提供便捷的语音合成工具。

增强文本与视觉任务处理能力的开源模型。

Mistral-Small-3.1-24B-Base-2503 是一款具有 240 亿参数的先进开源模型，支持多语言和长上下文处理，适用于文本与视觉任务。它是 Mistral Small 3.1 的基础模型，具有较强的多模态能力，适合企业需求。

Cohere Command 是专为企业设计的高效能语言模型。

Cohere Command 是一个高可扩展性的语言模型系列，旨在为企业提供可靠的人工智能解决方案，助力团队专注于重要工作。其主要优点包括：高性能、强准确性、可私人部署和自定义，适合多种真实世界的企业应用场景。

一个帮助用户寻找工作的智能平台。

OpenJobs AI 是一个创新的在线平台，旨在通过人工智能技术帮助求职者找到理想的职位。该平台提供个性化的职位推荐，用户友好的界面，以及强大的简历生成工具，为求职者提供了无缝的求职体验。平台免费提供基本功能，用户可以通过上传简历和搜索职位来快速找到合适的工作机会。

通过拍照轻松追踪卡路里。

Cal AI 是一款利用先进的人工智能技术，通过拍照快速计算食物的卡路里和营养成分的应用程序。它结合深度传感器和多模态 AI 模型，为用户提供准确的饮食跟踪。适合关注健康饮食和卡路里管理的用户，Cal AI 的使用非常简单，帮助用户轻松获取食物信息，并提高饮食意识。

Light-R1 是一个专注于长链推理（Long COT）的开源项目，通过课程式 SFT、DPO 和 RL 提供从零开始的训练方法。

Light-R1 是一个由 Qihoo360 开发的开源项目，旨在通过课程式监督微调（SFT）、直接偏好优化（DPO）和强化学习（RL）训练长链推理模型。该项目通过去污染数据集和高效的训练方法，实现了从零开始的长链推理能力。其主要优点包括开源的训练数据、低成本的训练方式以及在数学推理领域的卓越性能。项目背景基于当前长链推理模型的训练需求，旨在提供一种透明且可复现的训练方法。项目目前免费开源，适合研究机构和开发者使用。