搜索 - 智狐AI导航

Mem.Ai

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

Ai办公效率 2025年06月05日 41 点赞 0 评论 722 浏览

AdCreative.ai

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

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

Accio

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

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

灵办Ai

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

AI写作对话 2025年06月05日 44 点赞 0 评论 731 浏览

SearchAgent-X是由南开大学和伊利诺伊大学厄巴纳香槟分校（UIUC）研究人员开发的高效推理框架，旨在提升基于大型语言模型（LLM）的搜索Agent效率。通过高召回率的近似检索、优先级感知调度和无停顿检索等技术，显著提高系统吞吐量（1.3至3.4倍），降低延迟（降至原来的1/1.7至1/5），同时保持生成质量。该框架优化资源利用率，适用于智能客服、搜索引擎、企业知识管理等多种场景，为复杂A

AI项目与工具 2025年06月11日 56 点赞 0 评论 731 浏览

BFS

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

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