「可验证智能」共找到 7238 篇相关文章
曾破产的“铱星计划”被80亿美元盘下，买家要拿它跟Starlink抢生意
Rocket Lab 公司以 80 亿美元收购美国卫星通信巨头 Iridium。Iridium 曾由摩托罗拉主导，商业上惨败后被低价收购，后起死回生。收购后 Rocket Lab 完成全产业链整合，有望扭亏为盈，交易预计 2027 年中完成。
大模型也需要睡觉！让AI打个盹，醒来更聪明
卡内基梅隆大学和马里兰大学研究发现，大模型处理长上下文易累傻。受人脑机制启发，设计睡眠机制，让模型在上下文窗口快满时打盹，反复咀嚼信息，压缩进长期权重。测试显示，增加“睡眠”轮次能提升深度推理表现。
3天狂揽23.1k星！把代码库变成知识图谱，AI编程成本降低35%
CodeGraph是开源本地代码知识图谱工具，提前为项目建索引，组织代码信息，让Agent直接查询。能减少token消耗与工具调用、提高响应速度，数据本地保存，还具备多语言支持等特点。
MMLab@HKU 闪耀 CVPR 2025！与全球顶尖学者共话 AI 前沿
CVPR 2025 于 6 月 11 日至 15 日在美国纳什维尔举行，MMLab@HKU 携 24 篇高质量论文亮相。其还是三项国际竞赛的发起与主办方，主办六项前沿活动，研究成果展示了多领域进步。
泛化性暴涨47%！首个意图检测奖励范式，AI工具爆炸时代意图识别新解法
随着大模型和工具增长，AI 助手意图识别遇新挑战。腾讯 PCG 团队用强化学习等方法，提升模型泛化能力，还从多方面剖析优势，最后提出未来研究方向。
14k颗星！你的电脑屏幕，正在成为AGI的“眼睛”！这款开源神器让你一键记录所有操作
介绍开源项目ScreenPipe，它是跨平台桌面数据抓取API，能全维度记录数据，有沙盒化插件系统等功能。因能为AGI提供数据、对开发者友好而火，还给出安装和创建插件命令，称其有成为AGI时代“现实采集器”的野心。
Agent 时代，前端怎么变？AG-UI、A2UI 与 MCP Apps 的协同模式（下）
本文是《Agent时代前端怎么变》系列下篇，讲解AG-UI、A2UI、MCP Apps三个Agent时代UI标准的实际协同场景与实现方法，给出不同场景的适配方案，附带开源演示代码，帮助开发者做前端架构选型。
让AI说人话，Anthropic开源内部最火的skills。
周末，Anthropic官方分享并开源内部常用的skills——eli5，其作用是让AI说人话，解决模型回复冗长啰嗦问题。还介绍了安装方法，指出从opus4.6起，模型coding和agent能力变强但人味淡。
近 2w Star，隐私优先，打工人新选择！
云端AI会议工具存数据泄露风险，Meetily项目主打100%本地处理，解决隐私短板。它是开源AI会议助手，能实时转录音频、区分说话人、生成摘要，数据不离开设备，在GitHub获近2万Star。
别再手写 Skill 了！微软最新研究：像神经网络一样训练 Skill
微软研究提出 SkillOpt 方法，把 Skill 文档当「权重」训练，在 52 个测试组合中全部最优或并列最优，平均提升 23.5 分，碾压人类手写。该方法跨模型、环境有效，已开源，使用方便。