搜索 - 智狐AI导航

Hika AI搜索引擎

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

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

百度搜索MCP广场

百度搜索MCP广场是百度搜索AI开放平台提供的MCP Servers集成平台，为开发者提供海量服务资源，涵盖搜索、地图、文件系统等多个领域。平台具备智能搜索与推荐功能，支持快速筛选和集成所需服务，提升开发效率。同时支持本地与云端部署，适用于AI应用开发、多模态生成、企业级解决方案及内容创作等多种场景。

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

Zilliz矢量数据库

支持十亿规模的矢量搜索，受到1000多家企业用户的信赖

创作工具 1970年01月01日 0 点赞 0 评论 473 浏览

TongGeometry

TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型，采用树搜索和神经符号推理技术，能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库，涵盖67亿个需辅助构造的定理，具备广泛应用场景，如数学竞赛、教育及研究领域，支持复杂几何问题的探索与教学资源开发。

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

360gpt2

360gpt2-o1是一款专注于数学与逻辑推理的人工智能大模型，具备强大的推理能力和深度学习能力。它通过合成数据优化、分阶段训练及“慢思考”范式提升了模型的表现，尤其在数学竞赛和基础数学评测中成绩显著。此外，模型还支持编程问题解决、复杂问题分析及教育领域应用，为企业决策提供逻辑支持。

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

FreeAskInternet

FreeAskInternet是一款免费开源的本地AI搜索引擎，集成了先进的大型语言模型和元搜索引擎，支持本地化搜索聚合和智能答案生成。它确保用户数据的私密性和安全性，无需GPU支持即可运行，并提供自定义的大型语言模型选项。此外，FreeAskInternet具备友好的用户界面，可通过简单的部署流程快速搭建。

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