搜索

1. 首页
2. 搜索

MMSearch

MMSearch 是一款用于评估大型多模态模型（LMMs）搜索能力的基准测试工具，包含 MMSearch-Engine 框架和 MMSearch 测试集。其核心功能包括问题重构、网页排序和答案总结，通过多模态搜索能力评估提升 LMMs 的性能。实验结果显示 GPT-4o 在该测试中表现优异，且增加计算量比扩大模型规模更具优势。

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

Jina AI

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

AI搜索问答 2025年06月05日 80 点赞 0 评论 448 浏览

ChatPods

ChatPods 是一款基于 AI 技术的播客平台，提供个性化推荐、内容摘要生成、实时问答、章节导航及智能搜索等功能。用户可在收听过程中与 AI 互动，快速获取信息并精准定位内容，适用于学习、娱乐、通勤等多种场景，提升播客收听效率与体验。

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

CodeCompanion

CodeCompanion是一款基于AI技术的编程助手，旨在提升开发者的编码效率和代码质量。它提供了AI驱动的集成开发环境（IDE），能够全面分析代码库并在任务执行前进行深度研究。CodeCompanion集成了终端、浏览器和Git，支持代码读写、自然语言搜索、错误修复及代码重构等核心功能，适用于代码开发、审查、维护以及项目管理等多种场景。

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

Stockio

Stockio提供成千上万的免费矢量图标、图片、视频和字体，设计师可以在这里找到丰富的设计素材。

免商图片 2025年06月05日 22 点赞 0 评论 442 浏览

灵办Ai

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

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

AI课代表-视频总结

专门为视频站打造的AI总结助手

Ai办公效率 1970年01月01日 0 点赞 0 评论 440 浏览

LeetTools

LeetTools是一款人工智能驱动的文档处理工具，支持知识库构建、文章生成和智能搜索等功能。用户可通过关键词快速生成分析报告、新闻聚合等内容，并自定义格式与结构。具备高度可定制性，支持多源数据整合与本地系统集成，适用于市场调研、内容创作及知识管理等场景。

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

OpusSearch

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

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

BFS

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

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