工具
  1. 首页
  2. 工具

列表

Kimina

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。
AI项目与工具 2025年06月11日
HubSpot

HubSpot

HubSpot 是一款集市场营销、销售、客户服务和内容管理于一体的客户关系管理（CRM）平台，依托人工智能技术优化客户数据管理与业务流程。它提供从潜在客户捕捉到销售跟踪的全面解决方案，支持团队在客户旅程中协同工作。基础版和多种付费版本满足不同企业需求，帮助提升效率并实现客户价值最大化。
AI项目与工具 2025年06月12日
Kotae

Kotae

Kotae是一款专为中小企业设计的智能聊天机器人平台，基于ChatGPT技术开发，支持80多种语言，可快速自然地响应客户咨询。用户无需编程即可在5分钟内完成配置和部署，通过分析网站内容、培训材料和FAQ生成准确回答。支持品牌定制和实时对话管理，适用于自动化客户服务、提升满意度及收集客户反馈等场景。
AI项目与工具 2025年06月11日
DeepSeek百宝箱

DeepSeek百宝箱

DeepSeek百宝箱是DeepSeek官方维护的GitHub项目，集成了多种支持DeepSeek API的工具和应用，涵盖聊天、知识管理、开发等多个领域。提供开箱即用、详实文档、本地化支持及多平台兼容性，助力开发者高效使用语言模型，提升工作效率。支持模型训练、部署、监控全流程，具备低代码配置、智能上下文感知、毫秒级响应等特性，适用于办公、编程、内容创作等多种场景。
AI项目与工具 2025年06月12日
TryOffAnyone

TryOffAnyone

TryOffAnyone是一款基于Latent Diffusion Models技术的AI工具，专注于从人物照片中提取服装区域并生成平铺展示图。它具备在线图片处理、智能服装识别、背景去除和图像优化等功能，广泛应用于电商平台的商品展示、个性化推荐、库存管理和图像检索等领域，帮助提升用户体验和运营效率。
AI项目与工具 2025年06月12日
Pablo

Pablo

Pablo是一款AI驱动的网页设计工具，支持用户通过上传Logo快速生成品牌化网站，并提供无代码编辑功能。它能够自动匹配配色方案，支持在线定制与发布，同时具备图片制作能力，可生成符合社交媒体规范的图像内容。适用于品牌建设、个人展示及小型企业网站搭建等多种场景。
AI项目与工具 2025年06月11日
Company Research Agent

Company Research Agent

Company Research Agent是一款基于多智能体框架的公司研究工具，支持一键生成全面的公司研究报告。它从公司网站、新闻文章、财务报告和行业分析等多源数据中收集信息，并利用Gemini 2.0 Flash和GPT-4.1-mini模型进行高语境研究综合与精确报告格式化。该工具具备AI内容过滤功能，确保信息的相关性和准确性，并通过WebSocket实现实时进度更新，提升研究效率和用户体验
AI项目与工具 2025年06月11日
Quadratic

Quadratic

Quadratic是一款基于AI技术的电子表格工具，支持自然语言交互、智能图表生成、数据库查询优化及代码执行。它提供高效的数据处理能力，适用于数据分析、可视化及团队协作等场景，拥有免费版、专业版和企业定制版，满足不同用户需求。
AI项目与工具 2025年06月12日
FunGPT

FunGPT

FunGPT 是一款基于 InternLM2.5 大模型开发的开源工具，专注于情感互动与情绪调节。它包含“甜言蜜语模式”和“犀利怼语模式”，分别用于提升用户情绪和释放压力。项目采用轻量化模型与 AWQ 量化技术，兼顾性能与效率。适用于创意启发、娱乐互动等多种场景，适合对情感交互感兴趣的开发者和用户。
AI项目与工具 2025年06月11日
Podwise

Podwise

Podwise 是一款基于人工智能的播客知识管理工具，能够将播客内容转化为结构化的文字、总结和思维导图，帮助用户快速掌握核心信息。它支持全球范围内的播客搜索、多语言处理，并可与多种知识管理工具无缝衔接，适用于学习、研究、商业分析等多个场景。 ---
AI项目与工具 2025年06月12日