Stable Artisan Stable Artisan是一款基于Discord平台的图像和视频生成机器人服务,利用Stability AI的AI技术和模型,如Stable Diffusion 3和Stable Video Diffusion,使用户能够通过自然语言提示生成高质量的图像和视频。此外,它还提供了一系列图像编辑工具,包括搜索替换、背景去除、高清放大、扩展外延、控制素描和结构等功能,适用于创意人士、设计师、内容创作 AI项目与工具 2024年01月01日 46 点赞 0 评论 697 浏览
纸飞机AI 纸飞机AI是一款依托人工智能技术的虚拟陪伴应用,允许用户创建个性化AI智能体,提供情感支持、互动陪伴及社交体验。具备逼真的文本转语音功能,支持多角色选择和多样化的互动形式,包括朋友圈社交与角色对话创作。广泛应用于社交训练、情感支持、娱乐休闲及语言学习等领域。 AI项目与工具 2025年06月12日 89 点赞 0 评论 697 浏览
Hello History Hello History是一款基于AI技术的历史教育平台,通过模拟历史人物对话的形式,为用户提供沉浸式学习体验。它支持多领域历史人物互动,涵盖政治、经济、文化等领域,并具备个性化调整和教育辅助功能,旨在增强学生对历史的兴趣与理解,同时保护用户隐私。 AI项目与工具 2025年06月12日 96 点赞 0 评论 697 浏览
Product Hunt 一个集产品展示、社区互动和市场验证于一体的平台,Product Hunt让独立开发者有机会展示自己的作品和进行市场验证,让用户们有机会发现最新和最有趣的产品。 独立开发 2025年06月05日 32 点赞 0 评论 698 浏览
BFS BFS-Prover 是一种基于大语言模型的自动定理证明系统,通过改进广度优先搜索算法和长度归一化评分机制,提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构,支持复杂定理的高效验证,并与 Lean4 深度集成,确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域,推动了自动定理证明技术的发展。 AI项目与工具 2025年06月12日 75 点赞 0 评论 698 浏览
悬河 悬河是一款基于AI技术的虚拟角色社交平台,支持用户通过文字或语音与定制化的AI角色进行深度交流。其核心功能包括情感陪伴、IP互动、个性化角色定制、智能推荐和沉浸式聊天体验,广泛应用于情感支持、社交训练、心理辅导、生活助手及学习辅助等领域。 AI项目与工具 2025年06月12日 65 点赞 0 评论 699 浏览
TÜLU 3 TÜLU 3是艾伦人工智能研究所发布的开源指令遵循模型,提供8B、70B及未来的405B版本。它通过后训练技术显著提升了模型在数学、编程和推理等方面的表现,同时支持多种任务处理和创新的后训练方法,适用于自然语言处理、教育、编程开发及内容创作等多个领域。 AI项目与工具 2025年06月12日 88 点赞 0 评论 699 浏览
SynCD SynCD是由卡内基梅隆大学与Meta联合开发的高质量合成训练数据集,用于提升文本到图像模型的定制化能力。它通过生成同一对象在不同视角、光照和背景下的图像,结合共享注意力机制和3D资产引导,确保对象一致性。该数据集支持无调优模型训练,提升图像质量和身份保持能力,广泛应用于个性化内容生成、创意设计、虚拟场景构建等领域。 AI项目与工具 2025年06月12日 92 点赞 0 评论 701 浏览
Midjourney V7 Midjourney V7 是一款基于深度学习的 AI 图像生成工具,具备草稿模式、语音交互、实时编辑等功能,显著提升生成速度与图像质量。其支持个性化配置,可根据用户偏好优化输出结果,适用于艺术、设计、娱乐等多个领域。系统采用先进神经网络技术,实现文本到图像的精准转换,并提供多种运行模式以满足不同需求。 AI项目与工具 2025年06月12日 96 点赞 0 评论 702 浏览