AI - 智狐AI导航

Wisecut

Wisecut 是一款利用人工智能技术的在线视频编辑工具，其核心功能包括 AI 高光检测、自动字幕生成与多语言翻译、基于语音的故事板编辑、智能背景音乐匹配以及静音段落自动移除等。它特别适合用于社交媒体内容创作、视频博客、在线教育、产品营销和企业培训等领域，帮助用户快速制作高质量的短视频或音频内容。

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

MoE++

MoE++是一种基于混合专家架构的新型深度学习框架，通过引入零计算量专家、复制专家和常数专家，有效降低计算成本并提升模型性能。它支持Token动态选择FFN专家，并利用门控残差机制实现稳定路由，同时优化计算资源分配。该框架易于部署，适用于多种应用场景，包括自然语言处理、智能客服及学术研究。

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

麦芽岛

麦芽岛是一款由科大讯飞开发的AI虚拟角色互动聊天应用，允许用户创建和自定义虚拟角色，进行沉浸式对话体验，提供情感陪伴及剧情互动功能。它支持多种角色选择，包括名著、历史及娱乐领域的经典形象，并设有麦岛广场供用户探索和互动。

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

ART

ART（Anonymous Region Transformer）是一种新型多层透明图像生成技术，支持基于全局文本提示和匿名区域布局生成多个独立透明图层（RGBA格式）。通过逐层区域裁剪机制，显著提升生成效率，速度快于传统方法12倍以上。具备高质量自编码器，支持50层以上的图像生成，减少图层冲突。广泛应用于艺术设计、内容创作、广告营销及科研等领域。

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

Xianyu AutoAgent

Xianyu AutoAgent 是一款专为闲鱼平台设计的智能客服系统，支持7×24小时自动化值守，具备上下文感知、多专家协作、智能议价等功能。系统通过轻量级对话记忆管理实现自然对话，并结合阶梯降价和网络搜索整合，提升交易效率。适用于闲鱼卖家，优化客户服务与运营流程。

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

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。

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