AI工具 - 智狐AI导航

Formularizer

Formularizer是一个功能强大的AI平台，帮助用户为Excel、Google Sheets、Notion等生成和解释公式。它通过快速将想法转化为公式并借助AI的帮助来节省时间，提高生产效率。

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

Cognita

Cognita是一个开源的模块化RAG框架，用于构建高效的问答系统和知识管理系统。它支持本地和生产环境部署，具备API驱动的架构、无代码UI、增量索引和多文档检索功能，适用于企业知识管理、客户支持、内容推荐等场景。开发人员可通过其模块化设计灵活扩展系统，非技术用户也可通过图形界面进行操作。

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

SimpleQA

SimpleQA是OpenAI开发的一个基准测试工具，用于评估大型语言模型在回答简短、事实性问题时的表现。它包含4326个问题，每个问题都有唯一的正确答案，并通过严格的验证流程确保质量。SimpleQA不仅能够测试模型的事实性回答能力，还能衡量其自我认知水平和校准能力，广泛应用于模型开发、学术研究及教育工具等领域。

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

DeepGEMM

DeepGEMM是DeepSeek开发的高效FP8矩阵乘法库，专为NVIDIA Hopper架构优化，支持普通与分组GEMM操作。采用即时编译技术，实现运行时动态优化，提升计算性能与精度。通过细粒度缩放和双级累加技术解决FP8精度问题，结合TMA特性提升数据传输效率。代码简洁，仅约300行，适用于大规模AI推理、MoE模型优化及高性能计算场景。

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

KAG

KAG是由蚂蚁集团开发的专业领域知识服务框架，通过知识增强技术提升大型语言模型在特定领域的问答性能。它结合知识图谱与向量检索，优化知识表示与推理过程，支持逻辑推理、多跳问答等功能，提升准确性和效率。适用于金融风控、医疗健康、智能客服、知识管理等多个场景，具备强大的语义理解和跨领域应用能力。

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

ScholarCopilot

ScholarCopilot是一款由加拿大滑铁卢大学与卡内基梅隆大学联合开发的学术写作辅助工具，基于Qwen-2.5-7B模型构建。其核心技术包括动态检索引用与生成内容联合优化，实现高准确性的学术文本生成。支持语境感知续写、章节自动生成、多语言写作、一键引用等功能，并具备错误检测与溯源验证能力。适用于论文撰写、教学、科研协作及期刊审稿等多种场景，显著提升学术写作效率与质量。

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