搜索

BFS

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

灵办Ai

一款能解决翻译、对话、写作、阅读、信息获取、笔记、画图等需求的工具。

360AI搜索

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

EmojiClick

一款基于AI的emoji搜索工具,EmojiClick可以帮助用户更轻松地找到最贴切的表情符号。

短剧搜

一个专注于短剧搜索的引擎,提供丰富的网盘资源搜索功能,支持百度网盘、阿里云盘、夸克云盘等网盘资源的全文检索,短剧搜索,影视搜索。

AdCreative.ai

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

Accio

Accio是一款基于AI技术的B2B对话式搜索引擎,通过多语言支持和智能筛选功能,为用户提供精准的供应商和商品推荐。它具备对话式搜索、实时数据分析、多语言兼容等特性,广泛应用于跨境采购、市场调研、价格比较及供应链管理等领域,帮助企业优化采购流程并提升运营效率。

OpusSearch

OpusSearch 是一款由 OpusClip 推出的 AI 视频搜索工具,支持用户按主题、演讲者或对象快速检索视频内容并实现再利用。该工具帮助创作者构建主题频道,响应热点趋势,并将旧视频转化为新内容。同时支持跨平台分发和自动化剪辑,提升内容运营效率,适用于内容创作、教学资源管理、品牌推广等多个场景。

Mem.Ai

一个利用人工智能来组织团队工作的高效平台,用于高效存储和搜索会议记录和议程,协作项目管理,以及建立和维护知识库。

Jina AI

一家一家专注于神经搜索技术的商业开源软件公司,Jina AI致力于通过深度学习技术简化非结构化数据的搜索,提供高效、准确的搜索解决方案。