产品库

一个交互式绘图应用，用于数学方程的绘制和计算。

AI Math Notes 是一个开源的交互式绘图应用程序，允许用户在画布上绘制数学方程。应用程序利用多模态大型语言模型（LLM）计算并显示结果。该应用程序使用Python开发，利用Tkinter库创建图形用户界面，使用PIL进行图像处理。灵感来源于Apple在2024年全球开发者大会（WWDC）上展示的'Math Notes'。

Goedel-Prover 是一款开源的自动化定理证明模型，专注于数学问题的形式化证明。

Goedel-Prover 是一款专注于自动化定理证明的开源大型语言模型。它通过将自然语言数学问题翻译为形式化语言（如 Lean 4），并生成形式化证明，显著提升了数学问题的自动化证明效率。该模型在 miniF2F 基准测试中达到了 57.6% 的成功率，超越了其他开源模型。其主要优点包括高性能、开源可扩展性以及对数学问题的深度理解能力。Goedel-Prover 旨在推动自动化定理证明技术的发展，并为数学研究和教育提供强大的工具支持。

OpenThinker-32B 是一款强大的开源推理模型，专为提升开放数据推理能力而设计。

OpenThinker-32B 是由 Open Thoughts 团队开发的一款开源推理模型。它通过扩展数据规模、验证推理路径和扩展模型大小来实现强大的推理能力。该模型在数学、代码和科学等推理基准测试中表现卓越，超越了现有的开放数据推理模型。其主要优点包括开源数据、高性能和可扩展性。该模型基于 Qwen2.5-32B-Instruct 进行微调，并在大规模数据集上训练，旨在为研究人员和开发者提供强大的推理工具。

一款高效率的2.4亿参数轻量级语言模型

YuLan-Mini是由中国人民大学AI Box团队开发的一款轻量级语言模型，具有2.4亿参数，尽管仅使用1.08T的预训练数据，但其性能可与使用更多数据训练的行业领先模型相媲美。该模型特别擅长数学和代码领域，为了促进可复现性，团队将开源相关的预训练资源。

免费AI作业助手，快速解决数学、科学等科目作业。

AI Homework Helper是一个在线工具，旨在帮助学生解决他们的家庭作业问题。用户可以上传图片或PDF格式的作业，AI会即时提供准确的解决方案和逐步解释，无论是数学、科学还是其他科目，这个工具都能帮助学生更有效地学习和解决问题。

世界领先的数学开源大语言模型

Qwen2.5-Math是一系列专门针对数学问题设计的开源大语言模型，包括基础模型和指令微调模型，支持中英双语，能够通过思维链（CoT）和工具集成推理（TIR）方式解决数学问题。该模型在多个数学基准测试中表现优异，特别是在精确计算和算法操作方面。Qwen2.5-Math的开发背景是提升大语言模型在数学领域的应用能力，推动数学教育和研究的发展。

数学领域的开源AI模型，助力数学竞赛。

Numina Math 7B是由Numina组织开发的AI数学模型，专注于解决高难度的数学问题，特别是在数学竞赛领域。该模型在AI数学奥林匹克竞赛中获得了第一名，显示出其在解决复杂数学问题上的强大能力。Numina是一个非盈利组织，致力于推动数学领域人类和人工智能的发展。

功能齐全的翻译解决方案，保护隐私。

Linguist Translate是一个注重隐私保护的翻译插件，提供离线翻译功能，不发送任何私人信息，确保用户隐私安全。它支持全页翻译，用户可以快速翻译整篇文章，同时支持自定义翻译服务。此外，它还允许用户保存翻译历史，创建个人知识库，非常适合语言学习者和需要翻译服务的旅行者。

SnapXam是一个数学虚拟助手，可帮助您更快、更轻松地学习数学。具有步骤的数学求解器。

SnapXam是一个使用人工智能技术的数学学习工具，可以帮助用户理解和解决从算术到微积分的数学问题。它节省了理解数学概念和查找解释视频的时间。用户可以以更好的方式解决问题，并节省大量时间。

一个开源的聊天机器人，能够解释概念、写诗、编程、解逻辑谜题。

Chat With Llama 3 是一个开源的聊天机器人，由Meta AI开发。它能够进行多种智能对话，包括解释复杂概念、创作诗歌、编写代码、解决逻辑谜题，甚至帮助用户给宠物起名。这个聊天机器人的主要优点在于它的多功能性和开源性，使其可以被广泛地应用于各种场景，并且可以根据需要进行定制和改进。

下一代开源和双语大型语言模型

Yi-9B是01.AI研发的下一代开源双语大型语言模型系列之一。训练数据量达3T,展现出强大的语言理解、常识推理、阅读理解等能力。在代码、数学、常识推理和阅读理解等方面表现卓越,是同尺寸开源模型中的佼佼者。适用于个人、学术和商业用途。

数学推理LLM

MathCoder是一款基于开源语言模型的数学推理工具，通过fine-tune模型和生成高质量的数据集，实现了自然语言、代码和执行结果的交替，提高了数学推理能力。MathCoder模型在MATH和GSM8K数据集上取得了最新的最高分数，远远超过其他开源替代品。MathCoder模型不仅在GSM8K和MATH上超过了ChatGPT-3.5和PaLM-2，还在竞赛级别的MATH数据集上超过了GPT-4。

一个强大的文本生成模型，适用于多种对话应用。

DeepSeek-V3-0324 是一个先进的文本生成模型，具有 685 亿参数，采用 BF16 和 F32 张量类型，能够支持高效的推理和文本生成。该模型的主要优点在于其强大的生成能力和开放源码的特性，使其可以被广泛应用于多种自然语言处理任务。该模型的定位是为开发者和研究人员提供一个强大的工具，帮助他们在文本生成领域取得突破。

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

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

生成高质量 SVG 代码的基础模型。

StarVector 是一个先进的生成模型，旨在将图像和文本指令转化为高质量的可缩放矢量图形（SVG）代码。其主要优点在于能够处理复杂的 SVG 元素，并在各种图形风格和复杂性上表现出色。作为开放源代码资源，StarVector 推动了图形设计的创新和效率，适用于设计、插图和技术文档等多种应用场景。

Roblox Foundation Model for 3D Intelligence。

Cube 是一个强大的 3D 智能生成模型，旨在帮助开发者在 Roblox 平台上创建各种 3D 资产和场景。该模型具备生成 3D 对象、角色动画绑定及程序脚本生成等功能。它的出现将极大地提升创作者的生产效率，激发更多的创意，帮助用户以更快的速度构建出丰富的 3D 体验。当前版本已经开放源代码，旨在与研究社区共享，以推进 3D 智能的发展。适用于各种规模的开发者和创作者，支持实验与创新，推动负责任的使用。

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

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

通过训练您的 AI 自我，增强个性，连接世界。

Second Me 是一个开源原型，旨在让用户创造自己的 AI 自我，保留个人特点，并在数字世界中扩展自我。它使用分层记忆建模和用户对齐算法，确保用户数据本地存储且完全私密。这种形式的 AI 不仅帮助用户管理信息，还能与全球网络中的其他 AI 进行交互，从而促进创造力和协作。Second Me 的主要优点在于它保护用户的隐私，让用户真正掌控自己的数字身份，适合技术爱好者、AI 专家和各领域专业人士。此产品当前处于开发阶段，用户可以在 GitHub 上获取最新版本。

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

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

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

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

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

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

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

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

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

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

一个可以复制任何网页UI界面并生成代码提示的工具。

Same是一个强大的在线工具，允许用户通过输入网页链接生成对应的代码提示，帮助开发者快速复现目标网站的UI界面。它基于先进的网页解析技术，能够精准提取页面元素并生成可复用的代码片段。该工具对于前端开发者来说是一个高效的辅助工具，能够节省大量的时间和精力，特别是在需要快速搭建原型或进行界面克隆时。目前，Same以免费的形式提供服务，主要面向开发者和设计人员。

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

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

Kokoro TTS 是一款支持多语言和语音融合的高性能文本转语音工具，免费用于商业用途。

Kokoro TTS 是一款强大的文本转语音工具，支持多种语言和语音融合功能，能够将 EPUB、PDF 和 TXT 文件转换为高质量的语音输出。该工具为开发者和用户提供了灵活的语音定制选项，能够轻松创建专业级音频。其主要优点包括支持多语言、语音融合、灵活的输入格式以及免费的商业使用许可。该产品定位为创作者、开发者和企业提供了高效、低成本的语音合成解决方案，适用于有声书创作、视频旁白、播客制作、教育内容生成以及客户服务等多个场景。

RagaAI Catalyst 是一个用于观察、评估和调试 AI 代理的平台，助力开发者优化 AI 工作流并安全部署。

RagaAI Catalyst 是一款专注于 AI 可观察性、监控和评估的平台，旨在帮助开发者和企业优化 AI 开发流程。它提供了从可视化追踪数据到执行图的用户友好仪表板，支持深度调试和性能提升。该平台强调安全性和可靠性，通过 RagaAI Guardrails 确保上下文准确的 LLM 响应，减少幻觉风险。此外，RagaAI Catalyst 支持定制化评估逻辑，满足特定用例的全面测试需求。其开源特性也为企业提供了透明度和灵活性，适合希望在 AI 开发中实现高效、安全和可扩展的企业和开发者。

一个开源的多云平台客户端，支持LangGraph代理和前端应用开发。

open-mcp-client 是一个开源项目，旨在为多云平台（MCP）提供客户端支持。它结合了LangGraph代理和基于CopilotKit的前端应用，支持与MCP服务器的交互和工具调用。该项目采用TypeScript、CSS、Python和JavaScript开发，强调开发效率和用户体验。它适用于开发者和企业，用于管理和交互多云资源。开源免费，适合希望在多云环境中快速开发和部署的用户。

Inductive Moment Matching 是一种新型的生成模型，用于高质量图像生成。

Inductive Moment Matching (IMM) 是一种先进的生成模型技术，主要用于高质量图像生成。该技术通过创新的归纳矩匹配方法，显著提高了生成图像的质量和多样性。其主要优点包括高效性、灵活性以及对复杂数据分布的强大建模能力。IMM 由 Luma AI 和斯坦福大学的研究团队开发，旨在推动生成模型领域的发展，为图像生成、数据增强和创意设计等应用提供强大的技术支持。该项目开源了代码和预训练模型，方便研究人员和开发者快速上手和应用。

BashBuddy 让你能够自然地输入命令，无需担心参数或语法。

BashBuddy 是一款旨在通过自然语言交互简化命令行操作的工具。它能够理解上下文并生成精确的命令，支持多种操作系统和 Shell 环境。BashBuddy 的主要优点在于其自然语言处理能力、跨平台支持以及对隐私的重视。它适合开发者、系统管理员以及任何需要频繁使用命令行的用户。BashBuddy 提供本地部署和云服务两种模式，本地模式完全免费且数据完全私密，而云服务则提供更快的命令生成速度，每月收费 2 美元。