「视频转换」共找到 1058 篇相关文章
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
陶哲轩迷上形式化数学证明，开设YouTube账号分享用Lean形式化证明的视频，还发布开源项目，将经典教材《Analysis I》定义、定理和习题「翻译」成Lean代码，项目可作学习资料，部分内容已完成翻译。
陶哲轩：感谢Lean，我又重写了20年前经典教材！
陶哲轩宣布为实分析本科教材《Analysis I》创建「Lean」配套项目，将定义、定理和练习转换成 Lean 版本。Lean 是交互式定理证明器和语言，项目部分依托 Mathlib，可作辅助教材和入门指南。
Kimi Work 推出目标模式：连肝 24 小时做了本漫画书，已开源
Kimi Work 推出目标模式，设定完成条件可自动工作至达标。与 Claude Code、Codex 有差异，还具 Agent 集群能力。作者用其复刻 Logo、转换论文格式、制作漫画书并开源，指出目标模式类似模型训练。
阿里又放大招！一句话，造一个能走进去的世界
阿里上线HappyOyster 1.0世界模型，一句话生成可实时探索、交互的开放世界。它与文生视频不同，能让用户参与体验。该模型有世界探索和实时导演两大功能，技术优势显著，应用场景广泛。
全球首个多模态矢量动画生成框架，轻松拿捏跨平台轻量动画
复旦大学等团队推出OmniLottie框架，利用创新分词技术将视频、图文指令变成高质量矢量动画。团队还打造数据集MMLottie - 2M，构建测试基准MMLottie - Bench。实验显示，OmniLottie在多任务测试中优势明显。
CUTLASS 笔记 (2)：混合精度 GEMM kernel
文章介绍实现支持不同精度的 GEMM 算子，解析精度转换技术细节，还介绍根据 PTX 文档实现自定义 FP8 精度的 GEMM kernel，包括揭开 MMA Atom 面纱、分析 TV 与 MN Layout 等，最后完成精度验证。
老黄挤爆牙膏！DLSS 4.5狂飙6倍，RTX 50系直接封神
2026年CES大会上，英伟达发布DLSS 4.5提升画质与帧生成，RTX Remix助力经典游戏重生，还将NPC变智能伙伴。同时，其软件升级利好AI PC，提升性能、减少显存消耗，让它更接近日常使用。
OiiOii意外走红背后：为何10万人排队等一个不完美的AI Agent？｜甲子光年
OiiOii是成立不到半年、团队仅十余人的初创公司，产品尚处内测，却引来近10万人排队申请。创始人闹闹有丰富履历，不回避产品缺陷，公司已获天使轮融资，将全力投入迭代。
10亿美元OpenAI股权兑换迪士尼版权！米老鼠救Sora来了
OpenAI官宣与迪士尼合作，将出售10亿美元股权，迪士尼获增持权利。Sora和ChatGPT Images能生成200多个迪士尼热门IP角色。合作三年，第一年授权排他，部分Sora视频或2026年初在Disney+播出。
马斯克「开颅插针」首破1.5秒！上万人挤爆，争当赛博格
Neuralink放出20分钟视频，联创阐述最新进展。手术机器人将单根电极植入时间从17秒降至1.5秒，植入深度超50mm。全球超万人排队，公司预计年底前20位患者完成手术，愿景是增强人类认知。