产品库

最强大的为学生打造的AI

Caktus AI是一个全新的教育助手,专为学生提供写作、解题、编程等强大功能,助你轻松完成作业。它可以根据你的写作风格,为你生成各种高质量的文章;同时它也可用于数学、科学等题目的步步解答,无需编码就可以与它进行交互;此外,它还支持多种编程语言,能帮助你学习代码。Caktus AI让你拥有一个私人教育伙伴,它将成为你永远的知识后盾。

一个简洁的笔记和写作工具，支持多种功能，帮助用户高效记录和整理信息。

Freenote 是一款专注于写作和笔记记录的工具，其界面简洁，功能实用，旨在为用户提供一个无干扰的写作环境。它支持多种笔记类型，如日记、知识管理等，还集成了 AI 聊天功能，方便用户在写作过程中获取灵感和帮助。该产品的主要优点是操作简单、功能全面且易于上手，适合各类写作爱好者和专业人士。目前，Freenote 以网站形式提供服务，用户可以通过浏览器直接访问和使用，无需安装额外软件，具有较高的灵活性和便捷性。

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

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

小艺是华为推出的智能助手，提供聊天、写作、编程等多种AI服务。

小艺是华为推出的智能助手，集成了自然语言处理和机器学习技术，能够提供聊天、写作、编程、翻译等多种功能。它基于深度学习模型，能够理解用户的问题并给出准确的回答。小艺的主要优点是功能丰富、响应速度快、智能化程度高。作为华为生态的一部分，小艺致力于为用户提供便捷的智能服务，提升用户体验。

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

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

一款基于AI驱动的无头、经济实惠的内容管理系统，助力高效内容创作。

JustCMS是一款AI驱动的内容管理系统，专为忙碌的内容创作者和团队设计。它通过AI技术帮助用户快速生成和优化内容，支持从创意构思到发布全流程的自动化。该系统采用无头架构，提供灵活的API接口，可无缝集成到现有技术栈中。其核心优势在于提高内容创作效率，降低创作成本，同时确保内容的高质量和SEO优化。JustCMS提供多种定价方案，包括免费试用、付费专业版和企业定制版，满足不同用户的需求。

一个基于LLM的创意命名工具，帮助用户快速生成独特的名称。

LLM Codenames 是一个基于语言模型的创意命名工具。它利用先进的自然语言处理技术，能够根据用户输入的关键词或主题，快速生成一系列独特且富有创意的名称。这种工具对于需要进行品牌命名、产品命名或创意写作的用户来说非常实用。它可以帮助用户节省大量时间和精力，避免命名过程中的重复劳动。LLM Codenames 的主要优点是其高效性和创意性，能够提供多样化的命名选择，满足不同用户的需求。该工具目前以网站形式提供服务，用户可以通过浏览器直接访问使用，无需安装任何软件。

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

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

Outrank 是一款通过自动优化内容生成帮助用户提升网站流量和 SEO 排名的工具。

Outrank 是一款专注于提升网站流量和 SEO 排名的工具。它通过自动生成优化内容，帮助用户在无需手动干预的情况下实现网站内容的更新和优化。该工具利用先进的 AI 技术，提供从关键词研究到内容生成、再到自动发布的全流程服务。其主要优点包括高效的内容生成、自动化的发布流程和强大的 SEO 优化能力。Outrank 定位于为专业内容创作者和企业用户提供一站式的解决方案，帮助他们在竞争激烈的网络环境中脱颖而出。其价格策略灵活，提供免费试用和不同层次的付费套餐，满足不同用户的需求。

Chooat是一个多功能AI聊天平台，提供多种AI模型和工具，提升创造力和生产力。

Chooat是一个集成多种先进AI模型的聊天平台，旨在通过强大的AI技术提升用户的创造力和生产力。它支持多种AI模型，如ChatGPT、Claude、Gemini等，能够满足不同用户的需求。用户可以通过平台进行高效的任务管理和内容创作，同时其简洁的界面和强大的功能使其在市场上具有竞争力。Chooat的目标是为用户提供一个一站式的AI解决方案，帮助他们在工作和生活中实现更高的效率。

一款专注于记录和写作的跨端 AI 笔记工具，支持多种记录方式和写作辅助功能。

NoteGen 是一款跨端 AI 笔记工具，旨在帮助用户高效记录和整理信息。它结合了截图、插图、文字记录等多种方式，并通过 AI 对话辅助整理和生成文章。产品支持本地离线存储和基于 GitHub 的同步功能，确保数据安全和便捷性。其主要优点包括强大的记录功能、AI 辅助写作能力以及灵活的 Markdown 编辑器，适合需要高效记录和整理信息的用户。目前产品未明确标注价格，推测可能为付费或免费试用。

一款基于人工智能技术的对联生成工具，可快速生成对仗工整的对联。

AI对联生成器是一款利用人工智能技术开发的在线工具，能够根据用户输入的主题或关键词，快速生成对仗工整、富有文化内涵的对联。该产品结合了自然语言处理和深度学习技术，通过对大量对联文本的学习和分析，掌握了对联的创作规律和特点，从而能够为用户提供高质量的对联创作服务。其主要优点是操作简单、生成速度快、对联质量高，能够满足用户在节日、庆典、装饰等多种场景下的对联需求。该产品由Timothy Yin开发，由DeepSeek提供技术支持，目前处于v0.1.4版本，是一款免费的在线工具，旨在为用户提供便捷的对联创作体验。

基于思维导图变化的首个AI生成平台，让AI与你的思维方式对齐。

Minduck是一个创新的AI平台，通过视觉思维工具引导AI生成过程，使用户能够以清晰、有组织的步骤将想法变为现实。它旨在帮助那些在技术面前感到挣扎的人，通过自然的方式创造、探索和构建想法，释放AIGC的潜力。该平台强调个性化和直观的用户体验，提供免费试用，定位为教育、创作和商业领域中的创意和学习工具。

AI智能对话助手，搜索写作阅读解题翻译工具。

DeepSeek是杭州深度求索人工智能基础技术研究有限公司开发的一款AI对话助手APP，使用开源的DeepSeek-V3大模型，总参数超600B，多项性能指标对齐海外顶尖模型，能快速响应并给出详细答复，助力高效生活。该APP免费提供多种功能，适用于多种身份人群，如学生、科研工作者、内容创作者等，帮助他们在学习、工作和生活中答疑解惑、提升效率。

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

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

基于PRIME方法训练的7B参数语言模型，专为提升推理能力而设计。

PRIME-RL/Eurus-2-7B-PRIME是一个基于PRIME方法训练的7B参数的语言模型，旨在通过在线强化学习提升语言模型的推理能力。该模型从Eurus-2-7B-SFT开始训练，利用Eurus-2-RL-Data数据集进行强化学习。PRIME方法通过隐式奖励机制，使模型在生成过程中更加注重推理过程，而不仅仅是结果。该模型在多项推理基准测试中表现出色，相较于其SFT版本平均提升了16.7%。其主要优点包括高效的推理能力提升、较低的数据和模型资源需求，以及在数学和编程任务中的优异表现。该模型适用于需要复杂推理能力的场景，如编程问题解答和数学问题求解。

一个提供多样化知识视频的在线学习平台

Teach Me Anything 是一个专注于提供多样化知识视频的在线学习平台。该平台通过生动有趣的视频形式，帮助用户学习各种科学、数学和自然现象等领域的知识。其主要优点在于内容的多样性和趣味性，能够激发用户的学习兴趣。产品背景信息显示，该平台旨在通过视觉化的方式，使复杂的知识变得易于理解和记忆。目前，该平台是免费提供的，适合所有希望扩展知识面的用户。

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

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

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

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

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

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

AI可视化工具，激发创新思维

AI | BoardOS是一个以AI技术为核心的可视化工具平台，旨在通过提供多样化的功能模块，如头脑风暴、写作辅助、翻译、思维导图生成等，帮助用户提升工作效率和创新能力。产品背景基于当前AI技术的发展，结合用户对于工作效率提升的需求，定位于提高个人和团队的生产力。目前产品提供免费试用，具体价格需根据用户需求定制。

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

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

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

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

AI数学极限测试基准

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

多功能AI助手，提供问答、写作、绘图等智能服务。

三顿智能助手是一个集成了多种AI功能的在线平台，它通过提供问答、写作、绘图等多种服务，帮助用户提高工作效率和创造力。该产品以其强大的AI技术背景和用户友好的界面，为用户提供了一个便捷的智能服务入口。价格方面，三顿智能助手提供免费试用，同时也提供付费服务以解锁更多功能。

全能AI助手，搜索、对话、写作、文档分析、画画、做PPT

天工AI是一款集合了搜索、对话、写作、文档分析、画画、制作PPT等多种功能的AI助手。它通过先进的人工智能技术，为用户提供高效、便捷的服务，帮助用户节省时间，提升工作效率。天工AI的背景是随着人工智能技术的快速发展，人们对于智能化服务的需求日益增长。产品以用户友好、功能全面为定位，旨在满足不同用户在工作、学习和生活中的多样化需求。

与ChatGPT协作的新方式

Canvas是OpenAI推出的一个新界面，旨在通过与ChatGPT的协作来改进写作和编码项目。它允许用户在一个单独的窗口中与ChatGPT一起工作，超越了简单的聊天界面。Canvas利用GPT-4o模型，能够更好地理解用户的上下文，并提供内联反馈和建议。它支持直接编辑文本或代码，并提供快捷操作菜单，帮助用户调整写作长度、调试代码等。Canvas还支持版本回溯，帮助用户管理项目的不同版本。

手机拍题，秒出解答

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

AI工具大全，发现并使用最佳的AI工具。

AI Tools List是一个专注于AI工具的资源网站，它收集并分类了各种AI工具，包括写作、设计、视频编辑、音频编辑、客户支持等。用户可以通过这个平台快速找到适合自己需求的AI工具，提高工作效率。

AI工具大全

智鹭AI导航是一个提供各种AI工具和资源的平台，旨在帮助用户提高生产力、创造力和效率。该平台汇集了多种AI工具，包括但不限于虚拟试衣、作业助手、语音转文本工具等，覆盖了教育、设计、娱乐等多个领域。