AI短视频制作程序是一种利用人工智能算法从文本、图像、音频或其他数据源自动生成视频的软件。这些程序通常提供了一系列功能，包括文生图、图生图、视频生成、风格定制、素材编辑和优化等，以帮助用户更快速、高效地创作出具有专业感的短视频内容。以下是一些流行的AI短视频制作程序：
Dreamina即梦：
字节跳动旗下的AI视频工具，支持文生图和图生图两种模式，能够根据用户输入的文本或图片自动生成视频内容，特别擅长处理动作幅度较大的视频生成任务。
可灵：
国产视频生成大模型，内置3D时空注意力机制，能够生成长达2分钟的1080p高清视频，支持多种宽高比的视频输出，并模拟真实物理世界中的物理现象，如光影效果和物体运动轨迹。
海螺AI：
由MiniMax公司开发的AI高清视频生成模型，支持生成720P、25fps的高清视频，具有电影感的镜头移动效果。
腾讯智影：
腾讯出品的一款云端智能视频创作工具，集素材搜集、视频剪辑、后期包装、渲染导出和发布于一体，提供从端到端的一站式视频创作服务。
一帧秒创：
基于秒创AIGC引擎的智能AI内容生成平台，提供文字续写、文字转语音、文生图、图文转视频等创作服务，能够快速成片，零门槛创作视频。
万彩AI：
集成AI智能算法的内容生产平台，可一键生成文字、图片和视频内容，提供视频剪辑制作工具和照片视频工具，支持多种创意视频制作。
万彩微影：
由多个视频工具组成的AI智能自动生成短视频合集，包括图片动画视频工具、文字视频工具、手绘视频工具等，支持各种创意动画短视频的制作。
Pictory：
强大的AI工具，只需输入文本，能够帮助用户创建和编辑专业质量的视频。
WOXO VidGPT：
整合了OpenAI的GPT语言模型，可以通过文本描述自动生成短视频，支持上传素材库，自动挑选匹配的图文、背景音乐等。
AI数字人：
根据用户提供的文本、音频或视频素材，自动生成相应的短视频，包括脚本生成、角色动画、场景设计等多个环节。
这些程序各有特色，用户可以根据自己的需求和技能水平选择合适的工具进行视频创作。对于初学者和需要快速生成视频的用户，这些AI短视频制作程序提供了极大的便利；而对于专业创作者，这些工具也能提供强大的辅助功能，帮助他们提高创作效率和质量。