产品库

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工具的潜力，为未来的发展带来重要影响。

前沿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在数学和编程领域表现出色，尤其是在处理复杂问题时。尽管它仍在学习和成长，但它已经展现出了在技术领域深度推理的重要潜力。

社区驱动的专家级LLMs市场，专为技术主题设计。

Lune AI是一个社区驱动的专家级大型语言模型（LLMs）市场，由开发者在技术主题上创建，以超越单独的AI模型。它通过集成各种技术知识源，如GitHub仓库、文档等，减少技术查询的幻觉，并提供准确的参考。Lune AI的API与OpenAI兼容，可以轻松集成到各种支持OpenAI兼容模型的工具中，如Cursor、Continue等。此外，Lune AI还提供了一个付费计划，用户可以通过贡献和创建Lunes来获得报酬。

K-12教育工作者的免费AI培训课程

Common Sense Media和OpenAI联合推出的'ChatGPT Foundations for K-12 Educators'是一个免费的在线课程，旨在帮助教师理解和负责任地将人工智能的基础知识融入课堂教学。该课程为期一小时，包含九个课程单元，为教育工作者提供关于人工智能的基本知识，并介绍如何确保学生安全和隐私的方法。课程内容涵盖人工智能基础、数据隐私考量、道德使用指南以及如何将AI融入日常教学工作的想法。

潮汐 AI 提供即时答案和创意灵感。

潮汐 AI 是一个基于大型语言模型的聊天平台，旨在为用户提供高效的问答服务。它的主要优点包括快速响应、丰富的知识库和用户友好的界面。该产品适合需要快速获取信息和灵感的用户，定位于教育和生产力领域。

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

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

AI应用快速生成器

AnotherWrapper是一个AI应用快速生成器，旨在帮助开发者节省100多个小时的编码和头痛时间。它提供了一个全功能的Next.js AI启动套件，集成了多种AI模型和后端API路由，允许用户在沙盒中尝试并下载代码。产品背景信息显示，开发者Fekri在15个月内构建了约10个不同的AI应用，注意到在设置基础设施上浪费了大量时间，因此创建了这个工具以简化流程。产品定位于帮助用户快速启动AI创业项目，价格方面提供一次性付费，无限产品构建的选项。

AI数学极限测试基准

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

下一代AI作业助手，免费获取作业答案

AI Homeworkify是一个基于人工智能的在线问答平台，旨在帮助学生通过提供详细的答案和解题步骤来学习和理解各种学术问题。该平台不涉及版权侵犯，注重教育平等，提供免费、即时的作业帮助，支持多种学科和语言。AI Homeworkify的主要优点包括完全免费、无需注册、即时答案、全天候服务、多设备兼容、隐私保护和逐步解决方案。产品背景信息显示，AI Homeworkify致力于通过技术手段减少教育不平等，为全球学生提供免费的优质学习辅助服务。

Anthropic提供的教育课程，涵盖API基础和提示工程等领域。

Anthropic's educational courses是一个在线教育平台，提供关于如何使用Anthropic的API和提示工程技术的课程。这些课程旨在教育用户如何有效地与AI模型交互，提高工作效率和学习新技术。产品背景信息显示，这些课程适合希望深入了解AI技术和API使用的专业人士和学生，课程内容覆盖从基础到高级的多个层面。

通往AGI之路，AI知识库和工具站

WaytoAGI是一个专注于人工智能领域的知识库和工具站，提供丰富的AI学习资源、工具和社区交流平台。它旨在帮助用户深入了解人工智能技术，探索AI的边界，并促进AI技术的应用和发展。该平台以其全面的内容覆盖、互动性强和更新速度快而受到用户欢迎。

AI领域职业发展指南

《How to Build Your Career in AI》是由AI先驱Andrew Ng所著的电子书，提供了关于学习基础技能、开展项目、寻找工作以及建立机器学习社区的见解。这本书是为那些希望在AI领域建立职业生涯的人设计的，无论是学生、行业专业人士还是希望克服冒名顶替综合症的新手。书中不仅包含了如何发展核心AI技能的指导，还有实用的面试技巧、如何构建引人注目的项目组合、如何建立专业网络以及如何利用网络取得成功等内容。

全球首创桌面双轮足式AI机器人，集成ChatGPT，能跑、能看、能说、倒不了。

XGO Rider是一款集成了ChatGPT的桌面双轮足式AI机器人，具备自平衡功能和全向移动能力。它基于Raspberry Pi CM4核心模块构建，支持Python和C++编程，适合AI编程学习和教育使用。XGO Rider不仅能够帮助学生和开发者轻松进入机器人世界，还能通过其丰富的传感器和AI功能进行各种互动和学习，如手势识别、人脸检测、骨骼识别等。

Mac上的原生、高性能AI应用程序

BoltAI是一款专为Mac设计的原生、高性能AI应用程序，它允许用户在单个应用程序中切换不同的顶级AI服务和本地模型。它通过提供直观的聊天界面、强大的AI命令和内联AI功能，增强了从写作、开发到管理和创业等各个职业领域的生产力。BoltAI的主要优点包括原生集成、快速响应、高度可定制以及对用户隐私的尊重。此外，它还提供了一个提示库，帮助用户充分利用AI辅助功能。

将学习资料转化为个性化测验

Quizzio是一个教育技术平台，它使用人工智能将用户的学习资料转化为个性化的测验，帮助用户发现知识盲点并测试对学习内容的理解。这个平台通过AI分析用户上传的学习材料，生成定制的测验，提供即时的反馈和改进建议，从而提高学习效率和学术表现。Quizzio的主要优点包括个性化学习体验、AI反馈、进度跟踪和移动友好设计。它适合所有希望提高学习效率和成绩的学生，尤其是那些寻求个性化学习路径和即时反馈的学习者。

一键生成个性化的涂色页

SoColoring是一个AI驱动的平台，它允许用户通过简单的文本输入来创建个性化的涂色页。这个平台特别适合儿童和教育工作者，因为它能够激发孩子们的绘画兴趣，同时提供一种寓教于乐的方式。SoColoring利用人工智能技术，将文本转换为可打印的涂色图案，极大地简化了传统涂色页的制作过程。产品背景信息显示，SoColoring在2024年保留所有权利，并且提供了多种语言选项，包括中文。价格方面，用户可以访问定价页面了解更多详情。

AI生成演示文稿、脚本、测验和论文

KindlePPT是一个AI驱动的工具，可以快速生成吸引人的演示文稿、脚本、测验和论文，是教育工作者、商业专业人士以及需要快速制作引人入胜内容的任何人的核心解决方案。它提供直观的工具和可定制的模板，增强了沟通和观众参与度。此外，它还提供免费功能，如退出计划器、课程票创建器和摘要器，以进一步支持您的内容创作过程。

高效OCR阅读工具，快速获取书籍精华。

小虫快读是一款基于OCR和AI大语言模型的高效阅读工具，通过手机相机拍摄书籍页面，利用先进的OCR技术自动识别文字，AI大语言模型几秒内生成书籍的核心内容和精华总结，并通过AI语音播放功能，让用户轻松听书，解放双眼，提升学习效率。

AI时代的技能学习平台

Novela是一个专注于AI时代技能学习的在线平台，提供早期访问服务，用户可以免费试用。它旨在帮助用户掌握AI相关的技能，以适应未来职场的需求。

学习编程和面试准备的趣味平台

edCode是一个面向所有人，从初学者到专家的编程学习平台。它提供AI面试准备功能，帮助用户学习编程或为梦想工作做准备。平台强调学习的乐趣，提供自定进度的课程，并通过动态排行榜和社交功能激励用户。

解决复杂问题的AI语言模型。

ChatGPT o1是OpenAI的最新AI技术，提供o1-preview和o1-mini模型，具备强化学习能力，可解决科学、编程和数学等领域的复杂问题。它具有高效率、安全性和创新性，是AI领域的前沿产品。

AI国际象棋机器人，智能对弈与教学

元萝卜AI下棋机器人是商汤科技旗下家用机器人品牌，通过AI科技为孩子的健康、学习、快乐成长保驾护航。产品具备陪练涨棋、棋力闯关、巅峰对决、在线对弈、残局挑战、AI打谱、AI习题精练、棋局分享等功能，旨在通过真实棋盘棋子的交互，保护孩子视力，同时提高棋艺水平。

智能舞蹈练习工具，助力少儿舞蹈学习

大象起舞是一个专为少儿设计的舞蹈智能练习工具，结合了最新的人工智能技术，通过视频分析和动作捕捉技术，帮助孩子们更准确地学习和练习舞蹈动作。产品通过实时反馈和个性化指导，提高孩子们的舞蹈技能，同时增加学习的乐趣。

AI技术动手实践Excel教程

ai-by-hand-excel是一个通过Excel进行AI技术实践的资源库，它通过提供一系列Excel文件，让用户能够手动执行和理解AI模型的关键操作，如Softmax、LeakyReLU、Backpropagation和Transformer等。这个资源库适合于希望深入了解AI模型内部工作机制的初学者和教育工作者，能够帮助他们通过实际操作来加深对AI技术的理解。