「可验证计算」共找到 5058 篇相关文章
独家发布 Qclaw 24 小时后，OPC 们涌入观猹，等一个邀请码
腾讯发布桌面 Agent 工具 QClaw 后热度飙升，逼近字节豆包。因其可通过微信调用，安装门槛低。观猹成 AI 产品冷启动首选平台，还衍生出龙虾到家服务，观猹员真实评价助产品迭代。
什么时候不该微调：比“怎么微调”更重要的一件事
文章指出微调失败常因一开始就不该调。强调微调解决行为问题而非能力问题，还列举了不该微调的五种场景，如知识接入问题、Prompt没写好等，建议先验证思路，明确目标再行动。
The Batch: 895 | 发起群聊的聊天机器人
如今互联网受AI泛滥化影响，还面临阻止LLM进入的情况。但AI可被设计连接人们，如在聊天中作积极联合力量。研究者做些改变就可行，未来AI或能促人类共同提升。
SOP：具身智能在线进化新范式，为大规模真实世界部署而生
智元机器人具身研究中心提出SOP在线后训练系统，将VLA后训练重构为“在线、集群、并行”，可即插即用后训练算法。它有高效探索、缓解偏移等优势，实验显示能提升性能、效率，突破VLA瓶颈。
300只狗试用延寿药，「寿命曼哈顿计划」启动！
1300只狗参与「延长寿命」实验，被注射由AI计算剂量的「延寿药」。AI在医疗领域作用凸显，制药、临床研究等多方面有进展。Altman等名人押注「永生」，但长寿也带来伦理等诸多问题。
视远·正心明智——机器之心2025年度AI榜单正式启动
2025 年人工智能浪潮依旧，大模型快速迭代，新应用形态不断涌现，国内 AI 发展也很精彩。机器之心精心策划 2025 年度 AI 榜单，涵盖最强技术实力企业等多个类别，企业可扫码申报。
开源共建重塑推理 Infra：从架构创新到生态协同，Mooncake的破局之路
大模型推理落地面临成本、吞吐、长上下文“三角困境”。开源项目Mooncake以“计算存储解耦”为核心，通过PD分离等技术提供底层支撑。直播邀请专家从多视角拆解其技术逻辑、开源价值与企业实践。
OVI：统一的音视频生成模型，声音与画面同步诞生
音视频生成领域以往多阶段架构易致音画不同步等问题。耶鲁大学团队提出 OVI 统一范式，采用双塔 DiT 架构与分块式跨模态融合机制，实现音画同步生成，不过目前有计算开销大、音频有局限等问题。
7.2K Star 治愈系AI伴侣开源！开源AI虚拟伴侣，支持Live2D/VRM形象！
AI虚拟角色构建常面临技术和硬件难题，而Project AIRI开源项目可轻松构建能聊天、玩游戏的萌系AI虚拟伴侣。它功能丰富，支持多模型、跨平台，还能跨端运行，值得一试。
加拿大丛林迷路五小时，ChatGPT救命神技，比地图还靠谱！
一群人在加拿大森林迷路5小时，手机电量低、Google Maps失灵，靠向ChatGPT发实时坐标获导航指引脱险。此外，上海交大团队推出PathGPT，用大模型让导航可自然对话，虽有不足但潜力大。