runway教程

Runway 是一个针对视频创作者需求，提供 AI 辅助工具的平台，如视频编辑、绿幕移除、图像修复和运动跟踪等。目前尚未看到针对游戏领域类似 Runway 的套件出现，但此领域正在积极开发中。此外，关于华人数学家陶哲轩在天空之城的探索模式，他详细记录了使用 Blueprint 在 Lean4 中形式化证明的过程，强调了正确使用 AI 工具的重要性。利用 Blueprint 工具，陶哲轩团队分解证明过程，通过众多贡献者并行工作成功形式化了 PFR 猜想。陶哲轩认为形式化证明的主流化或创造既人类可读又机器可解的证明，将数学演变成一种高效的编程。2000 多年来，欧几里得的文本一直是数学论证和推理的范式，到 20 世纪以后，数学家们开发了正式的系统，最近，开源证明助手系统 Lean 再次引发大量关注，陶哲轩成功地用 AI 工具完成了形式化多项式 FreimanRuzsa 猜想证明过程的工作，并再次呼吁数学研究者学会正确利用 AI 工具。

以下是关于 runway 视频转绘的用法： 转绘教程（Ebsynth Utility）： 选择前面模糊的片段，点击 DELETE 键或退格键删除。处理完视频后，点击右上角的导出按钮导出新视频，注意导出名称最好使用英文。 注意事项： 校准：有时下载的视频可能不是标准比例，需用剪影处理。若不处理，由于 SD 图片绘制分辨率按 8 的倍数增加，即使绘制时按原视频分辨率，最后视频合成仍可能报错，一定要检查。 视频缩小：老板给的 4K 视频，SD 最大只能完成 20482048 的绘制，往上无法完成且制作时间大幅上升。 分辨率模糊的视频：若客户要求强烈，可先提升分辨率（推荐使用 TopazVideoAI 插件），不行则放弃。 图片生成视频： 进入 runway 官网首页，点击 start with image，然后直接将图片拖进来。 动画幅度尽量用 3、5，有时会乱跑。 不需要等进度条转完，可以直接继续往里放图片，可同步执行。 直接点删除，然后重新上传下面的图即可（最多可放数量可自行测试）。 图生视频（常规方法）： 以汽车内饰片段为例，登录 runway 账户后，在首页左侧点击“Text/Imagine to Video”（文生视频/图生视频）。 点击 2 处将汽车内饰的图片上传到 runway 中。 1 处可更改生成图片所用到的大模型版本，数字越大代表模型越强，目前只有 Gen2 每天有免费额度。 3 处用于输入提示词。 4 处可以修改生成的视频时长为 5s 或 10s，时长越长，生成的效果可能越不稳定。 5 处可以看到生成的结果。 提示词方框中输入的运镜方式“Roll Clockwise Shot slowly”，即摄像机围绕垂直轴顺时针旋转。不想动脑的话，每个片段的运镜方式根据分镜表的建议来即可。运镜提示词可参照： 。 很多时候提示词过多，生成的视频会很怪异，改变提示词，改变生成时长，多抽卡几次，毕竟 runway 会员可以无限抽卡。

以下是关于 Runway 提示词的相关内容： 1. 有提示语为“Handheld camera movement:Dynamic motion captures a man sprinting towards the diverging paths of an underground cavern.As he reaches the crossroads,the camera lingers on his contemplative expression,highlighting the uncertainty of his choice.Additional details include the rugged texture of the cave walls and the dim,flickering light casting long shadows,creating a suspenseful atmosphere.”，对此的吐槽是没太感受到手持镜头的紧张感，正常人逃命不会贴着边缘跑，人物的手不能细看，只有几根手指；优点是紧张的神情传达出来了，画面也比较干净。 2. Runway gen3 模型有新功能，如“文本标题卡”功能，可仅通过提示词生成带有指定字母的视频。有分享“Runway 生成文字视频提示词扩展器初版 Prompt”和“Runway 生成文字视频提示词扩展器英文版 Prompt”，并提到由于不确定 Runway 做意图识别所用的大模型及对中文语义的理解情况，喂给 Runway 的提示词能用英文尽量用英文，还提到用 Claude3.5 生成后基本不用修改可直接用于 Runway，而国产大模型对英文的理解相对不够地道。参考链接：https://waytoagi.feishu.cn/wiki/Kfliw2UzZigKhgkeOBJcwxRTn8f

以下是关于 Runway、可灵和 HeyGen 的教程信息： Runway 教程： 官方使用教程：https://academy.runwayml.com/ 知识库详细教程：https://waytoagi.feishu.cn/wiki/Eun9wqDgii1Q7GkoUvCczYjln7r 支持文生视频、图生视频、视频生视频。 文生视频支持正向提示词、风格选择、运镜控制、运动强度控制、运动笔刷（https://academy.runwayml.com/gen2/gen2motionbrushinterface），支持 16:9、9:16、1:1、4:3、3:4、21:9 尺寸，可设置种子值。 图生视频、视频生视频除了尺寸不可选以外，其他跟文生视频基本相同。 生成好的视频可以延长时间，默认生成 4s 的视频。 可灵教程：https://waytoagi.feishu.cn/wiki/GevKwyEt1i4SUVk0q2JcqQFtnRd HeyGen 教程：暂未获取到相关教程信息。

Runway, Midjourney, Pika, 和 Pixverse 是几种不同的工具和平台，它们在脚本生成视频方面各有特点和优势。以下是它们在这方面的一些主要区别和特点： 1. Runway 简介：Runway 是一个提供多种AI工具的平台，涵盖从图像生成到视频编辑的广泛应用。 功能特点： 视频编辑和生成：Runway 提供基于AI的工具，用于视频特效、自动抠像和视频风格转换。 文本生成视频：可以输入脚本或描述，生成与之匹配的动画或视频片段。 集成与兼容性：兼容多种创作工具和平台，如 Adobe After Effects。 适用场景：适合需要集成多个AI工具来创建复杂视频效果的专业创作者和团队。 2. Midjourney 简介：Midjourney 专注于通过AI生成图像，但它的核心技术和理念可以应用于视频生成。 功能特点： 图像生成：以生成高质量、艺术风格的图像而著名，可以根据文本描述生成图像。 视频生成：虽然主要以图像生成为主，但可以通过序列化图像生成动画效果。 社区驱动：活跃的社区和用户群体，提供大量创意和灵感。 适用场景：适合需要高质量、艺术风格的图像或图像序列来制作视频的创作者。 3. Pika 简介：Pika 是一个AI驱动的视频生成工具，专注于从脚本生成短视频。 功能特点： 自动视频生成：输入文本脚本，AI自动生成与之匹配的视频片段。 模板和自定义：提供多种模板和自定义选项，适合快速生成营销、教育等领域的视频内容。 易用性：界面简洁，操作简便，适合没有视频编辑经验的用户。 适用场景：适合需要快速生成内容视频的营销人员、教育者和小型企业。 4. Pixverse 简介：Pixverse 专注于利用AI技术生成和编辑视频内容。 功能特点： 视频编辑工具：提供多种AI驱动的视频编辑工具，包括自动剪辑、风格转换等。 文本到视频：能够根据输入的文本或脚本，生成相应的视频内容。 智能推荐：基于用户的输入和历史数据，智能推荐视频剪辑和特效。 适用场景：适合需要强大视频编辑功能和智能推荐系统的专业创作者和内容制作团队。 总结比较 | 平台/工具 | 主要功能 | 特点 | 适用场景 | ||||| | Runway | 多种AI工具，视频编辑 | 兼容性强，专业工具多 | 专业创作者，复杂视频效果 | | Midjourney | 图像生成，艺术风格 | 高质量图像生成，社区活跃 | 艺术风格视频，图像序列动画 | | Pika | 自动视频生成 | 简便易用，多模板 | 营销、教育，小型企业 | | Pixverse | 视频生成与编辑 | 强大编辑功能，智能推荐 | 专业内容制作，智能编辑 | 选择建议 如果你需要多功能的专业工具，适合复杂视频效果的创作，Runway是一个不错的选择。 如果你追求高质量的艺术风格图像并希望将其应用于视频，Midjourney可以满足你的需求。 如果你需要快速生成营销或教育视频，操作简便，Pika是一个很好的选择。 如果你需要强大的视频编辑功能和智能推荐系统，Pixverse是理想的工具。 每个工具都有其独特的优势和应用场景，根据具体需求选择合适的工具，可以更高效地实现视频创作目标。

我总结了 Runway 的主要使用方式如下： 1. 文生视频 在 Runway 的界面上，选择"Start with Text"选项 输入文本提示词，Runway 会根据提示生成相应的视频内容 2. 图生视频 在 Runway 的界面上，选择"Start with Image"选项 上传图像，Runway 会根据图像生成相应的视频内容 3. 图文生视频 在 Runway 的界面上，选择"Start with Text & Image"选项 输入文本提示词，并上传相关图像，Runway 会根据二者生成视频 4. 参数调整 Runway 提供了多种参数可以调整，如插帧、分辨率、摄像机运动等 通过调整这些参数，可以控制生成视频的效果 5. 免费试用 Runway 提供了免费试用的功能，新用户可以免费生成一定数量的视频 如需更多功能，可以选择付费的专业版或团队版 总的来说，Runway 是一款基于 AI 的视频生成工具，支持文本、图像或二者结合的输入方式，并提供了丰富的参数调整功能。用户可以通过免费试用的方式体验 Runway 的使用。

以下是用 AI 制作优美歌曲的相关工具软件及使用教程： 工具软件： 1. Udio：由前 Google DeepMind 工程师开发，通过文本提示快速生成符合用户音乐风格喜好的高质量音乐作品。网址：https://www.udio.com/ 2. Suno AI：是一款革命性的人工智能音乐生成工具，它通过先进的深度学习技术，能够将用户的输入转化为富有情感且高质量的音乐作品。网址：https://suno.com/ 使用教程： 1. 导出时间轴歌词：使用剪映（剪辑软件），其导出时间轴歌词的功能位置如下图所示。 2. 音乐分轨：可以使用腾讯 QQ 音乐旗下的 TME Studio，支持一键分轨，再将分轨好的音频文件进行全部导出。TME Studio 网站链接：https://y.qq.com/tme_studio/ 3. 音频编辑：对于分轨好的视频，可以导入 Adobe Audition 进行编辑。有编曲经验的同学可以自由发挥，没有编曲经验的小白可以打开电脑的录屏工具，录制歌曲的工程文件，上传提供创作证明。 4. 准备音频素材： 使用干声转换时，在软件中分别导入人声干声和伴奏，放在两个轨道上。干声用于转成 MIDI 做 AI 演唱。 男歌女唱或者女歌男唱时，在导入前先进行变调。常用的工具包括 TME Studio（腾讯音乐开发的 AI 音频工具箱，其中最常用的是音频分离，可用于将人声和伴奏从歌曲中提取出来。地址：https://y.qq.com/tme_studio/index.html/editor）和 Vocalremover（包含音频分离、变调、BPM 查询等功能，使用较多的是变调和 BPM 查询。建议在准备素材阶段，就将音频调整到所需调，并获取到 BPM。地址：https://vocalremover.org/zh/keybpmfinder） 关于申请网易云音乐人和上传音乐，只提供了认证成功的方法和过程，不能确保所有人都能成功，这是一个概率性的问题。此外，根据 AI 创作目前的特殊性，会在平台上声明此音乐为 AI 创作，并且也绝对支持尊重所有原创作品，也希望平台能尽快开辟一个 AI 创作的专区，可以提供一个容纳并保护所有群体的不同板块。

以下是关于 ComfyUI Flux 的教程： 安装及使用： 模型放置： t5xxl_fp16.safetensors：放在 ComfyUI/models/clip/目录下。 clip_l.safetensors：放在 ComfyUI/models/clip/目录下。 ae.safetensors：放在 ComfyUI/models/vae/目录下。 flux1dev.safetensors：放在 ComfyUI/models/unet/目录下。 下载地址： 如果 GPU 性能不足、显存不够，底模可以使用 fp8 的量化版模型，速度会快很多，下载地址：https://huggingface.co/Kijai/fluxfp8/tree/main 工作流下载：上面提供的工作流复制即可，或者使用官方原版的图片链接 https://comfyanonymous.github.io/ComfyUI_examples/flux/flux_dev_example.png ，将工作流或图片拖拽到 ComfyUI 里。 ComfyUI 共学相关： 插画提效成果显著，原本需要 200 人美术团队一年多完成的 1 万多张动画插画，最终不到 10 人用半年完成。 课程从零基础开始，从认识 config、UI 及行业概念讲起，逐步深入到环境部署、底层技术概念、提示词等内容。 介绍 config 牛角尖大王系列，包括 control net、IP Adapter、图像放大、mask 等部分，阐述了它们的作用和玩法。 具备搭建复杂工作流能力，学习相关知识后初步具备搭建复杂工作流能力，会拆解分析网上热门工作流。 解决 config UI 报错问题，报错问题可分为网络、模型、工作流搭建、环境等方面，安装新插件时可参考项目地址的 requirement 文档。 规划实战案例思路，目前想到了三个实战案例的思路。 关于 config UI 生态及相关技术的分享，郭佑萌介绍课程提纲，包括课程可能的扩充、回顾总结及重点讲解 Flux 模型，实际课程不严格按大纲走，会根据大家接受程度和安排进行共学。

以下为您提供两份快速入门 AI 的教程： 《写给不会代码的你：20 分钟上手 Python + AI》 在深入学习 AI 时，许多朋友因需要编程而感到困难，且各类教程默认会打命令行，导致入门不易。此教程旨在让大家更快掌握 Python 和 AI 的相互调用，在接下来的 20 分钟内，您将循序渐进地完成以下任务： 1. 完成一个简单程序。 2. 完成一个爬虫应用，抓取公众号文章。 3. 完成一个 AI 应用，为公众号文章生成概述。 《AI 线上绘画教程》 如果您在工作中需要大量图片，AI 生图是高效的解决办法。主流工具如 midjourney（MJ）付费成本高，stable diffusion（SD）硬件门槛不低，但还有像这样的免费在线 SD 工具网站。此教程就是解决不会使用这些工具的问题，从开始探索到写完前两篇教程仅 10 天，说明入门不难。

以下是关于 Cursor 的教程： 模型选择： 在 AI 输入框下方，有一个下拉列表，允许您选择要使用的模型。默认情况下，Cursor 已准备好使用以下模型： cursorsmall：这是 Cursor 的自定义模型，不如 GPT4 智能，但速度更快，用户可无限制访问。您还可以在 Cursor Settings > Models > Model Names 下添加其他模型。 从 VS Code 迁移： Cursor 是 VS Code 的一个分支。这使我们能够专注于使用 AI 编写代码的最佳方式，同时提供熟悉的文本编辑体验。 您可以通过单击右上角的齿轮按钮、按 Ctrl/⌘ + Shift + J 或 Ctrl/␣ + Shift + P 并键入 Cursor Settings 来打开光标特定设置窗格。也可以使用 Ctrl/⌘ + Shift + P，然后键入 VS Code Settings 来打开 VS Code 特定设置。 产品特点与应用： Cursor 是一个集成了 claude3.5sonnet、GPT4 等多个模型的编辑器，国内可以直接使用，支持多种语言（如 python、java、C等），也支持在多平台安装。可用于聊天、辅助写代码、辅助写作等功能，能更好地为开发者服务。 它继承了 vscode 的强大功能和用户界面，几乎一模一样，还深度集成了 gpt 等大模型，无缝融入了包括 IntelliJ IDEA、Visual Studio Code 和 GitHub 在内的主流开发环境和代码库中。具有体量小、启动快、编程效率高的优点。 Anysphere 公司的客户群已拓展到像 OpenAI、Midjourney、Perplexity 等知名大企业。价格方面，Cursor 目前提供了 3 种订阅模式。

以下是一些系统的 AI 相关视频教程资源： 关于 stable diffusion 的教程： 「AI 绘画」软件比较与 stable diffusion 的优势 「AI 绘画」零基础学会 Stable Diffusion 「AI 绘画」革命性技术突破 「AI 绘画」从零开始的 AI 绘画入门教程——魔法导论 「入门 1」5 分钟搞定 Stable Diffusion 环境配置，消灭奇怪的报错 关于 ComfyUI 的教程： ComfyUI 官方文档：提供了 ComfyUI 的使用手册和安装指南，适合初学者和有经验的用户。可在找到相关信息。 优设网：提供了一篇详细的 ComfyUI 入门教程，适合初学者，详细介绍了 ComfyUI 的特点、安装方法以及如何使用 ComfyUI 生成图像等内容。教程地址是。 知乎：有用户分享了 ComfyUI 的部署教程和使用说明，适合有一定基础并希望进一步了解 ComfyUI 的用户。可在找到相关教程。 Bilibili：提供了一系列的 ComfyUI 视频教程，涵盖了从新手入门到精通的各个阶段。可在找到视频教程。 请注意，上述内容由 AI 大模型生成，请仔细甄别。

以下是一些关于提示词学习的教程和建议： 小七姐的系列教程： 系统学习 Stable Diffusion 提示词的步骤： 学习基本概念：了解 Stable Diffusion 的工作原理和模型架构，理解提示词如何影响生成结果，掌握提示词的组成部分（主题词、修饰词、反面词等）。 研究官方文档和教程：通读 Stable Diffusion 官方文档，了解提示词相关指南，研究来自开发团队和专家的教程和技巧分享。 学习常见术语和范例：熟悉 UI、艺术、摄影等相关领域的专业术语和概念，研究优秀的图像标题和描述，作为提示词范例。 掌握关键技巧：学习如何组合多个词条来精确描述想要的效果，掌握使用“（）”、“”等符号来控制生成权重的技巧，了解如何处理抽象概念、情感等无形事物的描述。 实践和反馈：使用不同的提示词尝试生成各种风格和主题的图像，对比提示词和实际结果，分析原因，总结经验教训，在社区内分享结果，请教高手，获取反馈和建议。 创建提示词库：根据主题、风格等维度，建立自己的高质量提示词库，将成功案例和总结记录在案，方便后续参考和复用。 持续跟进前沿：关注 Stable Diffusion 的最新更新和社区分享，及时掌握提示词的新技术、新范式、新趋势。