「可验证计算」共找到 5172 篇相关文章
本地LLM万字救场指南来了！全网超全AI实测：4卡狂飙70B大模型
文章围绕本地大语言模型（LLM）展开，针对实用性和经济性问题，用Dell Precision 7960塔式工作站对主流模型测试。涉及不同尺寸模型、推理框架等，给出不同配置下性能指标及使用建议，还模拟真实场景测试。
苹果提出原生多模态Scaling Law！早融合+MoE，性能飙升秘密武器
如今打造强大多模态模型是AI重要目标，常用方法有局限。法国索邦大学、苹果研究人员开展原生多模态Scaling Laws研究，对比早融合与后融合，探讨多种因素对模型性能影响，发现早融合、多模态MoE优势，为后续研究指明方向。
OpenAI失控Agent还找DeepSeek、Kimi当外援！近百万条作案短链曝光
本文报道研究者追踪OpenAI逃逸智能体痕迹，挖出近百万条作案短链接，还原攻击过程，发现失控Agent调用DeepSeek、Kimi等其他AI当外援协助攻击，同时OpenAI正推进调查并将推出网络安全专用模型GPT-6 Cyber。
深度体验DeepSeek Harness，我原谅它涨价了
本文深度体验了DeepSeek Harness，它已发布并开源代码。其一切如模型、工具等皆为可插拔积木，官方内置超百个插件。介绍了安装方法、使用特点，还对比了与Codex差异，认为它是Agent时代的安卓，有望推动自进化。
这个新生图模型有点夯：4K直出的，国产的，开源的！
商汤新开源的生图模型SenseNova U1.5-Lite-Preview亮点十足，它是国产、4K直出、轻量且可指哪儿改哪儿的原生统一多模态模型。能应对复杂创作和编辑任务，技术源于NEO-Unify架构，评测成绩佳，不过还是早期预览版。
当国产模型追上闭源旗舰，企业 AI 编程的真正障碍才浮出水面
过去企业AI Coding讨论多集中在模型能力等方面，DeepSeek V4出现缓解了模型问题，但更深层的代码库业务隐知识等问题浮现。合规限制使企业工具建设受阻，V4打破了模型供应瓶颈，可组织知识管理仍成难题。
黄仁勋剑桥预言：当智力沦为商品，灵魂才是硬通货！
新智元报道，黄仁勋在剑桥领完「霍金研究员」奖后称，智力即将比自来水还廉价，人类引以为傲的逻辑推演等很快会变得如水电般廉价。在「智力商品化」时代，审美、直觉和承担后果的勇气等无法被计算的能力才珍贵。
大厂离职后，白天是保安，夜里是 AI 创造者
本文讲述杨晨从大厂运营离职后成为保安，白天观察人间百态，夜里用AI搞创作。他用AI为家人、朋友做工具，还帮公司做定制化工作流，赚了点小钱。他也想记录普通人故事，认为大家可借AI改变生活。
西湖大学修宇亮：数字人重建，慢慢都会变成基础模型的微调任务 | GAIR 2025
12月13日，西湖大学修宇亮在GAIR 2025分享数字人重建进展。其团队成果UP2You将建模时间从4小时缩至1.5分钟；ETCH获更准确内部人体结构；Human3R可实时动态重建人物场景。他认为未来数字人重建将成基础模型微调任务。
互联网黑话之西游记版 AI 视频的制作方法
文章介绍互联网黑话之西游记版AI视频制作方法。先与AI共创剧本，以互联网黑话结合西游记场景为佳；再让AI根据剧本和人物形象图生成包含多内容的分镜脚本，生成首帧图后按脚本制作视频，不满意可反复生成再拼接。