AI项目与工具

PlayDiffusion

PlayDiffusion是Play AI推出的音频编辑模型,基于扩散模型技术实现音频的精细编辑和修复。它将音频编码为离散标记序列,通过掩码处理和去噪生成高质量音频,保持语音连贯性和自然性。支持局部编辑、高效文本到语音合成、动态语音修改等功能,具有非自回归特性,提升生成速度与质量。适用于配音纠错、播客剪辑、实时语音互动等场景。

Audio

Audio-SDS是由NVIDIA研发的音频处理技术,基于文本提示引导音频生成,支持音效生成、音源分离、FM合成及语音增强等多种任务。该技术无需重新训练模型,即可将预训练音频扩散模型扩展为多功能工具,具备高效推理能力,适用于游戏、音乐制作、教育及智能家居等多个领域。

BlenderMCP

BlenderMCP 是一款将 Blender 与 Claude AI 集成的工具,通过 socket 服务器实现双向通信,支持 3D 对象操作、材质控制、场景信息获取及 Python 代码执行。用户可通过自然语言指令高效完成建模任务,提升创作效率。工具由插件和服务器组成,采用 JSON 协议进行数据交互,适用于快速建模、场景优化及教育辅助等场景。

Firesearch

Firesearch 是 Mendable AI 团队推出的 AI 驱动的深度研究工具,基于 Firecrawl 多源网络内容提取技术和 OpenAI GPT-4o 的搜索规划与内容生成能力,能够将复杂查询分解为子问题进行搜索和内容提取。它支持答案验证、自动重试、实时进度更新、完整引用和上下文记忆等功能,帮助用户高效获取准确、全面的研究结果。工具基于 Next.js 15 构建,提供现代化的开发体

Pablo

Pablo是一款AI驱动的网页设计工具,支持用户通过上传Logo快速生成品牌化网站,并提供无代码编辑功能。它能够自动匹配配色方案,支持在线定制与发布,同时具备图片制作能力,可生成符合社交媒体规范的图像内容。适用于品牌建设、个人展示及小型企业网站搭建等多种场景。

Kimina

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

DeepSider

DeepSider 是一款集成在浏览器侧边栏的 AI 对话工具,支持多种顶级 AI 模型如 GPT-4o、Grok3 和 Claude 3.5。用户可通过简洁交互完成复杂任务,包括 AI 搜索、实时问答、内容创作、翻译和代码生成等。该工具支持文档上传分析,结合最新数据提供准确答案,具备快速响应和高效交互设计,适用于提升工作效率和学习效率。

Ciro

Ciro 是一款基于人工智能的 LinkedIn 潜在客户开发工具,能够自动筛选符合用户设定标准的联系人,并获取其联系方式。它支持与主流 CRM 系统集成,具备数据验证、客户画像学习、智能搜索策略等功能,适用于销售、市场及企业客户资源拓展场景。工具操作便捷,提升客户开发效率与数据准确性。

Ghiblio.art

Ghiblio.art 是一款AI图像生成工具,可将文字或照片转化为吉卜力风格的艺术作品。支持多种图像类型,生成高分辨率、细节丰富的图像,适用于头像、壁纸及艺术创作。操作简单,处理迅速,还可选择新海诚和皮克斯等其他风格,适合个人及商业用途。

酷雀AI智能抠图

酷雀AI智能抠图是一款基于先进AI技术的图片处理工具,能够快速精准地识别并去除图片背景,支持人像、物品及复杂场景的精细化抠图,保留细节如发丝。具备证件照制作、模糊图片优化、无损放大、图片尺寸调整等功能,操作简单,无需专业技能,满足日常多种图片处理需求。