「视频匿名化」共找到 1735 篇相关文章
陶哲轩油管首秀：33分钟，AI速证「人类需要写满一页纸」的证明
陶哲轩油管首秀，借助AI 33分钟完成人类需写满一页纸的证明，全程“盲证”。他认为半自动化方法适用于技术性强、概念性弱的论证，还升级了数学证明助手，对其很满意。
OpenAI关停Sora！25个月从封神到退场
OpenAI宣布关停Sora，其曾风光无限，从2024年发布技术预览到2025年Sora 2上线火爆，后因国产模型突破、版权危机热度退潮。此举是战略调整，为筹备IPO聚焦商用与代码开发。Sora败退，AI视频进入‘中国时间’。
2026「中国 AGI 创新影响力机构 TOP 30」发布
过去一年 AI 行业变化溢出模型层，Coding Agent 铺开，视频生成实现商业变现，具身智能供应链成型。Founder Park 从四维度选出「中国 AGI 创新影响力机构 TOP 30」，涵盖多领域团队。
当 Agent 成为新的核心云用户：阿里云重新定义“用云范式”
Agent 进入企业速度超预期，调用云资源使云平台需改变。阿里云发布云 Skills 门户，将云能力 Agent 化，通过三层体系处理不确定性，引入 SDD 规范调云链路，还强调开放标准的重要性。
Yann LeCun离开Meta后首篇论文？使用了宇树机器人做研究
伯克利、纽约大学等团队发表论文，提出GenMimic方法，让机器人能零样本复现AI生成视频动作。Yann LeCun是共同导师之一。团队构建GenMimicBench数据集，经仿真和真实实验验证方法可行。
跨层压缩隐藏状态同时加速TTFT和压缩KV cache!
论文 UNCOMP 被 EMNLP 2025 主会接收，提出高效推理框架，用截断矩阵熵解释 LLM 稀疏化，据此设计 UNCOMP 框架，通过压缩隐藏状态优化 KV Cache，实现计算与内存联合优化，实验效果显著。
AI撑爆GitHub！天天宕机，18年老兵带5万星项目「决裂出逃」
GitHub第1299号用户、Vagrant之父Mitchell Hashimoto，因GitHub连续宕机和AI转型，带着5万星项目Ghostty出逃。AI让GitHub负载剧增，其资源向AI倾斜致基础设施维护变差，“去GitHub化”声音渐大。
腾讯广泛使用的跨端开发框架——Kuikly在搜狗输入法中的AI Coding实践
AI 席卷开发领域，输入法团队在 Kuikly 跨端项目探索 AI 工程化方案。介绍了推进 AI 友好型工程、构建精准 AIContext 等关键层面，以灵感词库页面开发为例展示效果，还展望了未来探索方向。
国产算力Day 0适配，一人剧组时代到来，商汤Seko 2.0降本增效让AI短剧真正落地
商汤Seko 2.0率先实现创编一体与多剧集智能生成，通过一致性控制技术与国产算力适配，缩短漫剧制作周期。它解决了AI视频生成痛点，降低成本、提升效率，适配国产芯片，还拓展了内容生态。
干掉 90% 的 BI 工程师：自动生成 SQL、洞察、预测，连图表都帮你画好
介绍了基于LLM和RAG的结构化数据问答系统，它能将查询转化为SQL语句执行，生成数据图表及分析。其看板用法新颖，可进一步分析、预测，免去大部分BI工作，对非技术分析人员友好。