AI项目与工具

Goedel

Goedel

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

JoyVASA

JoyVASA是一个基于扩散模型的音频驱动数字人头项目，能够生成与音频同步的面部动态和头部运动。其主要功能包括唇形同步、表情控制及动物面部动画生成，支持多语言和跨物种动画化。项目采用两阶段训练方法，结合解耦面部表示与扩散模型技术，生成高质量动画视频，广泛应用于虚拟助手、娱乐媒体、教育、广告等多个领域。
AI项目与工具 2025年06月12日
FaceSwap

FaceSwap

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

字狐AI

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

NoteGen

NoteGen是一款开源AI笔记工具，支持截图识别、剪贴板监听和文本输入，通过OCR和AI技术将碎片信息整理为结构化Markdown笔记。内置Markdown编辑器与AI写作助手，支持大纲生成、公式编辑、流程图绘制及翻译优化。支持多设备同步与GitHub私有仓库管理，保障数据安全，适用于知识管理、学习研究、创作写作及团队协作等场景。
AI项目与工具 2025年06月12日
Intellectia

Intellectia

Intellectia是一款基于AI技术的智能投研平台，专注于金融领域的数据分析与决策支持。其核心功能包括股票和加密货币的技术分析、市场数据汇总、新闻情绪分析等，并通过多种指标和工具简化投资流程，满足个人投资者、企业分析师及资产管理者的多样化需求。产品设计注重易用性与高效性，旨在帮助用户做出更明智的投资决策。
AI项目与工具 2025年06月12日
Animode

Animode

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

AITDK

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

NSFW Detector

NSFW Detector是一款基于深度学习的开源工具，利用Google的`vit-base-patch16-224-in21k`模型，能够在CPU环境中高效检测图像、PDF、视频及压缩包内的不适宜内容。该工具支持API集成与Docker部署，具备多CPU加速特性，可实现快速且安全的本地化内容分类，广泛应用于社交媒体、内容共享平台、企业网络等多个领域。
AI项目与工具 2025年06月12日
天谱乐

天谱乐

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