搜索

Firesearch

Firesearch 是 Mendable AI 团队推出的 AI 驱动的深度研究工具,基于 Firecrawl 多源网络内容提取技术和 OpenAI GPT-4o 的搜索规划与内容生成能力,能够将复杂查询分解为子问题进行搜索和内容提取。它支持答案验证、自动重试、实时进度更新、完整引用和上下文记忆等功能,帮助用户高效获取准确、全面的研究结果。工具基于 Next.js 15 构建,提供现代化的开发体

Decktopus | PPT生成工具

Decktopus是一种全新的在线演示工具,让您在最短的时间内打造完美的演示,让您能够专注于演讲的内容,而不必费时费力地操心设计。

阶跃星辰推出移动端AI智能问答助手跃问APP

跃问是一款基于阶跃星辰Step系列通用大模型开发的移动应用,具备强大的文本和图像处理能力,能够高效完成内容创作、逻辑推理、数据分析等任务。该应用支持联网搜索、文档解析、推理速度优化,并具备拍照识图和语音输入功能。跃问还提供了高效阅读、智能问答、写作翻译和多端同步等功能,为用户提供便捷的信息获取和处理体验。

代悟

代悟是一款基于深度学习技术和知识图谱的智能AI搜索引擎,专注于为开发者提供高效、精准的技术支持。它能够解析复杂的技术问题,提供代码示例、文档检索、错误诊断及性能优化建议等功能。代悟支持多语言开发环境,适用于代码开发、问题解决、技术学习及项目规划等多个场景。

AdCreative.ai

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

Accio

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

EmojiClick

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

Mem.Ai

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

BFS

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