工具

1. 首页
2. 工具

ArtiPro

ArtiPro，一款集prompt搜索、Al图库、AI创作等为一体的在线产品。

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

OpenAI o4

OpenAI o4-mini 是一款高性能、低成本的小型推理模型，专为快速处理数学、编程和视觉任务优化。它具备多模态能力，可结合图像与文本进行推理，并支持工具调用以提高准确性。在多项基准测试中表现优异，尤其在数学和编程领域接近完整版模型。适用于教育、数据分析、软件开发及内容创作等多个场景，是高效率与性价比兼备的AI工具。

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

Kimina

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

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

AIGIF

AIGIF是一款基于AI技术的个性化GIF制作工具，允许用户通过上传自拍照，将自己的面部特征无缝嵌入到各种GIF动画中，生成具有高度真实感和娱乐价值的表情包。其核心功能包括智能人脸交换、快速生成、高保真图像质量和丰富素材库。平台注重隐私保护，并提供免费与付费两种订阅模式以适应不同用户需求。

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

Learn Prompting

Learn Prompting 是一个开源平台，致力于教授 AI 提示工程相关知识，涵盖从基础到高级的内容。其主要功能包括智能推荐、深度解析、模拟对话、学习进度跟踪等，同时提供体系化课程及实际应用场景案例。该工具适用于教育、语言学习、内容创作、数据分析等多个领域，助力用户提升 AI 技术的应用能力。

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

新言意码

新言意码是一家专注于AI编程应用开发的科技公司，提供代码生成、补全、审查、优化、测试及智能搜索等功能，支持多语言开发。其产品适用于软件开发、教育学习、代码维护、团队协作及快速原型构建等多种场景，旨在提升开发效率和代码质量。公司成立于2024年，已获得多轮投资，估值达8000万美元。

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

BlogSEO AI

用AI生成带内链和图片的SEO优化的Blog

流量变现 2026年06月29日 0 点赞 0 评论 895 浏览

EliGen

EliGen是由浙江大学与阿里巴巴集团联合开发的实体级可控图像生成框架，采用区域注意力机制实现对图像中实体的精确控制，支持多实体修复、风格化生成及交互式编辑。基于50万高质量注释样本训练，具备强大泛化能力，适用于虚拟场景、角色设计、数据合成及产品展示等场景。

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

HouseCrafter

HouseCrafter是一款基于2D扩散模型的AI工具，可将平面图自动转换为高质量的3D室内场景。它具备多视图图像生成、全局一致性保障及用户交互编辑等功能，广泛应用于建筑设计、室内设计、房地产营销等领域，有效提升了虚拟环境创建的效率与准确性。

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

Vid2World

Vid2World是由清华大学和重庆大学联合开发的创新框架，能够将全序列、非因果的被动视频扩散模型（VDM）转换为自回归、交互式、动作条件化的世界模型。该模型基于视频扩散因果化和因果动作引导两大核心技术，解决了传统VDM在因果生成和动作条件化方面的不足。Vid2World支持高保真视频生成、动作条件化、自回归生成和因果推理，适用于机器人操作、游戏模拟等复杂环境，具有广泛的应用前景。

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