「可验证计算」共找到 5041 篇相关文章
AI Coding 的下一步不是写得更快，而是可验收：蚂蚁数科 Harness 工程实践
蚂蚁数字科技资深技术专家魏长征在AICon大会分享AI Coding实践。指出当前产能提升快，但验证能力可能跟不上，容易引发质量风险。介绍了Harness工程思路及在新项目和存量项目中的应用，还提及AI协作的未来挑战。
众所周知视频不能P？北大施柏鑫团队、贝式计算CVPR研究：视频里轻松换衣服、加柯基
视频编辑难度高，传统流程繁琐，现有AI方法有局限。北大施柏鑫团队联合贝式计算等提出VIRES方法，能实现视频主体多种编辑操作，还标注VireSet数据集。其在多指标超现有SOTA模型，团队还探索全景级可控视频生成。
太初元碁洪源：异构计算能力将成为未来AI算力基础设施的重要方向｜AIGC2026
2026年AI产业进入高强度算力周期，Token成核心资源消耗单位。太初元碁洪源认为，AI算力需更好支撑应用，异构计算将成未来AI算力基建重要方向，太初元碁也在多方面探索实践。
GRPO训练不再「自嗨」！快手可灵 x 中山大学推出「GRPO卫兵」，显著缓解视觉生成过优化
GRPO在视觉生成流模型后训练阶段有显著提升，但clip机制存在系统性偏差，易使模型陷入过度优化。中山大学、快手可灵等团队提出GRPO - Guard，能降低过度优化风险，在多种任务中表现良好。
Qwen深度研究一夜升级！可生成网页和音频播客，新模型能认医生手写体
Qwen版深度研究加速进化，增加听觉和视觉输出，可生成网页和音频。改进功能同时更新模型，Qwen3 VL能识别医生手写体。实测新功能表现出色，Qwen3-VL系列更新后性能优异。
月球建厂、电磁炮发射，卫星本地计算！马斯克曝AI终极构想：迈向卡尔达肖夫II型文明
马斯克抛出AI基础设施宏大构想，因地球电力紧缺，计划将AI算力送入轨道，3 - 4年部署有本地计算能力的卫星，后续在月球建工厂用电磁炮发射卫星，最终形成以‘瓦特和吨位’衡量的自生系统。
清华开源了一个真的会和你互动的AI课堂，同学老师都是AI，500学生已经验证....
清华大学开源OpenMAIC，这是多智能体驱动的交互式AI课堂。它模拟真实课堂，有多种场景，内置自适应引擎。经500学生验证，数据佳。支持多模型，部署方式多，还集成OpenClaw。
可从表复杂文档中提取结构化数据的Python库agentic-doc，支持100+页PDF长文档
LandingAI的Agentic文档提取API可从复杂文档提取结构化数据，Python库agentic-doc封装该API，支持100+页PDF长文档，有自动重试、并行处理等功能，还能可视化调试。
内核级的真相：为什么 eBPF 正在取代基于用户空间的 Agent 成为安全可观测性的首选
文章指出基于用户空间的安全 Agent 存在与威胁同权限层级、CPU 成本高、易被攻击等问题。eBPF 能在 Linux 内核运行受沙箱保护程序，可降成本、增可见性。上线应分阶段，还介绍工具及部署安全措施。
功能强到离谱！开源 3D AI 桌面伴侣来了，可直接部署到B站直播间等平台！
开源项目 Super Agent Party 颠覆对‘桌宠’认知，它是 AI 智能体平台，有知识库、联网等能力，可部署到多平台。具备无缝能力增强等核心功能，提供多种安装选项，应用场景丰富。