AI

1. 首页
2. AI

Goedel

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

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

FaceSwap

FaceSwap是一款开源AI换脸软件，利用深度学习技术实现人脸检测、提取及替换。它支持跨平台操作，包括Windows、macOS和Linux，并可借助GPU加速提升处理效率。FaceSwap还允许用户自定义模型训练以优化换脸效果，广泛应用于影视制作、教育、游戏开发以及虚拟现实等领域。

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

字狐AI

字狐AI是一款集成多种AI功能的浏览器插件，主要功能包括智能问答、网页信息提取、写作辅助、PDF转换及OCR文字识别。用户可通过语音或文字与之互动，快速获取所需信息并提升工作效率。支持多语言识别与编辑，适用于办公文档处理、写作创作、资料阅读及PPT制作等场景。

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

Melodio

Melodio是一款由昆仑万维开发的AI流媒体音乐应用程序，能够根据用户输入的提示实时生成个性化音乐。该应用程序支持多种语言，包括中文，并提供无限流式播放功能。用户可以在音乐播放过程中随时调整提示，享受连续不断的音乐体验。此外，Melodio还具有歌词查询、音乐保存和分享功能。其主要功能包括AI音乐生成、多语言支持、无限流式播放、实时音乐定制以及歌词查询和显示。

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

AI Voice Cloning

一个提供超真实的AI语音克隆生成器，只需要3秒的音频样本就可以克隆英语、普通话、日语、韩语等语言的声音，生成与真人无异的逼真语音。

Ai语音工具 2025年06月05日 17 点赞 0 评论 711 浏览

Buysmart.AI

Buysmart.AI,基于大模型的智能电商购物ai助手，百度“文心杯”创业大赛一等奖。

电商运营 2025年06月05日 93 点赞 0 评论 711 浏览

天谱乐

天谱乐是一款由趣丸科技推出的支持多模态输入的音乐生成工具，涵盖文本、图片及视频生成音乐功能。它能够准确理解音乐复杂特性并生成高契合度配乐，同时提供专家模式和音乐编辑功能，适用于音乐创作、短视频配乐、影视配乐及个人娱乐等多个领域。

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

Animode

Animode是一款利用3D技术和人工智能实现视频动漫化的创作工具，支持从图片或视频素材生成高质量的二次元风格内容。其核心功能包括动作捕捉、场景多样化选择、实时渲染优化及后期编辑支持，广泛应用于专业视频制作、自媒体创作、教育培训等领域，特别适合需要高效且高质量视觉呈现的场景。

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

AITDK

AITDK是一款集成了多种AI驱动功能的工具平台，涵盖标题生成器、描述生成器、关键词生成器、特性生成器、常见问题解答生成器及用户评价生成器等模块，致力于帮助企业高效创建高质量、搜索引擎友好的内容，同时促进用户交互与品牌信任建设，广泛适用于网站优化、内容创作、产品推广及客户服务等多个领域。

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

DeepFiction Ai

一款为用户创造个性化的沉浸式叙事体验的AI故事生成器。无论是冒险、浪漫故事，DeepFiction都能根据用户的提示生成新颖的短篇小说。

AI写作对话 2025年06月05日 82 点赞 0 评论 712 浏览