AI - 智狐AI导航

360AI搜索

360AI搜索是一款集成人工智能技术的搜索引擎，专注于为用户提供更精准、全面且智能的搜索体验。它具备AI搜索、增强模式、智能排序和内容生成等功能，通过深度分析用户问题，从海量信息中提取最相关的内容，并生成逻辑清晰、有理有据的答案。

AI项目与工具 2024年01月01日 55 点赞 0 评论 531 浏览

StereoCrafter

StereoCrafter是一款由腾讯AI Lab与ARC Lab联合开发的创新性工具，可将传统2D视频转化为高质量的立体3D视频。它采用深度估计、视频变形及立体视频修复等关键技术，确保生成的3D视频具备高保真度和一致性。该工具广泛应用于影视制作、虚拟现实（VR）、增强现实（AR）、游戏开发等领域，为用户提供更加沉浸式的视觉体验。

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

Pitches.ai

一款AI驱动的工具，通过引人入胜的叙述增强方案内容的清晰度、结构和整体影响力，帮助简化和改进初创公司的融资方案，创建更易于理解和更具影响力的幻灯片。以吸引投资者的注意力。

创业营销 2025年06月05日 100 点赞 0 评论 531 浏览

Artguru Ai

一个免费在线的AI艺术生成器，用户只需输入一些词语或上传一张照片，就可以利用人工智能的魔力释放创造力，生成美丽的艺术作品。

Ai绘画生成 2025年06月05日 97 点赞 0 评论 532 浏览

BFS

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

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

AdCreative.ai

AdCreative.ai是一款基于人工智能技术的广告创意生成工具，能够自动生产高质量的广告文案、图片、视频等内容，支持多平台投放，包括Facebook、Google、LinkedIn等。其主要功能涵盖广告创意生成、品牌资料管理、竞争对手广告分析及批量素材制作，旨在帮助企业优化广告策略并提升广告表现。

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