搜索

灵办Ai

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

短剧搜

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

码多多ChatWork知识库系统

码多多ChatWork智能知识库,可以进行AI对话、AI应用,拥有强大的第三方对接能力。适用企业智能客服、企业智能文档、专家顾问助理等多种企业级商业场景,具有较大的商业使用价值。

Firesearch

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

Ai2 Paper Finder

一款由艾伦AI研究所发布的基于LLM的文献搜索系统,Ai2 Paper Finder采用迭代式搜索方式,能模仿人类查找文献的过程,帮助用户发现小众、难找的论文。

Jina AI

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

Pickupimage

一个专注于提供高品质自然景观和户外摄影类图片的免费商用图库网站,Pickupimage收录大量摄影师投稿的图片,适用于自媒体、UI设计、广告物料、以及各种商业用途。

BFS

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

发现报告

国内最权威的行业研究报告数据平台之一,发现报告收录了海量的行业报告、公司研究报告和券商研报,用户可以免费阅读和下载这些报告。平台提供智能分类搜索和全文关键词匹配功能,支持PDF和Word格式下载。

Mem.Ai

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