教育 - 智狐AI导航

TongGeometry

TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型，采用树搜索和神经符号推理技术，能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库，涵盖67亿个需辅助构造的定理，具备广泛应用场景，如数学竞赛、教育及研究领域，支持复杂几何问题的探索与教学资源开发。

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

Opus Clip

Opus Clip是一款由Opus公司开发的AI视频剪辑工具，它能够自动从长视频中提取亮点片段，并生成短视频。该工具利用AI技术分析视频内容，识别重要时刻。Opus Clip简化了视频编辑流程，使得即使是非专业用户也能够快速制作出适合社交媒体分享的短视频。此外，它还提供了手动选择和编辑片段的功能，以及基本的视频编辑工具。

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

National Gallery Mixtape 是伦敦国家美术馆与 Google Arts & Culture 合作推出的 AI 音乐实验工具。用户可从 200 幅精选名画中选择最多 6 幅，AI 会分析画作的色彩、主题、情感和历史背景，生成匹配的音乐片段。用户可调整音量、顺序和叠加方式，并通过风格、乐器和心情标签定制音乐氛围。该工具基于谷歌 Gemini 模型，提供实时互动体验，适用于教育、艺

AI项目与工具 2025年06月11日 79 点赞 0 评论 798 浏览

AI新手村

AI新手村是一个由小红书与Kimi智能助手联合打造的AI技术普及平台，致力于帮助用户轻松理解并应用AI技术。该平台提供了一系列工具和指南，涵盖工作提效、技能学习、驯化AI及生活娱乐等方面，帮助用户在职场、学习和个人生活中更好地利用AI技术。无论是提高工作效率还是激发创意，AI新手村都能为用户提供实用的支持。

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