「可验证计算」共找到 5044 篇相关文章
Wan2.2-Animate又火了，5分钟让抠脚大汉秒变高冷女神。
阿里开源模型Wan2.2 Animate又火了，用照片和视频就能生成换脸视频，表情动作复刻佳。它上限高，还能变声，可用于舞蹈视频、影视二创等，但手指易崩坏。模型开源，有积极意义也有风险。
刚刚，Anthropic新作：大模型意识被发现了
Anthropic 最新研究发现 LLM 有可被语言化报告的全局工作空间（J - space），用 Jacobian Lens 技术能读出模型思考概念、干预推理，还可暴露其未说出口的意图，为 AI 安全审计提供新途径。
伏曦量子完成天使及天使+轮融资，五源资本、启盈同创等跟投
近日，伏曦量子宣布完成天使及天使+轮融资，由全球动力电池行业龙头领投，多家机构跟投。该公司由赵琦博士创立，定位是帮助产业客户理解和使用量子算力，其核心价值是优化算法，让问题可在近期硬件测试。
Google Design.md：一键复刻60+大厂设计规范 ｜ 设计界的事，能叫偷吗？
今天分享Google Stitch团队提出的DESIGN.md标准，单文件搞定网页设计。62个真实网站视觉语言对应的DESIGN.md可在https://getdesign.md/获取，它也是开源项目。放入项目根目录后，AI编程助手可读取生成风格一致的UI组件。
LibTV这个邪修功能，大大减少AI视频抽卡次数！
作者分享在LibTV用「深度动作捕捉」功能做AI视频，将视频动作提取成深度图，可减少AI视频生成失败率，且不花积分，深度图管几何，提示词管外观，提一次能用多次。
如果你还在犹豫要不要尝试 OpenClaw，试试这个 App 一键部署方案
作者推荐 OpenClaw 这款开源产品，它像钢铁侠的 AI 助手贾维斯，可与通讯协同软件协作。还介绍用百度智能云 1 分钱部署 OpenClaw，阐述其配置、应用及价值，称 AI 会成基础设施。
大模型到底是怎么「思考」的？第一篇系统性综述SAE的文章来了
在大语言模型时代，人们需要“能解释”的LLM。SAE技术崛起，作者团队发布首篇SAE综述，梳理其技术、演化和挑战。介绍了SAE概念、优势，涵盖其技术框架、可解释性分析等多方面内容。
中国半导体显示产业之父，将带出一个超级IPO
投资界消息，奕斯伟计算向港交所递交招股书，有望成“RISC-V第一股”。其掌门人为王东升，曾带领京东方走向全球霸主地位。奕斯伟计算聚焦RISC - V架构，获多轮融资，王东升还投资半导体产业链多企业。
Nano Banana Pro 一键极速分镜
Nano Banana Pro能通过一个提示生成叙事型九宫格分镜，用户可构思故事或修改已有故事，还能放大分镜、提示AI修改，该流程极大提升视觉叙事速度，文中还给出提示词示例及任务要求。
LLM内部竟藏着众多策略模型？自所&腾讯团队首次揭示大模型RL新机制
中国科学院自动化研究所与腾讯AI Lab团队从可解释性分析出发，发现LLM内部含多个可采样内部策略，揭示不同模型推理熵模式，提出BuPO算法，在复杂推理任务上性能显著优于传统算法。