产品库

多智能体任务规划与推理的基准测试

PARTNR是由Meta FAIR发布的一个大规模基准测试，包含100,000个自然语言任务，旨在研究多智能体推理和规划。PARTNR利用大型语言模型（LLMs）生成任务，并通过模拟循环来减少错误。它还支持与真实人类伙伴的AI代理评估，通过人类在环基础设施进行。PARTNR揭示了现有基于LLM的规划器在任务协调、跟踪和从错误中恢复方面的显著局限性，人类能解决93%的任务，而LLMs仅能解决30%。

知识共享的对话式AI平台

Dokko是一个革命性的知识管理平台，它通过先进的AI和自然语言理解技术，提供直观的聊天机器人界面，无缝连接团队和客户，促进轻松沟通和知识交流。Dokko通过集中化、直观的系统整合分散的数据源，使用自然、会话式的文本，解决了组织中信息孤岛的问题。产品的主要优点包括易于集成、自动化数据组织和集成、实时性能监控和优化等。Dokko支持多种大型语言模型（LLMs），允许用户根据特定需求选择最佳的AI引擎，并定制响应以反映组织的独特特性。

Qwen2.5-Coder系列中的0.5B参数代码生成模型

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专注于代码生成、代码推理和代码修复。基于强大的Qwen2.5，该系列模型通过增加训练令牌至5.5万亿，包括源代码、文本代码基础、合成数据等，显著提升了编码能力。Qwen2.5-Coder-32B已成为当前最先进的开源代码大型语言模型，编码能力与GPT-4o相当。此外，Qwen2.5-Coder还为实际应用如代码代理提供了更全面的基础，不仅增强了编码能力，还保持了在数学和通用能力方面的优势。

AI数学极限测试基准

FrontierMath是一个数学基准测试平台，旨在测试人工智能在解决复杂数学问题上的能力极限。它由超过60位数学家共同创建，覆盖了从代数几何到Zermelo-Fraenkel集合论的现代数学全谱。FrontierMath的每个问题都要求专家数学家投入数小时的工作，即使是最先进的AI系统，如GPT-4和Gemini，也仅能解决不到2%的问题。这个平台提供了一个真正的评估环境，所有问题都是新的且未发表的，消除了现有基准测试中普遍存在的数据污染问题。

交互式对话AI模型，提供问答和文本生成服务

ChatGPT是由OpenAI训练的对话生成模型，能够以对话形式与人互动，回答后续问题，承认错误，挑战错误的前提，并拒绝不适当的请求。OpenAI日前买下了http://chat.com域名，该域名已经指向了ChatGPT。ChatGPT它是InstructGPT的姊妹模型，后者被训练以遵循提示中的指令并提供详细的回答。ChatGPT代表了自然语言处理技术的最新进展，其重要性在于能够提供更加自然和人性化的交互体验。产品背景信息包括其在2022年11月30日的发布，以及在研究预览期间免费提供给用户使用。

开发者可使用的Grok系列基础模型API

xAI API提供了对Grok系列基础模型的程序化访问，支持文本和图像输入，具有128,000个token的上下文长度，并支持函数调用和系统提示。该API与OpenAI和Anthropic的API完全兼容，简化了迁移过程。产品背景信息显示，xAI正在进行公共Beta测试，直至2024年底，期间每位用户每月可获得25美元的免费API积分。

AI驱动的数据可视化工具

Data Formulator 是微软研究团队开发的一款AI驱动的数据可视化工具，它通过结合用户界面交互和自然语言输入，帮助用户快速创建丰富的数据可视化图表。该工具可以自动处理数据转换，使用户能够专注于图表设计。Data Formulator 支持通过Python安装并本地运行，也可以在GitHub Codespaces中快速启动。它代表了数据分析和可视化领域的技术进步，通过AI技术提高了数据可视化的效率和易用性。

AI驱动的网页浏览框架，专注于简洁性和可扩展性。

Stagehand是一个AI驱动的网页浏览框架，旨在简化和扩展网页自动化的可能性。它提供了三个简单的API（act、extract、observe），这些API构成了自然语言驱动的网络自动化的基础。Stagehand的目标是提供一个轻量级、可配置的框架，没有过于复杂的抽象概念，并且支持不同的模型和模型提供者。它不会为您订购披萨，但它将帮助您可靠地自动化网络。

快速、准确的生产级RAG管道

Vectorize是一个专注于将非结构化数据转化为优化的向量搜索索引的平台，专为检索增强生成(RAG)而设计。它通过连接内容管理系统、文件系统、CRM、协作工具等多种数据源，帮助用户创建提高生产力的辅助系统和创新的客户体验。Vectorize的主要优点包括易于使用、快速部署和高精度的搜索结果，适合需要处理大量数据并希望快速实现AI应用的企业。

高效、轻量级的量化Llama模型，提升移动设备上的运行速度并减少内存占用。

Llama模型是Meta公司推出的大型语言模型，通过量化技术，使得模型体积更小、运行速度更快，同时保持了模型的质量和安全性。这些模型特别适用于移动设备和边缘部署，能够在资源受限的设备上提供快速的设备内推理，同时减少内存占用。量化Llama模型的开发，标志着在移动AI领域的一个重要进步，使得更多的开发者能够在不需要大量计算资源的情况下，构建和部署高质量的AI应用。

使用自然语言部署云基础设施的DevOps代理

CloudSoul是一个AI驱动的SaaS平台，它允许用户通过自然语言对话输入即时部署云基础设施。该产品通过简化云资源的配置和管理，帮助组织解决云基础设施中由于缺乏结构化信息而导致的众多问题。CloudSoul的主要优点包括使用自然语言进行部署、利用价格洞察比较策略、创建和管理AWS资源以及提供配置指导。产品背景信息显示，许多CIO和CTO在管理云资源上遇到困难，导致财务资源浪费，而CloudSoul旨在解决这些问题，提高效率并减少错误。产品定价为每月59欧元，提供免费试用。

IBM Granite 3.0模型，高效能AI语言模型

IBM Granite 3.0模型是一系列高性能的AI语言模型，由IBM开发，并通过Ollama平台提供。这些模型在超过12万亿个token上进行训练，展示了在性能和速度上的显著提升。它们支持基于工具的用例，包括检索增强生成（RAG）、代码生成、翻译和错误修复。IBM Granite 3.0模型包括密集型模型和Mixture of Expert（MoE）模型，后者专为低延迟使用而设计，适合在设备上应用或需要即时推理的场景。

多智能体框架，实现自然语言编程

MetaGPT是一个多智能体框架，它通过自然语言编程技术，能够模拟一个完整的软件公司团队，从而实现快速开发和自动化工作流程。它代表了人工智能在软件开发领域的最新进展，能够显著提高开发效率，降低成本。MetaGPT的主要优点包括高度自动化、多智能体协作、以及能够处理复杂的软件开发任务。产品背景信息显示，MetaGPT旨在通过AI技术，为用户提供一个能够快速响应开发需求的平台。目前，产品似乎处于测试阶段，用户可以通过加入等待列表来体验产品。

高效能小型语言模型

Zamba2-7B是由Zyphra团队开发的一款小型语言模型，它在7B规模上超越了当前领先的模型，如Mistral、Google的Gemma和Meta的Llama3系列，无论是在质量还是性能上。该模型专为在设备上和消费级GPU上运行以及需要强大但紧凑高效模型的众多企业应用而设计。Zamba2-7B的发布，展示了即使在7B规模上，前沿技术仍然可以被小团队和适度预算所触及和超越。

AI驱动的语音笔记应用，将语音转换为有组织的摘要和清晰的行动项。

NotesGPT是一款利用人工智能技术将用户的语音笔记转换成有组织的摘要和清晰的行动项的在线服务。它通过先进的语音识别和自然语言处理技术，帮助用户更高效地记录和管理笔记，特别适合需要快速记录信息并整理成结构化内容的用户。产品背景信息显示，NotesGPT由Together.ai和Convex提供技术支持，这表明其背后有着强大的AI技术支撑。目前，该产品似乎处于推广阶段，具体价格和定位信息未在页面中明确展示。

与数据库对话，用自然语言查询数据。

Chat with your Database 是一个创新的数据库交互工具，它允许用户通过自然语言与Postgres数据库进行交互。利用AI技术，用户可以轻松地查询、分析和操作数据库，而无需编写复杂的SQL代码。该产品支持开源，鼓励社区参与开发和贡献，代码在GitHub上公开，用户可以自由探索、贡献或定制以满足特定需求。

AIGC 应用快速构建平台

派欧算力云大模型 API 提供易于集成的各模态 API 服务，包括大语言模型、图像、音频、视频等，旨在帮助用户轻松构建专属的 AIGC 应用。该平台拥有丰富的模型资源，支持个性化需求的模型训练和托管，同时保证用户私有模型的保密性。它以高性价比、高吞吐量和高性能推理引擎为特点，适用于多种 AI 应用场景，如聊天机器人、总结摘要、小说生成器等。

研究项目，探索自动语言模型基准测试中的作弊行为。

Cheating LLM Benchmarks 是一个研究项目，旨在通过构建所谓的“零模型”（null models）来探索在自动语言模型（LLM）基准测试中的作弊行为。该项目通过实验发现，即使是简单的零模型也能在这些基准测试中取得高胜率，这挑战了现有基准测试的有效性和可靠性。该研究对于理解当前语言模型的局限性和改进基准测试方法具有重要意义。

先进的多模态AI模型家族

Molmo是一个开放的、最先进的多模态AI模型家族，旨在通过学习指向其感知的内容，实现与物理和虚拟世界的丰富互动，为下一代应用程序提供行动和交互的能力。Molmo通过学习指向其感知的内容，实现了与物理和虚拟世界的丰富互动，为下一代应用程序提供行动和交互的能力。

通过自然语言查询数据库，快速获取数据洞察。

Sequel是一个自然语言数据库接口，它允许用户使用自然语言查询数据库，无需编写SQL查询。它通过自然语言处理技术将问题转换为SQL查询，并执行这些查询以返回结果。Sequel支持多种数据库，如PostgreSQL、MySQL和SQLite，并确保与现有数据库的安全连接。它旨在帮助开发者、数据分析师和商业用户更快速、更高效地查询数据库。

全面对标GPT-4 Turbo的AI大语言模型

讯飞星火是科大讯飞推出的一款全面对标GPT-4 Turbo的AI大语言模型，它通过集成多种AI技术，如语音识别、自然语言处理、机器学习等，为用户提供高效、智能的办公效率工具。该产品不仅能够处理文本信息，还能进行语音识别和生成，支持多语种，适用于企业服务、智能硬件、智慧政务、智慧金融、智慧医疗等多个领域。

AI驱动的对话式业务分析工具

FineChatBI是帆软推出的一款AI驱动的对话式业务分析工具，它利用Text2DSL技术将用户的自然语言问题转化为可理解、可干预的指令，从而提供可控、结果可信、分析闭环、交互友好的业务分析体验。该产品基于企业级BI能力底座，结合AI技术，大幅降低业务分析门槛，提升企业决策效率。

沟通无界，让每次对话都创造价值。

心辰Lingo语音大模型是一款先进的人工智能语音模型，专注于提供高效、准确的语音识别和处理服务。它能够理解并处理自然语言，使得人机交互更加流畅和自然。该模型背后依托西湖心辰强大的AI技术，致力于在各种场景下提供高质量的语音交互体验。

数据库查询的自然语言处理基准测试

TAG-Bench是一个用于评估和研究自然语言处理模型在回答数据库查询方面性能的基准测试。它基于BIRD Text2SQL基准测试构建，并通过增加对世界知识或超越数据库中明确信息的语义推理要求，提高了查询的复杂性。TAG-Bench旨在推动AI和数据库技术的融合，通过模拟真实的数据库查询场景，为研究者提供了一个挑战现有模型的平台。

轻松阅读、学习、讨论和管理学术论文的AI工具。

ChatPaper.ai是一个基于人工智能技术的在线平台，它通过自然语言处理和向量数据库技术，帮助用户以对话的方式与学术论文互动。用户可以上传PDF文件或提供在线PDF链接，ChatPaper.ai将分析并提供摘要、回答疑问，从而提高研究效率和理解深度。该平台特别适合研究人员、学生和对学术研究有强烈兴趣的个人，通过简化的聊天界面，使学术研究更加高效和互动。

革命性的检索增强生成系统技术集合。

RAG_Techniques 是一个专注于检索增强生成(Retrieval-Augmented Generation, RAG)系统的技术集合，旨在提升系统的准确性、效率和上下文丰富性。它提供了一个前沿技术的中心，通过社区贡献和协作环境，推动RAG技术的发展和创新。

实时语音交互的人工智能对话系统。

Listening-while-Speaking Language Model (LSLM)是一款旨在提升人机交互自然度的人工智能对话模型。它通过全双工建模(FDM)技术，实现了在说话时同时监听的能力，增强了实时交互性，尤其是在生成内容不满意时能够被打断和实时响应。LSLM采用了基于token的解码器仅TTS进行语音生成，以及流式自监督学习(SSL)编码器进行实时音频输入，通过三种融合策略（早期融合、中期融合和晚期融合）探索最佳交互平衡。

将Excel转换为仪表板和报告的AI工具。

Excel Dashboard AI是一款利用人工智能技术，将Excel数据快速转换为交互式仪表板和分析报告的工具。它通过自然语言处理能力，允许用户以对话形式与数据进行交流，从而迅速获得洞察。产品的主要优点包括快速生成多样化的数据分析维度、自然语言编辑和锁定分析视角、一键生成交互式仪表板、AI解读图表含义以及将仪表板转换为详尽的分析报告等。

大型多语言预训练语言模型

Meta Llama 3.1-405B 是由 Meta 开发的一系列大型多语言预训练语言模型，包含8B、70B和405B三种规模的模型。这些模型经过优化的变压器架构，使用监督式微调（SFT）和强化学习与人类反馈（RLHF）进行调优，以符合人类对帮助性和安全性的偏好。Llama 3.1 模型支持多种语言，包括英语、德语、法语、意大利语、葡萄牙语、印地语、西班牙语和泰语。该模型在多种自然语言生成任务中表现出色，并在行业基准测试中超越了许多现有的开源和封闭聊天模型。

高性能语言模型基准测试数据集

DCLM-baseline是一个用于语言模型基准测试的预训练数据集，包含4T个token和3B个文档。它通过精心策划的数据清洗、过滤和去重步骤，从Common Crawl数据集中提取，旨在展示数据策划在训练高效语言模型中的重要性。该数据集仅供研究使用，不适用于生产环境或特定领域的模型训练，如代码和数学。