教育 - 智狐AI导航

Quizbot

Quizbot 是一款基于 AI 的问题生成工具，支持从多种格式的文件中提取内容并生成选择题、填空题、判断题等多种类型的问题。它具备多语言支持、抄袭检测、AI 内容识别和文本重写功能，并采用游戏化设计提升用户参与度。适用于教育、企业培训和个人学习等场景，帮助用户高效创建测验和考试内容。

AI项目与工具 2025年06月12日 19 点赞 0 评论 143 浏览

ColorJoyful

ColorJoyful是一款基于AI的在线填色工具，可将简单轮廓图转化为丰富多彩的图像，支持个性化图案、色彩和风格选择。用户可通过关键词或上传图片生成线稿，并获得智能色彩建议与一键填充功能。适用于亲子互动、艺术创作、教育及个人娱乐等多种场景，操作简便，适合各年龄段用户使用。

AI项目与工具 2025年06月12日 56 点赞 0 评论 401 浏览

通古大模型

通古大模型是由华南理工大学研发的古籍文言文处理AI工具，基于百川2-7B-Base进行增量预训练，结合24.1亿古籍语料和400万对话数据，采用RAT和RAG技术提升古籍处理效果。支持古文句读、文白翻译、诗词创作、古籍赏析、检索问答及辅助整理等功能，广泛应用于古籍数字化、教育、文化传承与学术研究等领域。

AI项目与工具 2025年06月12日 61 点赞 0 评论 162 浏览

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。

AI项目与工具 2025年06月12日 50 点赞 0 评论 480 浏览

DeepClaude

DeepClaude 是一款高性能开源 AI 工具，融合 DeepSeek R1 和 Claude 模型，具备推理、创造力和代码生成能力。它提供零延迟响应、端到端加密和本地 API 管理，保障数据安全。支持高度自定义，适用于智能客服、代码生成、推理分析及教育等多场景，满足多样化需求。

AI项目与工具 2025年06月12日 71 点赞 0 评论 277 浏览

Animate Anyone 2

Animate Anyone 2 是由阿里巴巴通义实验室开发的高保真角色动画生成技术，能基于输入图像和运动信号生成高质量、自然流畅的角色动画。通过环境感知、形状无关掩码策略、物体交互增强等技术，实现角色与环境的深度融合，提升动画的真实感与稳定性。支持复杂动作处理、多角色互动及跨身份动画生成，适用于影视、广告、VR/AR、游戏及教育等多个领域。

AI项目与工具 2025年06月12日 50 点赞 0 评论 385 浏览