「可验证计算」共找到 5058 篇相关文章
大模型 Token 究竟是啥：图解大模型Token
文章详细解释大模型Token概念，指出分词器会把文字切成Token，不同分词器切分结果不同。还介绍分词器的分词方法，通过统计文字出现频率打包成Token并编号，不同模型切分结果有差异。
英伟达发布统一GPU开发平台DGX Cloud Lepton
英伟达发布专为开发者设计的AI平台DGX Cloud Lepton，可汇聚全球GPU计算资源，提供即时访问和无缝部署能力。它功能强大，支持多环境部署，提供统一体验，还有庞大合作网络。
苹果脑机接口技术曝光：用思想操作 iPhone，AI 直接能代其“发声”？
苹果宣布与脑机接口公司 Synchron 合作，开发能读取大脑信号的植入式设备，可将信号转化为操作指令。该技术尚处早期，对残障人士是重大进展，结合 AI 潜力巨大。
Meta开源Muse Glimmer，30B Agent小钢炮跑进你的电脑
Meta发布并以宽松协议开源Agent模型Muse Glimmer。它30B参数，能跑在Mac或PC上，多项Agent基准领先。可完成端到端任务、调用工具及多步推理，接受文本与图像交错输入，用途广泛。
今天，Claude Cowork大更新！合上电脑，它替你彻夜打工
Anthropic官宣Claude Cowork正式登陆手机和网页端，Chat和Cowork合并成一个入口。Cowork可脱离设备在云端运行，完成工作闭环，还能让用户在看球赛、赶飞机时用手机‘监工’，巨头正抢占普通人办公市场。
Google推出Gemini Spark：不用开电脑也能24小时跑
Google在2026年I/O大会推出个人AI代理产品Gemini Spark，是24小时数字生活助手。它搭载Gemini 3.5大模型，用自研Antigravity框架，运行在Google Cloud虚拟机，可对接Google工具，后续将通过MCP接第三方服务。
MongoBleed 漏洞允许攻击者从 MongoDB 的堆内存中读取数据
MongoDB 修补 CVE - 2025 - 14847（MongoBleed）漏洞，该漏洞 CVSS 得分 8.7，可被未认证攻击者远程利用致敏感数据外泄。此漏洞由 zlib 压缩网络流量处理不当触发，影响 2017 年后版本，部分云环境和服务器有风险。
AGI只是硅谷的幻想？！AI科学家盛赞中国，并从物理学角度宣告我们永远造不出AGI
AI科学家Tim Dettmers在博客发文指出，计算需遵循物理定律，线性进步要消耗指数级资源，硬件升级红利已尽。他认为美国追求超级智能短视危险，中国重应用普及更务实，AGI不会发生，超级智能是幻想。
京东发布业界首个/开源/高完成度/轻量化「通用AI智能体产品」。
京东跨界推出业界首个开源高完成度轻量化通用智能体产品JoyAgent - JDGenie。它开箱即用、轻量可自部署，内置多种子智能体与工具，还给出二次开发示例，有多层次多模式思维等创新点。
腾讯悄悄出了个插件版“Cursor”，还跟微信小程序打通了。
腾讯云发布代码助手CodeBuddy 3.0，它是插件而非IDE产品，可在多代码产品安装。其亮点是打通微信开发，能直出小程序。作者体验后用它半小时做出小程序，期待腾讯AI生态发展。