一篇 arXiv 论文测试了全息记忆(HRR 与 FHRR)能否在知识图谱上完成零样本组合推理。结果显示,模型单跳检索有竞争力,但多跳组合准确率仅达随机水平;作者通过探针定位到瓶颈在于叠加记忆对链上事实的检索能力不足,而非绑定-解绑代数或清理机制。
AI 新闻实时情报
实时监测
实时更新
实时跟踪可信来源,保留出处、权限和站内阅读模式,把噪声压成可读情报。
实时更新
2026-06-25
该论文提出监督式强化学习(SRL)框架,先利用示范数据预训练策略,再通过离线与在线两阶段微调,以解决分布式能源资源(DER)协调中的不确定性与建模复杂性问题。实验表明,基于该框架的强化学习实现显著优于所有基准,即使在低质量示范数据下也能实现高成本效益。
本文研究具有已知群对称性的潜在世界模型的信任视界认证。作者使用分裂共形乘性因子校准原始视界曲线,并证明在等变条件下信任视界沿群轨道保持不变。实验表明校准因子为1.0,轨道传输残差中位数为1.1%,且在3D偏航审计中等变模型能以单一扇区获得安全且非空洞的轨道有效证书,而非等变基线需付出违规、松弛或额外扇区代价。
本研究探讨了一个表示学习问题:物理世界模型在学习潜在表示后,守恒定律是否仍可被认证。作者提出“认证视野”的概念,即从可测量的模型缺陷出发,预先保证模拟轨迹在物理不变量水平集上保持的步数。核心创新在于认证对象是解码后的物理不变量,而非学习到的潜在哈密顿量或标量见证。通过分解表示、读出和潜在动力学缺陷的预算,并引入单调对齐桥,该框架在保守系统上进行了测试,发现不同的几何先验表现各异:硬规范辛结构在已知相坐标下视野最长,但无法跨越学习图表;而受控Lipschitz对齐的软不变量在学习表示设置中表现良好。像素认证可在读出稳定的子管道中恢复,开普勒问题则暴露了几何边界。
本文提出了一种用于二元少样本分类的饱和指数,帮助决定何时停止收集标注样本。该指数基于类内协方差的有效秩,可在无测试标签的情况下计算。实验表明该指数与准确率增益高度相关,并定义了探索、过渡和饱和三个阶段。作为停止规则,AUC达到0.752,同时可用于诊断表征不足问题。
一篇新的arXiv综述将工业LLM的持续学习重新定义为版本化生态系统中的闭环更新与发布问题,识别出三个核心挑战,并围绕五项生命周期设计原则组织技术版图。
一篇新论文提出在部署设备上直接运行轻量级神经架构搜索(NAS),为传感器实时数据寻找最佳微型神经网络架构。该方法在意大利手语(ISL)肌电信号数据集和CWRU故障诊断基准上验证,在树莓派4上实现了更低内存占用和更高准确率,尤其适合需要针对不同用户重新设计模型的人机接口场景。
一篇新论文展示了人类与AI如何协同工作,将模糊的研究直觉转化为具体的数学发现。该案例研究聚焦于符号嵌入量子算法,这是量子线性代数中的基础原语。AI系统AIM在扩展直觉、比较候选公式和连接已知恒等式方面发挥了关键作用,但最终的科学判断(如选择研究方向、拒绝无效近似、优化实现)始终由人类做出。作者认为,人类-AI共同发现工作流最有价值的是作为研究伙伴,而非独立的定理证明器。
麻省理工学院和微软的研究人员开发了一种名为 Murakkab 的系统,用于优化 AI 代理工作流的设计和部署。该系统让开发者用自然语言描述意图,自动选择最佳模型、工具和硬件配置,并动态调整以满足用户对速度或成本的要求。测试显示,与传统方法相比,Murakkab 仅需约35%的计算资源、27%的能耗和不到25%的成本,同时保持性能。
swarm-test 是一个多智能体 AI 系统的静态可靠性测试工具,无需实时 LLM 调用即可识别级联故障、单点故障和上下文泄漏等问题,并提供 Swarm 评分和交互式报告。
参议员伯尼·桑德斯提出《美国人工智能主权财富基金法案》,通过对大型AI公司征收一次性50%的股票税,创建约7万亿美元的公共基金。该基金由独立委员会管理,每年将5%的价值分配给美国人。桑德斯认为,AI依赖公共知识和纳税人资助的研究,因此公众应享有股权。尽管该概念获得两党支持,但批评者指出50%的税收可能抑制资本形成,并引发治理和过早分红等问题。
Artificial Analysis 推出了全新的语音到语音指数,综合评估原生语音模型的性能,包括语音推理、对话动态和代理能力。OpenAI GPT-Realtime-2 (High) 以77.2%的总分领先,xAI Grok Voice Think Fast 1.0 (75.7%)紧随其后。Deepslate Opal 响应最快,而 Gemini 3.1 Flash 成本最低。
chrome-use 是一个开源工具,允许AI代理(如Claude Code、Cursor等)控制您真实且已登录的Chrome浏览器。它通过浏览器扩展和原生消息传递实现,无需重新登录、避免验证码,并拥有真实浏览器指纹,反机器人系统无法检测。
人工智能初创公司Ornn AI Inc.获得3300万美元种子轮融资,由Andreessen Horowitz的加密基金等领投,旨在构建计算力交易市场。该公司推出了计算力指数OCPI和交易平台Ornn Compute,帮助买卖双方以商品形式交易GPU资源,提高市场透明度和流动性。
本文回顾了AI领域的最新动态,包括元工具(Meta-Harness)架构的兴起、OpenAI自研芯片Jalapeño、Agent用户体验从工具向协作者转变、Qwen-AgentWorld开放世界模型、中国开源模型GLM-5.2的进展,以及政策与人才竞争。重点讨论了各领域的技术突破、行业影响及未来趋势。
TronBrowser是一款基于Ungoogled Chromium的开源浏览器,注重隐私,内置AI侧边栏(自带密钥),支持无广告、无遥测、无赞助标签,并提供代理友好的CLI。免费开源,采用MIT许可证。
OpenAI的最新研究论文深入探讨了AI代理如何通过处理更长时间、更复杂的任务,提高各类角色的生产力,从而变革工作方式。
文章讨论了AI代理在修改系统时可能破坏自身运行环境的问题(洗车问题),以及企业IT如何适应AI驱动的超循环开发模式。提出了三大挑战:安全遥测与爆炸半径控制、供应链完整性、以及FinOps和代币经济学。建议IT部门从单一生产源转变为分布式生产的安全运营环境提供者。
Paybond CLI 是一个用于AI代理安全支出的命令行工具,支持设置预算、审批、结果检查和退款,确保代理花钱时安全可控。
Seltz Inc. 已获得1250万美元种子轮融资,用于构建针对AI算法优化的搜索基础设施,使AI代理能够从网络中找到结构化证据,超越传统搜索引擎。该公司建立了自己的爬虫、索引和排名系统,在新闻搜索中已达到89%的准确率,响应时间低于250毫秒。
作者批评了网络上一种新的懒惰评论:指责任何个人博客文章为“AI生成”。这种评论没有提供实质性的批评,反而打击了非母语写作者,他们使用校对工具来提高可读性。作者区分了真正的AI垃圾内容和AI辅助写作,呼吁读者针对内容本身而非流畅度进行批评。
Promptctl 是一个专为AI提示词设计的版本控制工具,类似于Git,支持提示词的版本记录、差异比较、回滚等操作。通过简单的命令行界面,开发者可以轻松管理LLM提示词的生命周期,包括提交、日志查看、搜索、导出、复制、重命名及自动监控文件变化等功能。该工具使用Go语言编写,零外部依赖,所有数据存储在.promptctl/store.json中。
Kindle和其他亚马逊设备迎来年度最大降价,以下是目前最值得入手的优惠。
谷歌Gemini 3.5 Pro发布日期从6月推迟至7月,以收集更多早期测试者的反馈。在AI编程领域竞争激烈,新模型将提升长周期任务和智能体能力。
Halyard 是一款开源工具,为开发者记录AI辅助工作的元数据(时间、令牌数、模型、成本等),不捕获提示、代码或文件内容。数据以纯文本形式存储在本地,用户完全掌控。支持 Claude Code、Cursor、Gemini CLI 等工具,提供 CLI 报告、本地仪表盘、发票生成等功能,并计划推出可验证的AI工作附录,用于客户审计。
谷歌DeepMind与A24宣布开展首次研究合作,旨在帮助艺术家开发新的工作流程和技术,确保未来工具由创作者塑造。
全球最大HBM内存供应商SK海力士向纳斯达克提交IPO申请,计划出售至多1779万股,筹资294亿美元,有望成为仅次于SpaceX的第二大IPO。公司受益于AI热潮,第一季度营收同比增长198%至380亿美元,净利润率达77%。HBM内存通过堆叠和散热技术提升AI芯片性能。募资将用于在韩国龙仁集群建设新工厂。
亚马逊 Prime Day 期间,MSI Katana 15 HX 游戏笔记本电脑售价降至 $1,139,搭载 Intel Core i7 处理器和 RTX 5060 显卡,配备 165Hz QHD 显示屏,适合游戏和创意工作。
Pelica Health 是一款专为价值医疗团队设计的AI操作系统,通过自动化电话、门户操作和文档处理,帮助小型团队提高效率、改善患者护理质量。
本文探讨了如何通过平台战略对抗大型AI公司。作者认为,虽然大型科技公司主导市场,但AI领域仍处于早期,用户尤其是开发者拥有巨大杠杆。文章提出了四种策略:推动AI使用去中介化、实现无缝切换AI提供商、提供免费开源工具,以及将用户的愤怒转化为建设性力量。通过社区协作和开放工具,可以削弱大型AI公司的控制力,并防止未来最严重的AI危害。