搜索
Semantic Scholar
Semantic Scholar 是一款基于人工智能的科学文献搜索引擎，通过自然语言处理技术理解论文语义，提供精准搜索结果。它具备论文检索、引用网络展示、相关文献推荐及摘要提取等功能，并拥有语义阅读器以优化阅读体验。Semantic Scholar 还为开发者提供API支持，广泛应用于学术研究、教育、跨学科探索和文献综述等领域，助力科研人员提升工作效率。
Blackbox AI
Blackbox AI是一款面向程序员的AI编程辅助工具，主要功能包括代码生成、自动补全、注释撰写、测试用例创建及实时网页搜索。通过与主流IDE的集成，Blackbox AI显著提升了开发效率，同时支持高级AI模型访问和文件批量处理，适用于多种开发场景，如快速原型开发、复杂代码补全和注释生成等。
TongGeometry
TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型，采用树搜索和神经符号推理技术，能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库，涵盖67亿个需辅助构造的定理，具备广泛应用场景，如数学竞赛、教育及研究领域，支持复杂几何问题的探索与教学资源开发。
Quanta Quest
Quanta Quest是一款基于开源技术的AI工具，通过RAG技术整合个人数据源（如Gmail、Dropbox、Notion等），提供智能化搜索功能。它强调数据隐私和本地化处理，支持多平台连接，可构建全面的知识库并提供个性化搜索体验。主要功能包括数据整合、AI驱动的智能搜索、隐私保护及多平台兼容性。
