AI

1. 首页
2. AI

BFS

BFS-Prover 是一种基于大语言模型的自动定理证明系统，通过改进广度优先搜索算法和长度归一化评分机制，提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构，支持复杂定理的高效验证，并与 Lean4 深度集成，确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域，推动了自动定理证明技术的发展。

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

SermonGPT

SermonGPT 根据提示和其他细...

Ai科技公司 2026年07月04日 0 点赞 0 评论 626 浏览

Prisma

Prisma是一款照片编辑工具，用户可以轻松地将照片转换成数字艺术。

Ai绘画生成 2026年07月04日 0 点赞 0 评论 626 浏览

DD星球

DD星球是一款基于AI技术的虚拟社交应用，用户可通过该平台创造并定制专属的AI伙伴，实现个性化的声音设置、实时语音交流以及数字宇宙的设计。此外，它还支持社交互动，帮助用户拓展社交圈，满足情感陪伴和娱乐休闲的需求。

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

logopony

Logopony是一个AI驱动的在线Logo设计生成工具，它可以帮助用户快速生成专业的Logo设计。

图片处理 2025年06月05日 37 点赞 0 评论 626 浏览

VirtualWife

VirtualWife 是一款基于人工智能技术开发的虚拟角色项目，集成了自然语言处理、语音识别与合成、机器学习等功能，支持跨平台运行和个性化定制。其主要应用场景包括个人陪伴、心理健康辅导、在线教育、客户服务、娱乐互动和直播带货，致力于为用户提供智能化、多样化的交互体验。

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

Composer

一个交易平台和投资应用程序，Composer使用户能够在无需编码的情况下构建和执行交易算法。

财经投资 2025年06月05日 54 点赞 0 评论 626 浏览

Eagle

Eagle是一个由英伟达开发的多模态大模型，专长于处理高分辨率图像，提高视觉问答和文档理解能力。该模型采用多专家视觉编码器架构，通过简单的特征融合策略实现图像内容的深入理解。Eagle模型已开源，适用于多个行业，具有高分辨率图像处理、多模态理解、多专家视觉编码器、特征融合策略和预对齐训练等特点。

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

CreatorKit

CreatorKit是一款基于AI技术的视觉内容创作工具，支持图片、视频及广告的智能生成与编辑。其核心功能包括AI图像生成、视频制作、品牌定制、多平台适配等，适用于电商、社交媒体及广告行业。用户可通过简单指令完成内容创作，提升效率并优化视觉呈现。提供多种订阅方案，满足不同规模企业的需求。

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

PIA

PIA是一款个性化图像动画生成器，可以生成具有高运动可控性和强文本和图像对齐性的视频，与条件图像对齐，通过文本实现动作控制，与各种个性化T2I模型兼容，无需特定调整。

Ai开源项目 2025年06月05日 51 点赞 0 评论 626 浏览