「可验证计算」共找到 5049 篇相关文章
DeepSeek被曝融资20亿…可幻方一年就挣50亿啊？
DeepSeek被曝计划首次融资，目标估值超100亿美元，计划融资至少3亿美元。但此前多次融资传闻均被辟谣，且其母公司幻方量化盈利能力强。若融资，或为锚定股权价值、激励人才及获非财务价值。
Agent新王诞生！Hermes 7周追上龙虾，中国用户可微信直连
2026年二季度，Hermes Agent成新潮流，由美国Nous Research开源，其GitHub stars数达84.4k。国内云厂商支持部署，手机厂商接入并限免。它原生支持微信，开发者评价高，与OpenClaw双雄并立，正掀起生产力革命。
基于文本AI的终结？Agent协作可直接「复制思维」，Token效率暴涨
在 Agentic AI 时代，多智能体系统让 AI 从单打独斗变为团队协作。普林斯顿大学等机构研究者提出多智能体推理框架 LatentMAS，将协作从 token 空间转移到潜在空间，实验显示其性能、效率大幅提升。
评论赠书 | CXL抢跑AI算力新战场，未来计算架构激发智算生产力
AI时代传统架构局限性凸显，CXL技术应运而生。它由英特尔等公司联合推出，解决内存鸿沟问题。‘2024 CXL技术创新方案大赛’推动其发展，《CXL体系结构》一书全面介绍该技术。
云计算一哥10分钟发了25个新品！Kimi和MiniMax首次上桌
亚马逊云科技CEO在re:Invent 2025上10分钟发25个新品，2小时近40个。围绕AI Agent，从算力到模型、平台、应用全面布局，还引入中国Kimi和MiniMax，构建全栈壁垒，助力企业用好AI。
Meta开源多语言语音识别系统，支持1600种语言，可轻松扩展新语种！
Meta研究团队开源Omnilingual ASR，能理解1600种语言，用几条语音 - 文本配对样本就能零样本扩展新语种。提供三种架构，满足不同需求，性能超现有多语种模型，应用场景广泛。
刚刚，OpenAI牵手亚马逊，7年380亿美元AI云计算大单到手
OpenAI与AWS官宣建立多年战略合作伙伴关系，合作总额达380亿美元，是史上最大云服务交易之一。AWS将为OpenAI提供基础设施支持，助其扩展AI工作负载，双方CEO均表期许。
第二代InfLLM开源，同尺寸快三倍！零参数，可训练稀疏注意力
新智元报道，清华、OpenBMB和哈工大提出零额外参数、训练高效的原生稀疏注意力框架InfLLM-V2，仅用5B长文本词元就能完成训练，相比稠密注意力机制有显著加速，性能接近传统稠密模型。
首次人体实验成功！基因编辑胰岛细胞“隐身”植入，可正常分泌胰岛素
最新研究显示，科学家首次将CRISPR编辑的胰岛细胞移植到一名1型糖尿病患者体内，细胞数月内持续分泌胰岛素，还能逃避免疫检测，使接受者无需服免疫抑制剂。不过研究仅涉一人，Sana计划明年开展更多试验。
告别无效计算！新TTS框架拯救19%被埋没答案，推理准确率飙升
现有TTS方法存在路径同质化和中间结果利用不足问题。华为诺亚方舟实验室等机构提出SRCA框架，含检查点注入、答案聚类搜索和检查点候选增强组件，实验显示能提升推理准确性、效率，降低成本。