「可验证智能」共找到 7238 篇相关文章
多突触神经元模型问世，国内团队打造类脑计算新引擎，登上《自然·通讯》
当前人工智能高能耗问题凸显，脉冲神经网络被认为更具生物合理性、能效更高，但缺乏平衡计算效率和生物合理性的脉冲神经元模型。国防科技大学与中科院团队合作提出 MSF 脉冲神经元模型，相关研究发表于《自然・通讯》。
40.9K Star 数据可视化神器！Json数据处理领域的“瑞士军刀”！
在数据驱动场景中，解析复杂嵌套JSON结构费时费力。GitHub上标星40.9K的开源工具JSONCrack，能将JSON数据可视化为交互式节点图，还有转换、格式化等功能，使用简单，应用场景广。
360开源高质量图文对齐数据集！收纳1200万张图像+1000万组细粒度负样本，让模型告别“图文不符”
360人工智能研究团队的冷大炜博士团队开源FineHARD高质量图文对齐数据集，包含1200万张图像、4000万个边界框及对应描述、1000万组细粒度难负样本，能提升模型图文对齐能力，还介绍了构建方法、分析及应用前景。
字节扣子空间上新一键转播客功能，现在我们真成同事了｜甲子光年
5月27日，字节跳动旗下AI协同办公平台扣子空间新增播客功能。其播客音频生成功能让AI从‘说什么’跨越到‘怎么说’，适用于多场景。扣子空间还具备跨模态协作等能力，引入MCP协议，免费开放核心功能。
苹果脑机接口技术曝光：用思想操作 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 年后版本，部分云环境和服务器有风险。
中国AI「星际穿越」！新智元十周年峰会预言ASI终局：未来十年指数级加速
新智元十周年峰会以「新天终启 万象智生」为主题，众多大咖齐聚。王海峰、赖俊杰、王小川等分享观点，还开源模型、发布奖项。大家认为AI发展虽有波折，但2027年将达ASI临界点，智能体大爆发。