ChatGPT 模型系列官方使用指南
OpenAI官方发布ChatGPT模型系列使用指南，详解GPT-4o、GPT-4.5、o4-mini等六款模型的适用场景与提示词范例：GPT-4o支持全模态日常任务；GPT-4.5强化情感表达与创意写作；o4-mini系列专注高效技术推理；o3和o1-pro分别面向复杂多步分析与高精度长周期任务。
LTX Studio 推出开源视频生成模型 LTXV 13B，比同类模型快30倍
LTX Studio 开源视频生成模型 LTXV 13B，生成速度达同类模型30倍，支持多关键帧控制、多尺度渲染与实时超分，低清转4K仅需数秒；无需高端显卡，普通电脑即可流畅运行，并兼容LoRA微调。
π0.5：迈向开放世界泛化机器人的基础模型
π0.5是Physical Intelligence推出的视觉-语言-行动（VLA）基础模型，通过多源异质数据协同训练，显著提升机器人在全新家庭环境中的泛化能力。它能理解物理操作与任务语义，完成清洁、整理等复杂长程任务，仅需约100个训练环境即可接近定制化训练效果，降低对海量场景数据的依赖。
如何通过 AI 视频技术进行服装设计
Runway Gen-4 支持上传3张服装图作为风格参考，配合提示词即可生成创意服饰视频，为设计师快速拓展灵感。该技术是辅助工具，不替代人类在审美判断与设计决策中的核心作用。
AI 如何改变电影视效创作的未来
AI正成为电影视效的新创意工具，而非替代艺术家。从《星球大战》的Dykstraflex到《侏罗纪公园》的CG突破，技术演进始终以人为主导。Rob Bredow指出，AI如在《Star Wars Field Guide》中展现的，能快速实现概念可视化；而《印第安纳·琼斯》等片则证明，AI与传统技术融合可拓展叙事边界——关键在于艺术家主导与伦理规范。
如何通过 Runway 图像参考（Reference）功能制作创意视频
Travis Davids 用 Runway Gen-4 的图像参考功能，上传蒙娜丽莎肖像与郁金香花田背景图，结合精准服饰提示词，生成人物形象稳定、风格统一的创意视频，实现经典角色的动态重塑。
DeepSeek-Prover-V2：让数学证明自动化走进现实
DeepSeek-Prover-V2 是基于 Lean 4 的数学自动证明模型，融合思维链、子目标分解与强化学习，能生成可被计算机严格验证的形式化证明。它覆盖竞赛题到高等数学，配套开源基准集 ProverBench，在 MiniF2F 等评测中表现突出，推动数学证明自动化走向实用。
Krea GPT：结合自然语言和图示的 AI 绘画方式
Krea GPT 是 Krea.ai 推出的新型 AI 绘画工具，融合自然语言指令与手绘草图交互，在 GPT-4o、Gemini 等模型图像编辑能力基础上，实现更精准、更直观的图像生成与修改，适合需要精细控制输出效果的设计者和创作者。
Midjourney 发布全能参考系统技术：Omni-Reference
Midjourney V7 推出 Omni-Reference 全能参考系统，支持将任意图像中的角色、物体、载具等元素精准复现到新图中。通过网页拖拽或 Discord 的 `--oref` 与 `--ow` 参数（0–1000）调节参考强度，可灵活平衡风格迁移与高保真还原，目前处于实验阶段。