产品库

AI模型编程竞赛平台

CodeArena是一个在线平台，旨在展示不同AI模型（Large Language Models，LLM）在编程任务中的表现。该平台通过实时竞赛，让用户可以看到不同AI模型在编程挑战中的实时表现，并决出胜者。它不仅提供了一个比较不同AI模型编程能力的场所，也为开发者和研究人员提供了一个实验和学习的环境。CodeArena由Together.ai提供技术支持，是一个创新的编程竞赛平台，强调技术的先进性和教育意义。

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

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

数学竞赛问题的解决方案集合

NuminaMath是一套为训练最先进数学语言模型（SOTA math LLMs）而设计的数据库和模型。它包含860k+数学竞赛问题及其解决方案对，每个解决方案都使用了链式思维（Chain of Thought, CoT）推理进行模板化。此外，还有70k+数学竞赛问题，其解决方案由GPT-4通过工具集成推理（Tool-Integrated Reasoning, TIR）生成。NuminaMath通过提供高质量的数学问题和解决方案，为教育工作者和学生提供了一个宝贵的资源，帮助他们提高数学思维和解决问题的能力。

智能教育助手，赋能学生与教师

Khanmigo Education AI Guide是一款智能教育助手，为学生提供个性化辅导，并帮助教师提升教学水平。它通过AI技术实现一对一辅导的效果，帮助学生深入理解知识、增加自信、提供清晰的指导，并激发学生的创造力。同时，Khanmigo还提供编程教学和写作辅导等功能，帮助学习者提升计算机科学技能和写作能力。用户可以通过每月9美元或年费99美元的捐赠获得个性化学习体验。Khanmigo致力于革命性地改变教育方式，使教育变得更加普惠和可访问。

AI工具提示与命令库

Promptsio是一个AI工具提示与命令库，为使用AI工具的人提供了大量有用的提示，帮助他们更轻松地使用AI工具并获得更好的结果。无论是在营销、编程、语言、教育、商业还是其他领域，Promptsio都有各种各样的提示可供选择。通过使用Promptsio，您可以充分利用AI工具的潜力，为未来的发展带来重要影响。

在线学习Python、AI、大模型、AI写作绘画课程，零基础轻松入门。

Mo是一个专注于 AI 技术学习和应用的平台，旨在为用户提供从基础到高级的系统学习资源，帮助各类学习者掌握 AI 技能，并将其应用于实际项目中。无论你是大学生、职场新人，还是想提升自己技能的行业专家，Mo都能为你提供量身定制的课程、实战项目和工具，带你深入理解和应用人工智能。

Trae 是一款适应性 AI IDE，通过与开发者协作提升工作效率。

Trae 是一款面向开发者的 AI 驱动的集成开发环境（IDE）。它通过智能代码补全、多模态交互以及对整个代码库的上下文分析等功能，帮助开发者更高效地编写代码。Trae 的主要优点在于其强大的 AI 能力，能够理解开发者的需求并提供精准的代码生成和修改建议。该产品目前提供免费版本，旨在帮助开发者减少重复性任务，专注于创造性工作，从而提升编程效率和生产力。

麦悠电台，用AI技术将新闻转换为对话形式播报，打造个性化电台体验。

麦悠电台是一款利用AI技术实现新闻播报的APP。它通过智能算法将文字新闻转换为生动的对话形式，让用户在听新闻时有更自然、更有趣的体验。该产品的主要优点是个性化和智能化，用户可以根据自己的兴趣创建多个主题电台，APP会自动对新闻进行重要性分级。此外，它还支持本地和云端两种语音合成方式，以及音频导出功能，方便用户将生成的节目作为播客发布。麦悠电台由Fangtangjun (Chongqing) Technology Co., Ltd.开发，是一款免费的教育类APP，适合对新闻和AI技术感兴趣的用户。

一个提供AI生成内容的在线平台，涵盖多种话题和问题解答。

跃问是一个以教育为核心，利用AI技术为用户提供多样化内容的平台。它能够生成各种风格的文案、解答各类问题，帮助用户获取知识、解决问题。该平台具有高效、便捷的特点，用户无需下载安装，直接在网页端即可使用。其定位主要是面向需要快速获取信息、解决学习或生活问题的用户群体，价格策略暂未明确。

将枯燥数据转化为引人入胜的演示文稿。

Presenton.ai 是一款基于人工智能的在线演示文稿生成工具。它能够将复杂的数据、报告、分析等转化为简洁、有趣且具有互动性的演示文稿，帮助用户节省时间，提高工作效率。该产品主要面向商务专业人士、教育工作者、学生以及创作者等，提供免费和付费两种版本，其中付费版本提供更多高级功能，如无限制的演示文稿创建、无水印等。

将PDF转化为引人入胜的视频，加速学习过程。

MemenomeLM是一个创新的在线教育工具，通过将PDF文档转化为视频内容，帮助用户更高效地学习。它利用先进的AI技术，将枯燥的文字转化为生动的视频，使学习变得更加有趣和高效。产品主要面向学生群体，尤其是那些需要处理大量阅读材料的学生。它提供了多种视频格式和声音效果，以满足不同用户的需求。MemenomeLM有免费版和付费版，付费版提供更多功能，如更多的视频生成次数、高级AI声音和专属服务器等。

强大的AI数学解题器，提供准确答案和逐步解决方案。

OKMath AI Math Solver 是一款先进的AI数学解题工具，旨在为学生提供准确的数学问题解决方案。该产品利用强大的AI技术，结合超过1000万道数学练习题的庞大数据库，通过自训练的AI模型和多重交叉验证算法，确保每个问题的解答都是准确无误的。其主要优点包括高准确率、详细的逐步解答、以及广泛的数学问题覆盖范围。OKMath不仅适用于学生的学习和作业辅导，也适用于教师的教学辅助和家长的辅导。该产品的定位是为所有水平的学习者提供一个全面的数学学习工具，帮助他们更好地理解和掌握数学知识。

一个开源AI模型微调与变现平台，助力AI初创企业、机器学习工程师和研究人员。

Bakery是一个专注于开源AI模型的微调与变现的在线平台，为AI初创企业、机器学习工程师和研究人员提供了一个便捷的工具，使他们能够轻松地对AI模型进行微调，并在市场中进行变现。该平台的主要优点在于其简单易用的界面和强大的功能，用户可以快速创建或上传数据集，微调模型设置，并在市场中进行变现。Bakery的背景信息表明，它旨在推动开源AI技术的发展，并为开发者提供更多的商业机会。虽然具体的定价信息未在页面中明确展示，但其定位是为AI领域的专业人士提供一个高效的工具。

在浏览器中运行AI代理的用户界面

WebUI 是一个基于 Gradio 构建的用户界面，旨在为 AI 代理提供便捷的浏览器交互体验。该产品支持多种大型语言模型（LLM），如 Gemini、OpenAI 等，使得用户可以根据自己的需求选择合适的模型进行交互。WebUI 的主要优点在于其用户友好的界面设计和强大的自定义功能，用户可以使用自己的浏览器进行操作，避免了重复登录和认证的问题。此外，WebUI 还支持高清屏幕录制功能，为用户提供了更多的使用场景。该产品定位于为开发者和研究人员提供一个简单易用的 AI 交互平台，帮助他们更好地进行 AI 应用的开发和研究。

免费的提示工程在线课程，包含ChatGPT和Midjourney教程。

Learning Prompt是一个专注于提示工程的在线教育平台，旨在帮助用户更好地使用ChatGPT和Midjourney等AI工具。该平台通过提供系统的课程和教程，帮助用户掌握如何构建有效的提示，从而提高与AI的交互效率。其主要优点在于免费提供高质量的学习资源，适合初学者和有一定基础的用户。该平台由Jimmy创建，旨在通过输出驱动输入，帮助用户在学习过程中掌握提示工程的知识。

AI驱动的个性化涂色书生成器

AI Coloring Book Generator是一个利用人工智能技术，让用户能够轻松创建个性化涂色书的网站。它通过简单的描述就能生成独特的涂色页，适用于家庭娱乐、创意艺术项目甚至教育活动。该产品简化了创作过程，使其更快捷、更有趣。产品背景信息显示，它支持用户自定义复杂度，提供高分辨率PNG格式下载，并允许用户取消订阅。价格方面，提供从免费计划到一次性付费获取更多信用点的多种选择。

AI驱动的阅读伴侣，3分钟掌握复杂书籍要点。

3MinTop是一个AI驱动的在线阅读工具，旨在帮助用户通过3分钟的快速摘要来掌握复杂书籍的核心内容。产品使用最新的AI技术，将书籍内容简化为易于理解的语言，同时保持对原文的忠实。3MinTop的主要优点包括快速学习、易于理解、智能进度跟踪和目标设定，它适合那些希望提高阅读效率和理解力的用户。产品背景信息显示，3MinTop基于科学和数据驱动的方法来构建持久的阅读习惯，用户通过每天3分钟的投资，可以实现一年内37倍的自我提升。3MinTop的价格信息未在文档中提及，但根据常见问题解答部分，我们可以推测它可能提供免费计划和付费计划。

AI驱动的任务管道和多代理团队框架

Orchestra是一个用于创建AI驱动的任务管道和多代理团队的框架。它允许开发者和企业构建复杂的工作流程，通过集成不同的AI模型和工具来自动化任务处理。Orchestra的背景信息显示，它由Mainframe开发，旨在提供一个强大的平台，以支持AI技术的集成和应用。产品的主要优点包括其灵活性和可扩展性，能够适应不同的业务需求和场景。目前，Orchestra提供免费试用，具体的价格和定位信息需要进一步查询。

利用人工智能轻松设计专业定制Logo。

Slea.ai免费AI Logo生成器是一款基于人工智能技术的在线Logo设计工具，它能够根据用户提供的Logo名称、核心元素和行业信息快速生成专业Logo设计。这款工具以其快速、高效、可定制化的特点，帮助用户无需设计背景也能创造出符合品牌形象的Logo。Slea.ai AI Logo生成器支持高清无水印下载，适用于多种场合，如社交媒体头像、名片设计、高质量打印Logo等。

AI数学家教，实时计算和渲染LaTeX格式数学问题

Math Tutor on Groq是一个由Groq驱动的AI数学家教项目，它利用8090的xRx框架、Whisper和Llama 3.3 70b模型以及Elevenlabs的TTS技术，以实时对话的方式回应学生的数学问题。Groq的高速度使得复杂问题的响应几乎瞬间完成，提供了流畅的学习体验。该项目还可以通过内部数学引擎解决代数和微积分问题，然后将解决方案作为上下文提供给AI，以提高回应的准确性。

Edexia 是一款智能评估标记工具。

Edexia 是一款旨在提升教育评估效率的人工智能工具，能够帮助教师更快速、准确地进行学生作业的评分与反馈。它通过模拟教师的标记方式，提供个性化的反馈，帮助学生更好地理解自己的学习情况。Edexia 的设计理念是减轻教师的工作负担，提高教育质量，适合各类学校和教育机构使用。该产品提供免费试用，便于用户体验其功能。

量子计算竞赛和学习平台

Aqora 是一个专注于量子计算的在线平台，提供量子竞赛、教程和社区交流，旨在帮助用户学习量子计算知识，提升技能，并与全球专家合作解决实际问题。该平台通过竞赛和项目实践，让用户能够将理论知识应用于现实世界场景中，推动量子技术的发展和应用。

基于Google Gemini AI的英语发音纠正工具

Gemini 英语口语助手是一个基于Google Gemini AI的英语口语练习助手，能够实时识别用户的英语发音，并提供即时反馈和纠正建议。它具备实时语音识别、AI驱动的发音评估、语法纠正、情景对话练习等功能，旨在帮助用户提高英语口语能力。该产品由个人开发者Box开发，以其免费、实用的特性，特别适合英语学习者和教师使用。

macOS原生应用，利用语言模型简化本地文件迭代

Repo Prompt是一个为macOS设计的原生应用，旨在消除在使用本地文件时与最强大语言模型交互的摩擦。它通过允许用户选择文件和文件夹作为提示的上下文，使用保存的提示和仓库映射来指导AI的输出，从而迭代文件或了解它们的工作原理。该产品的主要优点包括提高开发效率、精确控制上下文和审查AI所做的更改。Repo Prompt的背景信息显示，它是一个针对开发者和技术人员的工具，旨在通过集成最新的AI技术来优化代码和文件处理工作流程。产品目前提供免费试用，但具体的定价信息未在页面上提供。

基于强化学习技术的视觉思考模型，理科测试行业领先

Kimi视觉思考模型k1是基于强化学习技术打造的AI模型，原生支持端到端图像理解和思维链技术，并将能力扩展到数学之外的更多基础科学领域。在数学、物理、化学等基础科学学科的基准能力测试中，k1模型的表现超过了全球标杆模型。k1模型的发布标志着AI在视觉理解和思考能力上的新突破，尤其在处理图像信息和基础科学问题上展现出色的表现。

与AI圣诞老人对话，体验节日乐趣。

Talk to Santa是一个由Tavus开发的AI圣诞老人网站，用户可以通过这个平台与AI圣诞老人进行互动对话，感受节日氛围。该产品利用人工智能技术，模拟圣诞老人的对话风格，为用户提供一个有趣且富有创意的交流体验。它不仅增加了节日的趣味性，还展示了人工智能在娱乐领域的应用潜力。目前产品提供免费试用，适合所有年龄段的用户，尤其是儿童和家庭用户。

用于强化学习验证的数学问题数据集

RLVR-GSM-MATH-IF-Mixed-Constraints数据集是一个专注于数学问题的数据集，它包含了多种类型的数学问题和相应的解答，用于训练和验证强化学习模型。这个数据集的重要性在于它能够帮助开发更智能的教育辅助工具，提高学生解决数学问题的能力。产品背景信息显示，该数据集由allenai在Hugging Face平台上发布，包含了GSM8k和MATH两个子集，以及带有可验证约束的IF Prompts，适用于MIT License和ODC-BY license。

前沿AI模型的规模化访问方案

ChatGPT Pro是OpenAI推出的一款月费200美元的产品，它提供了对OpenAI最先进模型和工具的规模化访问权限。该计划包括对OpenAI o1模型的无限访问，以及o1-mini、GPT-4o和高级语音功能。o1 pro模式是o1的一个版本，它使用更多的计算资源来更深入地思考并提供更好的答案，尤其是在解决最困难的问题时。ChatGPT Pro旨在帮助研究人员、工程师和其他日常使用研究级智能的个体提高生产力，并保持在人工智能进步的前沿。

AI驱动的开源笔记/研究平台，尊重您的隐私。

Open Notebook是一个结合了人工智能的强大开源笔记和研究平台，专为研究人员、学生和专业人士设计，旨在增强他们的学习和能力，同时完全控制工作流程、模型以及数据的使用和暴露。该产品代表了一种新型的隐私保护学习工具，它通过AI技术帮助用户整理笔记、生成播客和深入理解学习内容，同时确保用户的数据隐私不受侵犯。Open Notebook的背景信息显示，它是一个开源项目，鼓励社区参与和贡献，以构建一个能够个性化辅助每个人发展的智能伙伴。

QwQ是一款专注于深度推理能力的AI研究模型。

QwQ（Qwen with Questions）是一款由Qwen团队开发的实验性研究模型，旨在提升人工智能的推理能力。它以一种哲学精神，对每个问题都抱有真正的好奇和怀疑，通过自我提问和反思来寻求更深层次的真理。QwQ在数学和编程领域表现出色，尤其是在处理复杂问题时。尽管它仍在学习和成长，但它已经展现出了在技术领域深度推理的重要潜力。