搜索

1. 首页
2. 搜索

BFS

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

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

CODE GIST

一个代码片段管理工具，CODE GIST可以帮助您存储、组织和分享代码片段，高效地管理和检索常用代码片段，提高开发效率。

Ai编程建站 2025年06月05日 100 点赞 0 评论 686 浏览

Jina AI

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

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

DuckDuckGo

一个搜索引擎，可作为移动浏览器应用程序和桌面扩展程序使用，DuckDuckGo不会跟踪你的搜索或浏览历史记录，并会阻止其他公司跟踪你。

Ai学习资源 2025年06月05日 33 点赞 0 评论 688 浏览

StockCake

一个免费的AI生成的图库，提供各种各样的高质量图片供商业和个人使用。StockCake所有照片都完全免费且属于公共领域。

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

Hika AI搜索引擎

一款免费的知识获取AI搜索引擎，HIKA为你探索世界提供全新的方式与思路，你提出问题，HIKA会实时搜索网络，深度思考并给出答案。

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

代悟

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

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

Firesearch

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

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

Decktopus | PPT生成工具

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

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

短剧搜

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

影视资源 2025年06月05日 21 点赞 0 评论 699 浏览