产品库

网易有道开发的轻量级推理模型，可在单个GPU上部署，具备类似o1的推理能力。

Confucius-o1-14B是由网易有道团队开发的推理模型，基于Qwen2.5-14B-Instruct优化而成。它采用两阶段学习策略，能够自动生成推理链，并总结出逐步的问题解决过程。该模型主要面向教育领域，尤其适合K12数学问题的解答，能够帮助用户快速获取正确解题思路和答案。模型具备轻量化的特点，无需量化即可在单个GPU上部署，降低了使用门槛。其推理能力在内部评估中表现出色，为教育领域的AI应用提供了强大的技术支持。

xAI推出的最新旗舰AI模型Grok 3，具备强大的推理和多模态处理能力。

Grok 3是由Elon Musk的AI公司xAI开发的最新旗舰AI模型。它在计算能力和数据集规模上显著提升，能够处理复杂的数学、科学问题，并支持多模态输入。其主要优点是推理能力强大，能够提供更准确的答案，并且在某些基准测试中超越了现有的顶尖模型。Grok 3的推出标志着xAI在AI领域的进一步发展，旨在为用户提供更智能、更高效的AI服务。该模型目前主要通过Grok APP和X平台提供服务，未来还将推出语音模式和企业API接口。其定位是高端AI解决方案，主要面向需要深度推理和多模态交互的用户。

大规模多模态推理与指令调优平台

MAmmoTH-VL是一个大规模多模态推理平台，它通过指令调优技术，显著提升了多模态大型语言模型（MLLMs）在多模态任务中的表现。该平台使用开放模型创建了一个包含1200万指令-响应对的数据集，覆盖了多样化的、推理密集型的任务，并提供了详细且忠实的理由。MAmmoTH-VL在MathVerse、MMMU-Pro和MuirBench等基准测试中取得了最先进的性能，展现了其在教育和研究领域的重要性。

AlphaGeometry: AI解决几何问题的突破

AlphaGeometry是一个超越了现有技术水平的几何问题AI系统，它通过结合神经语言模型的预测能力和规则驱动的推理引擎，能够解决复杂的几何问题。该系统采用神经符号学方法，由神经语言模型和符号推理引擎组成，共同寻找复杂几何定理的证明。通过生成10亿个随机几何对象图形，并从中推导出所有的关系，最终得到了1亿个独特的训练样本，其中900万个包含了额外的构造。AlphaGeometry的语言模型能够在面对国际数学奥林匹克竞赛的几何问题时做出良好的建议。该系统已经成为世界上第一个能够达到国际数学奥林匹克竞赛铜牌水平的AI模型。

使用本地AI生成微型故事

TinyStories是一款在设备上运行的AI文本生成应用。用户可以通过点击“触发自动补全”生成微型故事，并可以编辑和输入自己的提示。本应用在设备上使用TinyStories-1M AI模型来完成故事的自动补全。该应用界面友好，并且提供免费下载。

一款高效的推理与聊天大语言模型。

Llama-3.1-Nemotron-Ultra-253B-v1 是一个基于 Llama-3.1-405B-Instruct 的大型语言模型，经过多阶段的后训练以提升推理和聊天能力。该模型支持高达 128K 的上下文长度，具备较好的准确性和效率平衡，适用于商业用途，旨在为开发者提供强大的 AI 助手功能。

一个针对机器学习优化的多模态 OCR 管道。

该产品是一个专门设计的 OCR 系统，旨在从复杂的教育材料中提取结构化数据，支持多语言文本、数学公式、表格和图表，能够生成适用于机器学习训练的高质量数据集。该系统利用多种技术和 API，能够提供高精度的提取结果，适合学术研究和教育工作者使用。

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

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

一款帮助科研人员发现学术论文的强大工具。

Ai2 PaperFinder 是一个致力于帮助科研人员快速找到所需文献的在线工具。该平台汇聚了超过 800 万篇全文论文及 1.08 亿篇摘要，具备强大的文献检索和合成功能。通过简单的关键词搜索，用户可以迅速获取相关研究，极大地提高了科研效率。该产品的背景源于对科研文献的迫切需求，定价为免费，适合各类科研人员使用。

一款先进的视觉推理模型，能分析图片和视频内容。

QVQ-Max 是 Qwen 团队推出的视觉推理模型，能够理解和分析图像及视频内容，提供解决方案。它不仅限于文本输入，更能够处理复杂的视觉信息。适合需要多模态信息处理的用户，如教育、工作和生活场景。该产品是基于深度学习和计算机视觉技术开发，适用于学生、职场人士和创意工作者。此版本为首发，后续将持续优化。

将文本转换为自然的语音，拥有 1000 多种逼真的 AI 声音。

这是一个强大的文本转语音生成器，拥有超过 1000 种高质量的 AI 语音。适合各种使用场景，如播客、教育和商业内容创作。用户可以利用该平台生成清晰、自然的语音内容，支持语音克隆和音频视频编辑，价格合理，每月仅需 39.99 美元，适合个人和企业使用。

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

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

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

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

LG AI 推出的开源推理 AI 模型，具备卓越的推理能力。

EXAONE Deep 是 LG AI Research 推出的先进推理 AI 模型，标志着韩国在全球 AI 市场中的竞争力。它具备 32 亿参数，表现卓越，尤其在数学和科学问题解决方面展现出色。该模型的发布使得 LG 在 AI 领域迈入了自主决策的时代，其开源特性使得更多开发者能够利用这一技术进行研究与开发。EXAONE Deep 的轻量级和在设备上的模型设计使得其适用于多个行业，包括教育、科学研究、编程等。

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

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

集无限画布、AIGC、项目看板、音视频会议等功能于一体的可视化在线协作空间

英飞·思想家是一个AIGC赋能的可视化在线协作空间，旨在通过无限画布、音视频会议、思维导图等功能，为企业和团队提供高效协作的数字平台。它支持实时和异步协作，适用于多种场景，如项目管理、头脑风暴、培训等。产品定位为提升团队协作效率，促进知识共享和创新。目前提供个人免费使用和团队免费试用，具体定价需查看官网。

一款开源的14B参数量的数学模型，通过强化学习训练，性能卓越。

Light-R1-14B-DS 是由北京奇虎科技有限公司开发的开源数学模型。该模型基于 DeepSeek-R1-Distill-Qwen-14B 进行强化学习训练，在 AIME24 和 AIME25 数学竞赛基准测试中分别达到了 74.0 和 60.2 的高分，超越了许多 32B 参数量的模型。它在轻量级预算下成功实现了对已经长链推理微调模型的强化学习尝试，为开源社区提供了一个强大的数学模型工具。该模型的开源有助于推动自然语言处理在教育领域的应用，特别是数学问题解决方面，为研究人员和开发者提供了宝贵的研究基础和实践工具。

一款用于检测文本是否由人工智能生成并可将AI文本改写为人类风格的工具。

该产品通过先进的技术检测文本是否由人工智能生成，同时提供文本改写功能，使AI生成的文本具有人类写作的自然风格。它对维护内容的原创性和真实性具有重要意义，尤其在学术、教育、内容创作等领域。产品完全免费，无需注册，支持多语言，适合广泛用户。

提供书籍总结的平台，支持听书和下载PDF、EPUB格式。

DeepSummary是一个专注于提供书籍总结的在线平台，旨在通过简洁高效的方式帮助用户快速获取书籍的核心内容。该平台支持多种书籍类别，包括科学、历史、哲学等，并提供听书和下载功能，方便用户随时随地学习。其主要优点是节省时间、提升知识获取效率，适合忙碌的专业人士和学习者。平台采用付费模式，价格亲民，提供灵活的订阅计划，致力于帮助用户实现个人和职业目标。

一个用于生成对话式语音的模型，支持从文本和音频输入生成高质量的语音。

CSM 是一个由 Sesame 开发的对话式语音生成模型，它能够根据文本和音频输入生成高质量的语音。该模型基于 Llama 架构，并使用 Mimi 音频编码器。它主要用于语音合成和交互式语音应用，例如语音助手和教育工具。CSM 的主要优点是能够生成自然流畅的语音，并且可以通过上下文信息优化语音输出。该模型目前是开源的，适用于研究和教育目的。

Zonos TTS 是一款支持多语言、情感控制和零样本文本到语音克隆的高质量 AI 文本转语音技术。

Zonos TTS 是一款先进的 AI 文本转语音技术，支持多语言、情感控制和零样本语音克隆。它能够生成自然、富有表现力的语音，适用于教育、有声读物、视频游戏、语音助手等多种场景。该技术通过高质量音频输出（44kHz）和快速实时处理能力，为用户提供高效且个性化的语音生成解决方案。虽然产品本身并非完全免费，但提供了灵活的定价方案以满足不同用户的需求。

一个关于大型语言模型（LLM）后训练方法的教程、调查和指南资源库。

Awesome-LLM-Post-training 是一个专注于大型语言模型（LLM）后训练方法的资源库。它提供了关于 LLM 后训练的深入研究，包括教程、调查和指南。该资源库基于论文《LLM Post-Training: A Deep Dive into Reasoning Large Language Models》，旨在帮助研究人员和开发者更好地理解和应用 LLM 后训练技术。该资源库免费开放，适合学术研究和工业应用。

SmolVLM2 是一个专注于视频内容分析和生成的轻量化语言模型。

SmolVLM2 是一种轻量级的视频语言模型，旨在通过分析视频内容生成相关的文本描述或视频亮点。该模型具有高效性、低资源消耗的特点，适合在多种设备上运行，包括移动设备和桌面客户端。其主要优点是能够快速处理视频数据并生成高质量的文本输出，为视频内容创作、视频分析和教育等领域提供了强大的技术支持。该模型由 Hugging Face 团队开发，定位为高效、轻量化的视频处理工具，目前处于实验阶段，用户可以免费试用。

Manus 是一款由 Monica.im 研发的全球首款 AI Agent 产品，能够自主解决复杂任务。

Manus 是由 Monica.im 研发的全球首款真正自主的 AI 代理产品，能够直接交付完整的任务成果，而不仅仅是提供建议或答案。它采用 Multiple Agent 架构，运行在独立虚拟机中，能够通过编写和执行代码、浏览网页、操作应用等方式直接完成任务。Manus 在 GAIA 基准测试中取得了 SOTA 表现，展现了强大的任务执行能力。其目标是成为用户在数字世界的‘代理人’，帮助用户高效完成各种复杂任务。

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

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

NextGenAI 是 OpenAI 发起的联盟，旨在通过 AI 加速研究突破和变革教育。

NextGenAI 是由 OpenAI 发起的联盟，联合了 15 所领先研究机构，致力于利用 AI 加速研究突破和变革教育。该联盟获得 OpenAI 提供的 5000 万美元研究资助、计算资金和 API 访问权限，支持学生、教育工作者和研究人员拓展知识前沿。通过联合美国及海外的机构，NextGenAI 旨在以比单一机构更快的速度推动进步，培养下一代能够塑造 AI 未来的领导者。

Pinch 是一款支持 30 多种语言的实时 AI 语音翻译工具，专为视频通话和网络研讨会设计。

Pinch 是一款创新的实时 AI 语音翻译工具，旨在消除视频通话中的语言障碍。它利用先进的 AI 技术，提供即时、准确的语音翻译，支持 30 多种语言。该产品适用于跨国企业、教育机构、家庭和个人，帮助用户实现无缝沟通。Pinch 的主要优点包括高翻译准确率、支持多种语言以及无需额外设备即可使用。它通过减少语言障碍，促进了全球范围内的商业合作、教育交流和家庭联系，具有重要的商业和教育价值。

基于Llama框架的TTS基础模型，兼容16万小时标记化语音数据。

Llasa是一个基于Llama框架的文本到语音（TTS）基础模型，专为大规模语音合成任务设计。该模型利用16万小时的标记化语音数据进行训练，具备高效的语言生成能力和多语言支持。其主要优点包括强大的语音合成能力、低推理成本和灵活的框架兼容性。该模型适用于教育、娱乐和商业场景，能够为用户提供高质量的语音合成解决方案。目前该模型在Hugging Face上免费提供，旨在推动语音合成技术的发展和应用。

Aria Gen 2 是一款用于机器感知、情境 AI 和机器人研究的新型智能眼镜。

Aria Gen 2 是 Meta 推出的第二代研究级智能眼镜，专为机器感知、情境 AI 和机器人研究而设计。它集成了先进的传感器和低功耗的机器感知技术，能够实时处理 SLAM、眼动追踪、手势识别等功能。该产品旨在推动人工智能和机器感知技术的发展，为研究人员提供强大的工具来探索如何让 AI 更好地理解人类视角的世界。Aria Gen 2 不仅在技术上取得了突破，还通过与学术界和商业研究实验室的合作，促进了开放研究和公众对这些关键技术的理解。