产品库

数学 7b 模型，帮助解决数学问题。

Internlm2 Math 7b 是一个基于 Hugging Face 平台的数学模型，主要用于解决数学问题。它能够处理各种数学题目，包括代数、几何、概率统计等。使用该模型可以提供准确的数学计算和解答，帮助用户学习和理解数学知识。Internlm2 Math 7b 提供简单易用的 API 接口，可以方便地集成到其他应用程序中。该模型基于深度学习技术，具有较高的准确性和可靠性。它适用于教育领域的数学辅助学习、作业辅导等场景。

手机拍题，秒出解答

Uknow.AI是一款面向学生和家长的教育类APP，通过手机拍照即可识别数学题型并给出答案和解析，支持多种数学计算和练习方式，旨在提高学习效率和数学解题能力。

通过扫描问题提供数学解题步骤和解释。

Photomath是一款教育类APP，它通过扫描数学问题，提供详细的解题步骤和解释，帮助用户理解数学概念。该应用支持从小学至大学各个阶段的数学学习，包括代数、几何、三角学、统计学和微积分等。Photomath不仅帮助用户解决作业问题，还通过提供学习资源和文章，帮助用户克服数学焦虑，提高学习效率。

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

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

强大的数学和编程模型，具备高度连贯性和多轮对话能力。

Mistral-22b-v.02 是一个强大的模型，展现出出色的数学才能和编程能力。相较于V1，V2模型在连贯性和多轮对话能力方面有显著提升。该模型经过重新调整取消了审查，能够回答任何问题。训练数据主要包括多轮对话，特别强调编程内容。此外，模型具备智能体能力，可执行真实世界任务。训练采用了32k的上下文长度。在使用时需遵循GUANACO提示格式。

24/7人工智能辅导，真实学习，免费数学辅导

Bytelearn是一款提供24/7人工智能辅导的免费数学学习平台。它通过算术、几何、代数、微积分等多个阶段的学习，帮助学生真实学习并在数学考试中取得优异成绩。Bytelearn的独特之处在于，它不仅仅给出答案，还会引导学生逐步理解和解决问题，确保学生真正掌握数学知识。Bytelearn还提供专为学校而设计的解决方案，支持一对一的人工智能辅导、自动差异化学习、有针对性的反馈，让学习过程更加有趣和支持性。

让数学变得简单

Amy 是一个致力于帮助人们轻松学习数学的在线平台。它提供了各种数学学习资源，包括教程、练习题和解答等。Amy 通过简化数学概念和提供实用的学习工具，让数学变得容易理解和应用。

快速查找定理

Moogle是一个用于快速查找定理的网站。它提供强大的搜索功能，帮助用户更快地找到所需的数学定理。Moogle还提供定理的详细介绍和应用示例，方便用户理解和应用。Moogle是数学学习和研究的强大工具。

你的数学助手

Photo2math是一款数学助手APP，可以帮助用户解决数学问题。它提供了多种功能，包括解决数学题目、上传图片解题、手写公式解题等。Albert Bro可以帮助学生和教师更轻松地学习和教授数学知识。

智能AI解答数学问题，帮助你更好地完成作业

Mathly是一个基于人工智能的数学作业帮助工具。通过拍照上传问题，我们的AI可以解答数学问题并以易懂的方式解释答案。不仅如此，我们的AI还能回答你的追问，并生成类似的问题以检查你的理解。Mathly将帮助你更轻松地学习数学，理解问题并提高成绩。请通过官方网址了解更多信息。

扫描作业和解决数学问题，照片求解器，物理化学，雅思托福GRE

Homeworkify是您的终极作业助手，旨在帮助各年龄段的学生轻松完成作业。无论您在数学问题、科学项目还是论文写作方面遇到困难，Homeworkify都能让您的学术之旅更加顺利和愉快。Homeworkify拥有多种功能和用户友好的界面，是学生追求卓越学业的完美伴侣。

拍照即识别数学、化学和语言，提供智能解答

SorSor是一款AI助手应用，通过拍照识别数学、化学和语言，提供即时解答。它拥有现代化的AI技术，可以快速解答数学方程和化学公式，并提供学习辅助功能。用户友好的界面设计让学习变得更轻松愉快，节省时间和精力。SorSor的速度和效率无与伦比，准确的结果能够快速呈现，让学习过程更加高效。SorSor还以平易近人的价格让教育技术更加普及，为用户提供出色的产品和性价比。快来使用SorSor，探索无尽的知识世界吧！

windsurf_ai推出首个针对软件工程流程优化的模型家族 SWE-1。

SWE-1 是windsurf_ai首个为整个软件工程流程优化的模型家族，旨在加速软件开发 99%。与传统的仅能编写代码的模型相比，SWE-1 不仅能编写代码，还能处理终端操作、访问其他知识和互联网、测试产品和理解用户反馈。SWE-1 系列包括 SWE-1、SWE-1-lite 和 SWE-1-mini 三种模型，旨在满足不同用户的需求。

提升编码体验的AI平台

Better AI Code是一个学习和练习编码的平台，利用最佳工具和技术帮助用户学习和练习编码。它提供高效的学习环境和丰富的编程资源，为编程爱好者和学习者提供优质的编程体验。

智能AI学习助手，将复杂概念转化为简单个性化解释。

Explain AI是一款智能AI学习助手，能够帮助用户理解复杂主题，为用户提供个性化的解释。产品背景信息和价格定位详细，请查看App Store页面。

一个用于思维扩展的扩展程序。

Flowkey是一个基于Web的应用程序，旨在通过自适应用户操作、内容和环境，提高生产力。它提供动态内容建议、预测任务生成和集成学习模式等功能，以改善笔记记录体验。

在线翻译文本为摩尔斯电码，支持听音频、看光信号、下载WAV文件，可探索摩尔斯电码图表。

摩尔斯电码翻译器是一个用于将文本翻译为摩尔斯电码及将摩尔斯电码翻译回文本的在线工具。通过听音频和观看光信号，用户可以轻松进行翻译操作，并可以下载WAV文件。摩尔斯电码翻译器提供了多种摩尔斯电码系统，适用于不同语言的翻译需求。

一个旨在推动人工智能民主化的开源项目。

DeepSeek-Prover-V2-671B 是一个先进的人工智能模型，旨在提供强大的推理能力。它基于最新的技术，适用于多种应用场景。该模型是开源的，旨在促进人工智能技术的民主化与普及，降低技术壁垒，使更多开发者和研究者能够利用 AI 技术进行创新。通过使用该模型，用户可以提升他们的工作效率，推动各类项目的进展。

AI问答助手，用截图获取智能答案

SynthAnswer AI是一款AI问答助手，能够通过截图获取问题并在几秒内提供准确答案。其主要优点在于快速、准确、隐私保护，并适用于学生、企业等多种场景。

AI Hay是一个强大的助手，可以提供学习支持、解答问题、识别图片、解释图像等多种功能。

AI Hay - Hỏi đáp AI是一个智能助手，可用于学习、解题、识别图片、解释图像等。它的主要优点是智能化、方便快捷，定位于为用户提供各种问题解答和知识服务。

Kimi-Audio 是一个开源音频基础模型，擅长音频理解与生成。

Kimi-Audio 是一个先进的开源音频基础模型，旨在处理多种音频处理任务，如语音识别和音频对话。该模型在超过 1300 万小时的多样化音频数据和文本数据上进行了大规模预训练，具有强大的音频推理和语言理解能力。它的主要优点包括优秀的性能和灵活性，适合研究人员和开发者进行音频相关的研究与开发。

开源视频生成模型，支持多种生成任务。

Wan2.1-FLF2V-14B 是一个开源的大规模视频生成模型，旨在推动视频生成领域的进步。该模型在多项基准测试中表现优异，支持消费者级 GPU，能够高效生成 480P 和 720P 的视频。它在文本到视频、图像到视频等多个任务中表现出色，具有强大的视觉文本生成能力，适用于各种实际应用场景。

多模型聊天界面，轻松添加模型开始对话。

openrouter 是一个创新的多模型聊天界面，允许用户在浏览器中轻松与不同的语言模型进行交互。它通过简单的界面使得聊天变得更加直观和有趣，适合各种用户需求，包括角色扮演、编程辅助等。该产品存储数据在本地，确保用户的隐私和数据安全。由于它是一个网页应用，用户无需安装任何软件，即可随时随地访问，提升了使用的便捷性和灵活性。

新 Ghibli EasyControl 模型现已发布！

EasyControl Ghibli 是一个新发布的模型，基于 Hugging Face 平台，旨在简化控制和管理各种人工智能任务。该模型结合了先进的技术和用户友好的界面，允许用户以更直观的方式与 AI 交互。它的主要优势在于易用性和强大的功能，使其适合不同背景的用户，不论是初学者还是专业人士都能轻松上手。

Selene API 是一款用于评估 AI 应用性能的先进工具，提供精准的评分和反馈。

Selene API 是 Atla AI 推出的一款先进的人工智能评估模型。它通过使用世界领先的 LLM-as-a-Judge 技术，能够对 AI 应用进行精准的评估。该产品的主要优点是其高准确性和可靠性，能够在各种评估基准上超越前沿模型。它不仅能够提供准确的评分，还能生成具有可操作性的反馈意见，帮助开发者优化他们的 AI 应用。Selene API 的背景信息显示，它是由 Atla AI 公司开发的，该公司致力于构建安全的人工智能未来。目前，该产品提供免费试用，并采用基于使用量的定价模式。

R1-Omni 是一个结合强化学习的全模态情绪识别模型，专注于提升多模态情绪识别的可解释性。

R1-Omni 是一个创新的多模态情绪识别模型，通过强化学习提升模型的推理能力和泛化能力。该模型基于 HumanOmni-0.5B 开发，专注于情绪识别任务，能够通过视觉和音频模态信息进行情绪分析。其主要优点包括强大的推理能力、显著提升的情绪识别性能以及在分布外数据上的出色表现。该模型适用于需要多模态理解的场景，如情感分析、智能客服等领域，具有重要的研究和应用价值。

一个用于将几乎所有内容转换为Markdown格式的Model Context Protocol服务器。

Markdownify是一个基于Model Context Protocol的服务器工具，能够将多种文件类型和网络内容转换为Markdown格式。它支持PDF、图片、音频（含转录）、DOCX、XLSX、PPTX等多种文件格式的转换，还能将YouTube视频字幕、Bing搜索结果和网页内容转换为Markdown。该工具对于需要高效整理和分享信息的用户来说非常实用，尤其是在处理大量非结构化数据时，能够快速生成可读性强的Markdown文本，提高工作效率。

AI co-scientist 是一个基于 Gemini 2.0 的多智能体 AI 系统，旨在帮助科学家生成新的研究假设和实验方案，加速科学发现。

AI co-scientist 是谷歌研究团队开发的一款多智能体 AI 系统，旨在通过人工智能技术辅助科学研究。该系统基于 Gemini 2.0 构建，能够模拟科学方法的推理过程，生成新的研究假设和实验方案。它通过多智能体协作，利用生成、反思、排名、进化等多种机制，不断优化输出结果。AI co-scientist 的主要优点包括高效生成新颖的科学假设、强大的跨学科知识整合能力以及与科学家的协作能力。该系统目前处于研究阶段，通过与全球顶尖科研机构合作，验证其在生物医学等领域的应用潜力。

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

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

OmniParser V2 是一种将任何 LLM 转化为计算机使用代理的技术。

OmniParser V2 是微软研究团队开发的一种先进的人工智能模型，旨在将大型语言模型（LLM）转化为能够理解和操作图形用户界面（GUI）的智能代理。该技术通过将界面截图从像素空间转换为可解释的结构化元素，使 LLM 能够更准确地识别可交互图标，并在屏幕上执行预定动作。OmniParser V2 在检测小图标和快速推理方面取得了显著进步，其结合 GPT-4o 在 ScreenSpot Pro 基准测试中达到了 39.6% 的平均准确率，远超原始模型的 0.8%。此外，OmniParser V2 还提供了 OmniTool 工具，支持与多种 LLM 结合使用，进一步推动了 GUI 自动化的发展。