「AI视频大模型」共找到 13981 篇相关文章
SGLang 推理引擎的技术要点与部署实践｜AICon 北京站前瞻
SGLang 是开源推理引擎，截至 2025 年 6 月，GitHub 近 15K Stars，月均下载量超 10 万次，被多个行业巨头采纳。InfoQ 专访其核心开发者尹良升，他分享关键技术等内容，6 月 27 - 28 日他将在 AICon 演讲。
超轻量级Multi-agent，可独立用于生产，也可扩展LangChain、CrewAI、Agno
越来越多AI玩家加入Multi - agent领域，现有框架复杂冗长。本次分享可用于生产的超轻量级Multi - agent Water，它不依赖任何框架，还能扩展LangChain等，文中介绍其核心组成与上手教程。
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
陶哲轩迷上形式化数学证明，开设YouTube账号分享用Lean形式化证明的视频，还发布开源项目，将经典教材《Analysis I》定义、定理和习题「翻译」成Lean代码，项目可作学习资料，部分内容已完成翻译。
重磅！Telegram官宣Grok将登陆！Ton应声暴涨16%
Telegram创始人宣布与xAI达成1年合作，将Grok AI集成到应用中，今年夏天用户可使用。Telegram获3亿现金加股权及50%订阅分成，此合作改写聊天应用格局，也引发用户不同反应。
Claude 4破解困扰人类4年系统bug，30年码龄程序员200小时没搞定，GPT-4.1/Gemini-2.5也做不到
30年码龄程序员4年没搞定的顽固型‘白鲸bug’，Claude Opus 4配合Code模式，用30个prompt+1次重启，几小时就破解。此前GPT - 4.1等模型都失败，凸显Claude编程与推理能力强。
打破资源瓶颈！华南理工&北航等推出SEA框架：低资源下实现超强多模态安全对齐
本文介绍北航彭浩团队的 SEA 框架，针对多模态大模型低资源安全对齐难题，用合成嵌入替代真实数据，突破资源瓶颈。还构建 VA - SafetyBench 评估安全风险，实验验证了 SEA 低资源、高泛化优势。
星际之门内部惊人曝光：40万块GPU爆铺！奥特曼千亿豪赌险把电网干崩
记者深入阿比林基地，揭开「星际之门」超算神秘面纱。该项目由OpenAI、软银、甲骨文合作，已投1000亿美元，后续将达5000亿。它含8个建筑、40万块GPU，面临能源挑战，巨额投资也伴巨大风险。
CVPR2025｜MCA-Ctrl：多方协同注意力控制助力AIGC时代图像精准定制化
中国科学院计算技术研究所团队提出无需微调的通用图像定制方法 MCA - Ctrl，利用扩散模型内部知识，结合条件语义与主体内容。实验显示其在编辑和生成任务表现优，解决了现有技术瓶颈。
剪映也能用代码自动剪辑？这个开源工具是怎么做到的
本文介绍了获4300+Star的开源项目jianying-editor-skill，它可通过生成剪映原生草稿，让代码操控剪映完成自动化剪辑，解决视频创作手动效率低的痛点，分析其技术实现、核心能力与局限
本地版Jev 1G内存就能跑！四舍五入等于不要钱啊
Jev爆火一周后，开发者推出适配Apple MLX框架的Laya-MLX，是开源决策模型Laya的原生本地版，最低仅需不到700M内存即可在Mac运行，速度快准确率高，适合高频短决策任务。