TongGeometry TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型,采用树搜索和神经符号推理技术,能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库,涵盖67亿个需辅助构造的定理,具备广泛应用场景,如数学竞赛、教育及研究领域,支持复杂几何问题的探索与教学资源开发。 AI项目与工具 2025年06月12日 38 点赞 0 评论 424 浏览
Refly Ai 一款基于自由画布构建的AI原生内容创作平台,通过多线程对话、知识库整合、上下文记忆、智能搜索和AI文档编辑器等功能,轻松将想法转化为优质内容。 AI写作对话 2025年06月05日 79 点赞 0 评论 424 浏览
Hika AI搜索引擎 一款免费的知识获取AI搜索引擎,HIKA为你探索世界提供全新的方式与思路,你提出问题,HIKA会实时搜索网络,深度思考并给出答案。 AI搜索问答 2025年06月05日 44 点赞 0 评论 424 浏览
Kotaemon Kotaemon 是一款基于RAG技术的开源工具,支持用户通过自然语言与文档进行互动,从而实现高效的信息检索和理解。它支持多种语言模型,包括OpenAI、Azure OpenAI和Cohere等,提供简易的安装脚本。Kotaemon 还支持多用户协作、文档管理和复杂的推理方法,并允许用户自定义UI元素。其主要功能包括基于RAG技术的问答系统、多语言模型支持、文档管理、混合RAG管道、多模式问答支持 AI项目与工具 2025年06月12日 30 点赞 0 评论 423 浏览
Scispace SciSpace是一款基于人工智能的工具,帮助用户理解和分析科学研究论文。它提供了高亮文本、提问、提取解释和摘要以及进行文献综述等功能。 AI写作对话 1970年01月01日 0 点赞 0 评论 423 浏览
Darwin模型 Darwin模型是一个专门为自然科学领域(尤其是物理、化学和材料科学)设计的大语言模型(LLM),只要通过整合结构化和非结构化的科学知识,提升语言模型在科学研究 Ai平台模型 2025年06月05日 19 点赞 0 评论 419 浏览
Course Hero Course Hero 是一款专为大学生设计的教育平台,提供包括练习题、学习指南、课堂笔记和视频在内的丰富学习资源。它利用AI技术辅助学习,提供文档共享、个性化推荐和在线辅导等功能。平台还支持移动应用,便于学生随时获取学习支持。 AI项目与工具 2025年06月12日 47 点赞 0 评论 419 浏览
FullStack Bench FullStack Bench是一款由字节跳动与M-A-P社区联合推出的专业代码评估工具,主要针对全栈编程和多语言编程能力进行评估。它包含11种真实编程场景、3374个问题以及16种编程语言,具备全面评估、多语言支持、实际场景模拟、代码质量控制等特点,适用于代码智能评估、教育与培训、研究开发、软件测试及多语言编程能力评估等多个场景。 AI项目与工具 2025年06月12日 40 点赞 0 评论 413 浏览
Bilin AI 一款由沉浸式翻译团队开发的跨语言AI搜索引擎,这个Bilin AI搜索引擎能让你用中文找德语资料,看英文结果。 AI搜索问答 2025年06月05日 43 点赞 0 评论 413 浏览
Content At Scale 一个强大的AI SEO写作工具,它通过自动化和优化的内容创作流程,帮助营销人员和企业主提高在线可见性和品牌影响力。它的深度研究功能和多语言支持使其成为全球营销人员的强大工具。 流量变现 1970年01月01日 0 点赞 0 评论 412 浏览