AI

1. 首页
2. AI

Kive

Kive是一个基于AI技术的创意内容生成平台，帮助品牌和创作者快速生成、管理和扩展符合品牌形象的视觉内容。用户通过文字描述即可生成高质量的图片和视频，支持将真实产品图片融入AI生成场景中，提升视觉吸引力。平台提供创意资产管理功能，自动分类和索引视觉资产，提升工作效率。Kive适用于社交媒体内容创作、广告制作、品牌推广、创意设计和产品展示等多种场景。

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

Kimina

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

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

Lovart AI

一个全球首个适用于设计目的的自适应设计AI智能体平台，能将创意转化为各类设计作品，如海报、故事板、品牌VI 等。

Ai绘画生成 2025年06月05日 83 点赞 0 评论 1088 浏览

Perplexity macOS客户端

Perplexity macOS 是一款基于人工智能技术的搜索工具，集成了大语言模型，支持实时联网搜索、多源内容整合及信息来源标注。其主要功能包括语音与文本输入、线索跟踪、历史记录查看及文件分析等，适用于深度研究、信息查询、知识管理和文件分析等多种应用场景，旨在提高用户的搜索效率和工作生产力。

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

Whisper Input

Whisper Input 是一款开源语音输入工具，基于 Python 和 OpenAI Whisper 模型开发，支持多语言语音识别与实时转录。用户可通过快捷键操作录音并生成文本，具备翻译、自动标点、高效处理及本地运行等功能。适用于会议记录、教育、智能交互及媒体制作等多种场景。

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

KAG

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

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

HiDream

HiDream-I1是一款由HiDream.ai团队开发的开源AI图像生成模型，具备17亿参数，支持多种图像风格生成，包括真实、卡通和艺术风格。其在提示词理解、细节渲染和图像一致性方面表现出色，适用于艺术创作、商业设计、教育科研等领域。模型采用扩散模型和混合专家架构（MoE），并集成多种文本编码器，实现高质量与高效率的图像生成。项目已在GitHub和HuggingFace开源，便于研究与应用。

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

AI看线（AI

一个结合K线图，技术指标，财务数据，新闻数据的AI股票分析及预测框架，利用AI对股票市场进行深入分析。

Ai开源项目 2025年06月05日 68 点赞 0 评论 1090 浏览

ResumeUp

ResumeUp是一款基于AI技术的简历生成与优化工具，支持对话式交互，提供多种模板和实时优化建议。具备ATS兼容性检测、简历润色、求职信生成、LinkedIn优化等功能，帮助用户提升简历质量，增强求职竞争力。适用于应届毕业生、求职者、职业转换者等多种用户群体，支持灵活管理求职进度。

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

一环AI

一环AI，擅长电商运营的人工智能创作平台,基于九年的电商服务经验，为电商应运而生的AI应用平台。

电商运营 2025年06月05日 95 点赞 0 评论 1091 浏览