「可验证计算」共找到 5250 篇相关文章
Screen Studio的开源免费替代品，自媒体必备的录屏神器，MIT协议可商用。
文章推荐开源屏幕录制工具OpenScreen，它是Screen Studio平替，虽未覆盖全部功能，但基础功能完善，支持双系统，有诸多实用功能，且遵循MIT协议可商用。
字节跳动&清华大学开源多模态时序大模型ChatTS，可实现时序数据对话与推理
字节跳动与清华合作开源多模态时序大模型ChatTS，可实现时序数据对话与推理。它用合成数据训练，解决了数据稀缺等问题，在评估中表现远超基线模型，未来可拓展至更高阶任务。
俞大鹏院士：量子计算目前还很弱，产业不能“虚火过旺”｜PAIR 2026
本文整理了中科院院士俞大鹏在PAIR 2026大会量子计算专题的主旨演讲，分析了量子计算发展驱动力，指出当前发展痛点，警示量子产业不能虚火过旺，需扎实积累核心技术。
从日志学习到风洞验证：构建 GPU 集群的 AI Native 稳定性闭环
文章介绍了面向新引入GPU芯片稳定性验证的AI Native治理体系“算力风洞”。其通过厂商环境自动复刻等手段，将新芯片适配效率提升10倍以上。体系分认知、验证、进化三层，形成完整闭环，推动智算集群稳定性建设升级。
耶鲁等团队联合发布首个虚拟细胞Agent，可自动设计出先进的模型
耶鲁等团队发布首个多智能体系统CellForge，可自动化设计虚拟细胞模型。它能输出模型架构和代码，有跨模态能力，性能超多个领域代表性模型，可降低科研门槛，加速药物研发。
NTU S-Lab 团队探索可动 3D 新方向：结构、关节、纹理一次到位
南洋理工大学 S-Lab 团队发布研究，提出统一建模框架，能从单张图像生成可动三维对象，在几何精度、外观一致性与运动合理性上显著提升，解决了现有方法的难题，为相关领域发展奠定基础。
无需多视角，单图重建可交互3D模型！南洋理工开源结构推理框架
南洋理工大学团队提出MonoArt，将单目可动物体重建建模为渐进式结构推理过程，通过四个关键模块逐步推理，无需外部先验，在PartNet - Mobility基准测试中表现领先，兼顾推理效率，还可用于下游任务。
英伟达斥资50亿美元联手英特尔，将开发AI基础设施和个人计算产品
英伟达斥资50亿美元入股英特尔，双方将联手开发AI基础设施和个人计算领域定制化产品。合作聚焦数据中心和个人计算，是长期战略联盟。公告发布后，英特尔股价涨超26%，AMD股价跌超3%。
在AI工具间来回切换了1年后，可灵用一张画布终结了它。
作者参加WAIC印象最深的是可灵更新，其首发灵动画布并升级多图参考功能。灵动画布可一站式完成图文视频创作，多图参考精准度提升，解决了AI工具孤岛化问题，让创作更自由。
可灵 2.1 首尾帧藏师傅外挂教程：两张图→大片，附万能提示词
作者分享可灵 2.1 首尾帧模型测试与使用教程，解决图片和提示词生成难题。介绍三种拿图法，给出 AI 生成提示词方法及原则，还指出可将流程固化、特效升维，提升视频创作效率与价值。