搜索
  1. 首页
  2. 搜索

列表

LeetTools

LeetTools

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

Perplexity Deep Research

Perplexity Deep Research 是一款基于 AI 的深度研究工具，能执行多轮搜索并整合海量信息，生成结构化研究报告，支持多种格式导出。具备强大的推理能力与高效处理速度，适用于金融、市场、技术等多个领域，也可用于个人场景。在准确性方面优于多个主流模型，提供免费与付费两种使用模式。
AI项目与工具 2025年06月12日
腾讯混元T1

腾讯混元T1

T1（Thinker）是腾讯混元推出的深度思考模型，支持逻辑推理与联网搜索，具备高速响应和长文本处理能力。采用Hybrid-Mamba-Transformer架构，提升推理效率与准确性。适用于教育、医疗、市场分析等多个领域，输出简洁、幻觉低，适合复杂指令处理和多任务场景。
AI项目与工具 2025年06月12日
Shallow Research

Shallow Research

Shallow Research 是一种基于“小模型+大模型”架构的快速信息处理工具，能够在短时间内完成大量网页内容的搜索、整理和初步分析，适合需要高效获取信息和生成初步结论的场景，提升研究与决策效率。
AI项目与工具 2025年06月12日
TongGeometry

TongGeometry

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

KnowS

KnowS是一款面向医学领域的AI搜索引擎，结合医学知识图谱与大语言模型技术，提供精准、高效的医学信息支持。主要功能包括提问式搜索、AI精读、文献分析、专题报告生成及智能诊断辅助，适用于临床、科研与医学教育场景，支持中英文双语输出，提升医学知识获取与处理效率。
AI项目与工具 2025年06月12日
BFS

BFS

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

SEO AI Agent

SEO AI Agent 是一款基于人工智能的自动化 SEO 工具，提供关键词研究、内容优化、竞争对手分析、技术审计等功能，支持多平台数据集成，生成精准分析报告，提升网站搜索排名。适用于数字营销团队、电商网站、内容创作及中小企业，实现高效、低成本的 SEO 管理。
AI项目与工具 2025年06月12日
Shandu

Shandu

Shandu 是一款基于 LangChain 和 LangGraph 技术的开源 AI 研究自动化工具，支持多引擎搜索、递归探索和智能网页爬取，能自动生成结构化研究报告。用户可通过命令行输入主题并设置参数，快速输出包含引用的 Markdown 格式文档。适用于学术研究、市场分析、技术探索及教育等多个领域，具备高度灵活性和信息处理能力。
AI项目与工具 2025年06月12日
馆长

馆长

馆长是一款基于RAG技术的浏览器插件式AI问答工具，支持本地知识库管理，可导入PDF、Word、网页等内容，通过语义搜索提供精准答案。所有数据存储于本地，保障隐私安全，支持离线使用。具备中英文搜索、无限文档导入、多平台集成等特性，适用于个人知识管理、企业内部知识库、在线学习及图书馆服务等场景。
AI项目与工具 2025年06月12日