搜索 - 智狐AI导航

Jina AI

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

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

Hika AI搜索引擎

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

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

FontSpace

fontspace目前收录了9万个免费英文字体，以及1.6万个可商用英文字体。

字体字库 2025年06月05日 13 点赞 0 评论 693 浏览

StockCake

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

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

DuckDuckGo

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

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

BFS

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

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