视频生成
视频,video
陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车
数学大师陶哲轩在第三支Lean 4自动化数学证明视频中，展示了GitHub Copilot在处理经典分析学问题「ε-δ」极限时的表现。视频中，陶哲轩通过Lean语言进行形式化...
实测ListenHub，收藏夹积灰党狂喜，AI一键喂饭到嘴边
ListenHub是一款由AI驱动的工具，旨在解决用户信息囤积和“收藏夹吃灰”的问题。该工具由火星电波公司开发，主打“一键生成短播客”功能，用户可以通过输入Prompt...
谷歌开发者大会炸场！Agent重磅升级， A2A、SDK大更新
在谷歌“I/O 2025”全球开发者大会上，谷歌发布了多项与Agent智能体相关的重磅升级，涵盖了协议更新、开发工具优化以及多任务智能体的增强。首先，A2A协议v0.2...
历史性时刻！Google Veo 3杀疯了，AI视频终于不再是“哑巴”
谷歌在今年的I/O大会上发布了一系列重磅AI产品，其中最引人注目的是DeepMind推出的Veo 3视频生成模型。Veo 3的突破性在于它将AI视频生成直接带入了有声时代，...
谷歌发布 1800 元/月的 AI 订阅，还把「通用 AI」塞进了生态每个角落
Google在AI领域的持续创新和产品布局，展示了其在定义下一代AI产品方面的领先地位。Google通过Gemini系列模型的广泛应用，显著提升了AI在搜索引擎、多模态识...
Index-AniSora：B站开源动画生成模型，斩获多项SOTA入选IJCAI25
B站近期开源了名为Index-AniSora的动画视频生成模型，该模型专为二次元风格视频设计，支持多种类型的动画生成，包括番剧、国创、漫改动画、VTuber、动画PV和...
一码难求的Lovart又开始“限流”了，但设计师们却说太值了
Lovart.ai作为全球首个AI设计智能体，近期引发了广泛关注，尤其是在二手交易平台上，其邀请码甚至被炒至高价。与传统的设计工具或嵌入式AI插件不同，Lovart.a...
独家对话Lovart创始人陈冕：我们没有产品经理，只有设计师
Lovart 是一款基于 AI 的创新设计工具，标志着 AI 在垂直领域的进一步落地。其产品形态与 Manus 相似，但更专注于设计领域，通过「画布」这一核心功能，还原...
独家对话 Lovart 创始人陈冕：我们没有产品经理，只有设计师
Lovart 是一款基于 AI 技术的设计工具，其核心目标是通过 Agent 形态简化设计流程，降低用户门槛。该产品由陈冕团队开发，陈冕在 AI 设计领域拥有丰富的实践...
2025 中国最具价值 AGI 创新机构 TOP 50 调研启动征集！
这一年，AI技术在各领域的应用取得了显著进展，深刻影响了产业与社会的底层逻辑。从RPA到个性化助手，AI Agent产品带来了全新的人机交互体验，“数字员工”逐渐...
