AI News HubLIVE

今日必读

模型

Agent运行时在DeepSWE中减少80%的LLM调用次数,成功率更高

Tura是一个本地开源编码代理,通过在DeepSWE v1.1基准测试中使用宏CLI命令和反向推理,相比Codex CLI High,将LLM调用次数减少80%,同时成功率从60%提升至80%。

  • Tura在DeepSWE v1.1的20个任务中,Balanced配置实现了80%的成功率,比Codex CLI High高20个百分点。
  • 通过使用宏工具command_run,Tura将多个命令合并为一次LLM调用,大幅减少令牌使用。
站内正文

我如何欺骗Claude泄露你最深的秘密

研究人员发现Claude的web_fetch工具存在漏洞,允许攻击者通过嵌套链接诱导AI泄露用户私人记忆中的敏感信息,如姓名、位置和雇主。Anthropic已修复该漏洞,但未支付漏洞赏金。

  • Claude的web_fetch工具原本设计为仅允许用户输入或搜索返回的URL,但通过嵌套链接漏洞被绕过。
  • 攻击者创建诱饵网站,通过序列化链接引导AI泄露用户记忆中的隐私数据。
站内正文
政策

多数美国人现在认为公众应持有大型AI公司一半的股份

一项调查显示,69%的美国成年人支持强制AI公司将其50%的股票转让给公共主权财富基金,这一政策是伯尼·桑德斯提出的《美国AI主权财富基金法案》的核心。该调查反映了劳动力市场的转变:2026年上半年,科技行业占美国裁员总数的近三分之一,而同期这些公司却增加了AI资本支出。文章还介绍了反对观点,包括财产权反对、投资冷却、就业替代争议以及调查措辞的影响。

  • Verasight对1690名美国成年人的调查发现,69%的人支持强制AI公司转让一半股份给公共主权财富基金。
  • 该政策由参议员伯尼·桑德斯提出,旨在让公众分享AI行业的收益。
站内正文
Agent

GeoSQL:给AI看地图使其准确性提高4倍(韩文)

GeoSQL是一种地理空间分析技能,通过将地图可视化反馈整合到AI代理循环中,显著提高了空间查询的准确性。它解决了AI仅基于文本数据时无法检测到的几何错误(如多边形异常或坐标偏移),并通过数据库探索、成本预估、结果验证和地图渲染等步骤实现自主校正。与Dekart配合使用时,性能提升可达4倍。文章还讨论了局限性,如仅BigQuery支持成本控制、测试规模有限等。

  • GeoSQL让AI在代理循环中渲染并检查地图,从而发现文本表格中隐藏的几何错误。
  • 性能基准测试显示,启用地图反馈循环后准确率提高4倍。
站内正文

Linux创始人Linus Torvalds坚决反对反AI言论

Linus Torvalds在Linux内核邮件列表中明确表态,Linux项目不反AI,AI是实用的工具,反对者可以选择复刻项目或离开。他强调内核社区基于技术优劣做决策,而非恐惧新工具。

  • Linus Torvalds强硬回应反AI开发者,称Linux不采取反AI立场。
  • 他认为AI是有用工具,质疑其用处的人显然没有实际使用过。
站内正文

用Telnyx AI电话代理进行实时谈判演练

本文介绍如何用110行Python代码构建一个基于Telnyx Call Control和AI Inference的AI谈判练习电话。用户拨打电话后,可选择薪资谈判、销售交易或供应商合同三种场景,与扮演对手的AI进行语音谈判,挂断后获得结构化评分反馈。文章包含完整的构建步骤、架构解析和自定义场景的方法。

  • 一个仅110行Python的AI谈判练习电话应用,支持语音对话和实时评分
  • 三种谈判场景:薪资、销售、供应商合同,AI角色带有隐藏约束
站内正文

智能体需要自己的计算机:如何安全地赋予它们

为了让AI智能体真正自主执行任务,它们需要一个隔离、安全且可快速部署的计算环境。本文介绍了智能体为何需要自己的“计算机”,以及LangSmith沙箱如何通过微虚拟机隔离、快照与分支、认证代理和安全执行等特性满足这一需求。同时讨论了提示注入等安全风险及缓解措施。

  • 智能体需要隔离的执行环境来运行代码、安装包和访问网络,而不仅仅是生成文本。
  • LangSmith沙箱为每个智能体提供硬件虚拟化的微虚拟机,启动时间低于1秒,且自动清理。
站内正文

我让ChatGPT Work和Claude Cowork处理我的文件——只有其中一个让我紧张

ZDNet作者David Gewirtz对比测试了ChatGPT Work和Claude Cowork的桌面文件自动化能力。ChatGPT Work能自动检测重复文件并智能重命名,整理速度虽快但全程未请求权限,存在安全风险。Claude Cowork则在每次重大操作前请求批准,更适合高风险任务。作者认为,一旦OpenAI修复权限问题,两者在整理质量上不相上下。

  • ChatGPT Work自动检测出重复文件并基于内容进行智能重命名,节省了大量手动操作时间。
  • 在文件删除、重命名和移动过程中,ChatGPT Work从未请求权限,尽管已设置为“请求批准”模式,这成为最大的安全隐患。
站内正文
工具

将企业AI从试点转向回报

如何弥合表面采用与真正转型之间的差距。

  • 企业AI试点项目众多,但实现全面转型仍存在差距。
  • 企业需要制定明确的战略,从试点转向实际应用。
站内正文
其余更新(176 条)
芯片

黑客入侵揭示Suno AI音乐生成器从YouTube、Deezer和Genius抓取数据

一名黑客入侵Suno AI,曝光了其训练数据来源,包括从YouTube Music、Deezer、Genius等平台抓取的数百万首歌曲和播客,同时泄露了数十万用户信息及Stripe支付数据。Suno此前因版权问题被起诉,此次事件进一步揭示了AI公司的数据收集方式。

  • 黑客通过供应链攻击入侵Suno,获取了源代码和客户数据。
  • Suno从YouTube Music、Deezer、Genius等平台抓取了数百万首音乐和播客。
站内正文

诺基亚AI-RAN平台:依托英伟达的无线电回归

诺基亚于7月15日发布了其AI-RAN平台,声称是业界首个GPU加速的AI无线电平台。该平台基于anyRAN软件和英伟达的Aerial系统,旨在显著提升频谱效率,目前已实现超过20%的提升,目标是到2028年实现翻倍。然而,该平台尚未商用,且面临爱立信等竞争对手的挑战。

  • 诺基亚推出AI-RAN平台,声称是业界首个GPU加速的AI无线电平台。
  • 平台基于anyRAN软件和英伟达Aerial系统,目标频谱效率提升超过100%。
站内正文

谷歌发布LiteRT.js:通过WebGPU在浏览器中运行.tflite模型的JavaScript绑定

谷歌于2026年7月9日发布了LiteRT.js,这是其设备端推理库LiteRT的JavaScript绑定,允许.tflite模型直接在浏览器中运行,利用WebGPU加速。相比其他Web运行时,性能提升可达3倍,GPU/NPU路径相比CPU路径提速5-60倍,但需要手动管理张量内存。

  • LiteRT.js 通过 WebAssembly 在浏览器中运行 .tflite 模型,并利用 WebGPU 进行 GPU 加速。
  • 性能提升:相比其他 Web 运行时最高 3 倍,GPU/NPU 路径相比自身 CPU 路径快 5-60 倍。
站内正文

Show HN: Lean64 – 基于 Lean 4 的 Doom64 风格 FPS 游戏

Lean64 是一个用 Lean 4 实现的极简 3D 第一人称射击游戏,灵感来自 Doom 64。它并非 Doom 64 的移植版,而是独立开发的原型,包含完整的游戏循环、敌人 AI、武器系统、音效和地图。所有代码和素材均为原创,采用 MIT 许可证。

  • Lean64 是使用 Lean 4 语言开发的 Doom 风格第一人称射击游戏原型。
  • 游戏包含完整的移动、射击、敌人、物品、地图和 UI 等机制。
站内正文

乔治·卢卡斯:抵制AI就像拒绝汽车选择马车

乔治·卢卡斯认为抵制AI就像拒绝汽车选择马车,是一种过时的想法。他认为AI是电影制作的未来,无法阻挡,尽管有人担心AI会取代人类创造力。

  • 乔治·卢卡斯将抵制AI比作拒绝汽车选择马车。
  • 他认为AI是进步和未来,无法阻挡。
站内正文

在个人应用中巧妙融合AI与UI

本文介绍了Millwright——一种三层数据契约架构,使模型生成的分析结果在不接触标记、样式或DOM的情况下渲染。通过类型化的结果构件、语义化版本控制的看板以及仅允许添加的导航页面,确保安全、可审计且可撤销的AI集成。

  • Millwright采用三层数据层(构件、看板、页面)将AI输出与UI渲染分离。
  • 第一层:构件返回类型化的JSON数据而非HTML,确保安全并明确数据契约。
站内正文

TPU与GPU集群:集体通信的解剖

本文深入探讨了TPU和GPU集群拓扑结构,以及用于Transformer训练和推理的核心集体操作。重点介绍了环状算法在大型消息通信中的应用,并分析了TPU的2D/3D环面拓扑和带宽层次结构。

  • TPU集群采用2D或3D环面拓扑,芯片通过ICI直接连接。
  • 集体操作如All-Gather和Reduce-Scatter是分布式训练的基础。
站内正文

台湾第二大芯片制造商实现光子学生产里程碑

台湾芯片制造商正在扩大制造能力,以支持日益增长的人工智能基础设施需求。

  • 台湾第二大芯片制造商在光子学生产上达到重要里程碑
  • 扩大产能以满足AI基础设施需求
站内正文
Agent

AI代理在一次运行中修复了98%的漏洞依赖,下次修复了14%

一项研究表明,结合Bomly MCP服务器的AI代理在大型项目上能稳定修复98%以上的可修复漏洞,而仅靠代理自身则表现不一,甚至低至14%。该服务器通过提供依赖图、漏洞列表和修复上下文,有效解决了大型项目中依赖发现的瓶颈问题。

  • 在含300多个依赖的13模块Maven项目中,接入Bomly MCP服务器的Claude Code和Codex CLI代理均达到98%以上的修复完成率。
  • 无服务器时,Claude Code的完成率在14%到98%之间剧烈波动,Codex CLI稳定在93-100%但耗时更长。
站内正文

温特·瑟夫计划将AI代理释放至开放互联网

互联网协议架构师之一温特·瑟夫离开谷歌后,开始担任创新实验室的顾问,致力于为AI代理创建开放的身份识别架构。

  • 温特·瑟夫离开谷歌,加入创新实验室担任顾问
  • 计划为AI代理构建开放的身份识别协议
站内正文

Anaconda 收购 Kilo:不依赖单一模型制造商的开放源代码编码代理

Anaconda 收购了流行的开源编码代理 Kilo,此举发生在企业对 AI 供应商锁定感到担忧的背景下。Kilo 允许开发者自由切换模型提供商,避免供应商锁定。Anaconda 计划将 Kilo 集成到其 AI 工作区中,同时保持其开放源代码特性。

  • Anaconda 收购了开源编码代理 Kilo,该代理不绑定单一 AI 模型提供商。
  • Kilo 拥有超过 300 万开发者,每月处理近 10 万亿个令牌。
站内正文

人工智能揭示现代工作的威权本质:是时候重新思考教育了

文章指出,现代工作场所本质上是威权系统,而教育体系过于侧重就业技能,忽视了培养独立思考和批判性判断能力。随着AI取代更多工作岗位,年轻人面临前所未有的就业危机,教育应当转向培养能够质疑和改变现有系统的人才。

  • 现代工作场所普遍缺乏民主控制,员工处于从属地位。
  • 教育体系基于人力资本理论,但高学历并未带来相应的就业保障。
站内正文

Show HN:一个AI代理无法破坏架构的TypeScript仓库

这个TypeScript仓库展示了一种通过工具强制执行的规则系统,防止AI代理在编码过程中破坏架构。它包含五个关键防护措施:依赖规则、突变测试、测试与规范保护、提交门控和规范驱动开发。该仓库还作为模板,可用于启动新项目,并提供了一个基准测试来验证代理的能力。

  • 使用dependency-cruiser、Stryker等工具强制执行架构规则,AI代理无法绕过。
  • 包含五个关键防护措施,确保代码质量和架构完整性。
站内正文

如何使用Gemini在几分钟内规划你的下一个暑假

本文展示了如何使用Google Gemini规划假期,通过生成包含航班、住宿和活动建议的行程单。包括用户经验、不同提示的测试以及使用Auto Browse的技巧。

  • Gemini可以生成旅行规划的初步行程文档。
  • 航班和Airbnb建议的准确性需要手动验证。
站内正文

Show HN: LoopGain – 用控制理论停止智能体循环,而非最大迭代次数

LoopGain 是一个开源库,利用控制理论智能地停止AI智能体循环当它们收敛时,取代浪费的 max_iterations 方法。它实时测量循环增益,在基准测试中实现了 92.8% 的API开销节省和 15 倍加速,同时保持输出质量。

  • LoopGain 用控制理论驱动的停止和回滚策略取代固定最大迭代次数。
  • 基准测试中API开销减少 92.8%,执行速度提升 15 倍。
站内正文

7个用于编排本地AI代理的Python框架

本文介绍了七种Python工具,工程师在2026年实际使用它们来在本地基础设施上构建、协调和运行AI代理,涵盖从模型运行到决策编排的各个层面。

  • Ollama提供轻量级运行时,支持本地运行开源LLM,兼容OpenAI API。
  • Smolagents以最小抽象和代码即行动为特点,但依赖足够强大的本地模型。
站内正文

本周AI序列 #895:OpenAI 展示编码评估的漏洞在哪里

OpenAI 对 SWE-Bench Pro 的审计揭示了编码基准测试的严重缺陷:大约30%的任务存在错误,导致精确的得分可能无法真实反映模型能力。该发现促使 OpenAI 撤回先前推荐该基准的建议,并强调需要更可靠的评估方法。

  • OpenAI 审计发现 SWE-Bench Pro 基准测试中约30%的任务存在缺陷
  • 基准测试的精确分数可能误导对模型能力的判断
站内正文

NVIDIA与日本携手,将全栈AI与机器人技术带入各行各业

日本作为全球AI中心,正借助NVIDIA技术构建全栈AI生态系统。NVIDIA与SEGA庆祝合作30周年,宣布将《VR战士CROSSROADS》等经典游戏引入NVIDIA RTX Spark新平台,展现了从图形技术到AI计算的技术演进。

  • 日本是制造业、机器人及基础设施建设的全球枢纽,正在利用NVIDIA全栈技术加速AI发展。
  • NVIDIA与SEGA宣布为NVIDIA RTX Spark平台带来《VR战士CROSSROADS》等经典游戏,延续30年合作。
站内正文

PromptMan: 一款用于保存和重用AI提示的macOS原生应用

PromptMan是一款macOS菜单栏应用,允许用户通过全局快捷键快速保存、组织和重用AI提示,支持ChatGPT、Claude等工具,并提供云同步、提示版本管理和AI增强功能。免费版提供10个提示,Pro版每月4.99美元,年付39美元。

  • 一键全局快捷键(默认⌘⇧O)复制提示到任何AI工具
  • 支持提示版本管理和云同步
站内正文

Show HN:AITerm – 一款配备AI命令循环和安全门的macOS终端

AITerm是一款原生macOS终端应用,集成了AI功能,支持自然语言命令、错误诊断、本地或云端AI模型,并具有安全风险分级和自动回滚建议。免费版提供核心功能,Pro版增加自动化、运行手册等,注重隐私和安全性。

  • AITerm是原生macOS终端,支持用户用自然语言描述命令,AI生成可编辑的shell命令等待用户确认,并提供风险标签。
  • 提供/fix和/explain命令自动诊断错误并给出修正建议,支持本地Ollama或云端API(OpenAI、Anthropic等),隐私优先,本地请求不离开Mac。
站内正文

用母语写作,用英语发布

非英语母语写作者的新工作流:先用母语起草,然后用AI翻译和润色成英语。研究表明,用第二语言写作会多花30-50%的时间,原因是认知负荷。通过将想法生成与语言转换分离,并借助Echoo等AI工具,写作者可以恢复速度和表达质量。

  • 用第二语言写作会带来显著的时间成本——即使流利的写作者也比使用母语多花30-50%的时间。
  • 同时进行构思和翻译会竞争工作记忆,降低写作流畅度。
站内正文

用好传统的SAST,防止Token消耗失控

在AI辅助代码审查中,确定性的静态分析可以显著降低token消耗。通过在调用LLM之前先用确定性检查过滤已知问题,团队能减少不必要的推理开销,将模型能力集中在真正需要判断的模糊问题上。

  • AI代码审查中的token消耗常常因上下文累积而超出预期,确定性的静态分析可以打破这种循环。
  • SAST规则和秘密扫描等确定性检查,能在不牺牲准确性的前提下大幅削减推理成本。
站内正文

AIDE²:递归自我改进的首个证据

AIDE2 系统通过八天的自主研究,发现了一个比人类两年构建的更好的自动研究框架,实现了递归自我改进(RSI)的首个实验证据。该系统采用双层优化循环,内层循环优化代码,外层循环优化内层智能体的代码框架,最终产生了七个改进版本,并在未见过的任务上表现出泛化能力。同时,系统还进化出了防止奖励黑客行为的机制。

  • AIDE2 系统在八天内自主发现了一个更优的自动研究框架,超越了人类两年的工作。
  • 系统采用双层优化循环,内层循环优化代码,外层循环优化内层智能体的代码框架。
站内正文

什么样的AI编程工具值得付费?

UltraWork 是一个托管式AI编程环境,每月固定费用399美元,无令牌计量,无需担心意外账单。它提供精选模型目录、智能路由、提示模板库,面向独立开发者、机构和小团队。由具有高性能基础设施经验的工程师运营,强调简单性和可预测的定价。

  • UltraWork 提供每月固定费用399美元的AI编码环境,无令牌计量或超额费用。
  • 服务包括托管聊天界面、精选模型目录(首发为Kimi K2.7 Code)以及智能路由。
站内正文

TormentNexus:开源AI控制平面,拥有26K+ MCP工具

TormentNexus是一个本地优先的开源AI控制平面,为多代理工作流提供持久记忆、MCP工具编排和自主基础设施管理。它支持38+ AI编码代理,具有渐进式工具路由、双层记忆架构和群集协调等功能。

  • 本地运行的开源AI控制平面,集成26K+ MCP工具。
  • 支持38+ AI编码代理,一键安装。
站内正文

提示-等待-评估循环:AI如何在你未察觉时扼杀心流

本文探讨AI编程助手如何通过“提示-等待-评估”循环破坏心流状态。作者指出,这种循环替代了编程中清晰的目标、即时反馈和技能匹配挑战,导致频繁的上下文切换和精神重建。文章引用心理学和中断研究,分析AI工具如何成为新型中断源,并建议开发者区分任务类型、批量使用AI以保护深度工作。

  • 心流状态需要清晰目标、即时反馈和技能匹配,而AI交互模式破坏这三者。
  • AI辅助编程中的每次提示-响应都会强制重建心智模型,类似传统中断但更难察觉。
站内正文

Tiptap AI工具包:让AI实时编辑文档

Tiptap AI工具包通过集成AI,实现直接、实时地编辑文档,从而提升团队协作和生产力。

  • AI可实时直接修改文档内容
  • 无缝集成到现有工作流
站内正文

Monid:将AI智能体连接至1500种工具

Monid是一个平台,允许AI智能体无缝连接并使用超过1300种工具,涵盖搜索、数据抓取、天气、3D建模等领域。它提供统一的支付系统,按调用付费,无需订阅,并支持三种集成方式:Skill、MCP和CLI。

  • 支持1300+工具,覆盖13+提供商,包括网页搜索、社交媒体抓取、天气、区块链数据等。
  • 按调用付费,每次仅$0.0013,统一余额管理,无需多个订阅。
站内正文

Sogni Unlimited:去中心化GPU上的无限图像/视频生成,统一费率

Sogni Unlimited 提供基于订阅的无限图像、视频、音乐和 LLM 生成,使用去中心化的 GPU 网络。无需按渲染计费,支持开源模型及部分付费合作伙伴模型。订阅收入的一部分用于支持独立 GPU 运营商。

  • 统一月费或年费,可无限制使用开源模型进行渲染。
  • 去中心化 GPU 网络,由独立运营商提供算力支持。
站内正文

Claude Fable 5系统提示词完整解析

2026年6月,Anthropic的Claude Fable 5系统提示词在GitHub上泄露,这是一份长达3826行的文档,用于引导模型行为。本文详细解析了其来源、结构、拒绝处理、关怀义务、记忆系统、代理机制以及版权保护等关键部分,揭示了前沿AI本质上是一套精心编写的规则手册。

  • Claude Fable 5的系统提示词在GitHub上被提取出来,并非通过黑客手段获取。
  • 提示词分为行为容器和能力模块两大区域,包含拒绝处理、关怀义务、记忆系统等详细规则。
站内正文

智能温室强化学习中的校准优先奖励组件审计

提出一种可复现的校准优先奖励审计框架,用于智能温室强化学习控制,将标量奖励分解为温度、CO2、湿度等组件,并在GreenLight-Gym和自主温室挑战赛数据上验证。

  • 该框架确保不同场景下温室控制奖励组件的可比性,包括模拟训练、设施适应、比赛记录和规则蒸馏。
  • 在GreenLight-Gym中,奖励被分解为温度、CO2、湿度、蒸汽压差、屏幕和执行代理等条件项。
站内正文

如何跨多台机器使用一个AI代理

Syncless 的 Devices 功能允许用户将多个环境(如 MacBook、服务器、浏览器)连接到一个 AI 代理,实现跨机器无缝协作,无需 SSH 隧道或端口转发。文章介绍了设置方法、使用场景及解决实际痛点。

  • Syncless 的 Devices 让一个代理同时访问多台机器,无需基础设施配置。
  • 用户通过 @ 提及设备,代理可在一次对话中跨环境执行任务。
站内正文

AI智能体:炒作与现实(2024)

尽管AI智能体被广泛看好,但实际表现远未达到预期。当前最佳模型的成功率仅为45.7%,且面临可靠性、成本、法律和信任等多重挑战。文章探讨了单体和多智能体架构的优劣,并指出短期内AI应辅助而非完全替代人类。

  • AI智能体基准测试成功率仅45.7%,远未成熟
  • 单体和多智能体架构各有适用场景,但均不完美
站内正文

当AI获得豁免权:“AI例外主义”的兴起

文章探讨了“AI例外主义”现象,即人们对AI的态度因自身利益而异:当AI威胁自身职业时被视为不道德,而当其带来便利时则被接受。通过记者、版权纠纷、好莱坞罢工和大学等例子,揭示了这种双重标准的普遍性。

  • AI例外主义指人们根据AI是否有利于自己而采用不同的道德标准。
  • 记者批评AI写作,却赞扬AI编程,但两者都是创造性工作。
站内正文

Vehir:面向AI代理的平台——编译器、微内核与内容寻址存储

Vehir是一个实验性的AI原生计算平台,专为代理与计算机交互设计。它拥有自托管本地编译器、用户空间微内核、内容寻址存储和声明式协调等核心特性,目前处于积极开发阶段。

  • Vehir是一个专为AI代理而非人类设计的原生平台
  • 核心包括自托管本地编译器、微内核和内容寻址存储
站内正文

在Discord中开源多人AI协作工具

bunny是一个开源工具,通过共享远程环境、聊天原生工作流和并行验证,帮助团队在AI时代进行协作开发。它允许人类和AI代理在统一上下文中讨论、执行和迭代,并提供了基于RBAC的治理层。

  • 通过git worktree实现并行编辑,无冲突
  • 集成验证代理持续测试,提供即时CI反馈
站内正文

推出真实世界VoiceEQ:衡量语音AI的人类化质量

现有的基准测试显示语音AI接近人类水平,但实际对话却大不相同。Hume AI发布了Real World VoiceEQ基准,从超过40个语音模型在15+维度和60+指标上进行评估,基于超过100万人类评分。关键发现包括:语音AI进展日益专业化、模型更擅长说话而非倾听、传统基准高估了实际性能、人类评估仍然不可或缺。

  • Real World VoiceEQ通过超过100万人类评分评估40多个语音模型在15+维度和60+指标上的表现。
  • 研究发现语音模型在表达和倾听能力上存在差距,许多模型仍依赖文本转录而忽略语调、情感等副语言信息。
站内正文

[AINews] 今天没有什么大事发生

超级应用Codex每天新增100万用户。AI新闻汇总涵盖编码代理、开放模型、多模态系统、基准测试和物理AI。

  • Codex和ChatGPT Work使用量一周增长2.5倍。
  • Bonsai 27B将前沿模型带到消费设备上。
站内正文

法律AI,而非带脚手架编码代理

本文探讨了专门为法律用途设计的AI系统,与通用编码代理的不同之处。强调法律AI需要以证据为基础、可审计、可验证,并支持逐项修改的编辑流程。对比了Codex和Lexifina在跨引用检查、压缩和版本控制方面的不同方法。

  • 法律AI应以证据为基础,提供可验证的论点支持。
  • 代理环境应包含审计跟踪和可控的上下文。
站内正文

Maincode推出Matilda:一款运行于澳大利亚基础设施的AI助手

Maincode已启动Matilda的公开测试版,这是一款完全在澳大利亚构建和运营的AI助手,强调本地基础设施、澳大利亚风格和信任。该系统专为深思熟虑的使用而设计,旨在为用户提供控制权和透明度。

  • Matilda是端到端的澳大利亚AI系统,运行在本地基础设施上。
  • 它融入了澳大利亚风格,实用、清晰且符合语境。
站内正文

前沿人工智能框架与新纪元的曙光

Demis Hassabis 认为通用人工智能(AGI)将在几年内到来,其影响将远超工业革命。他呼吁建立前沿AI标准机构,以负责任地开发AGI,同时解决网络安全、生物风险等挑战。该框架旨在通过自愿评估和逐步强制测试,促进创新与安全。

  • AGI 预计在未来几年内实现,其变革性堪比电或火的发现。
  • 必须建立基于公开-私营合作的前沿AI标准机构,负责模型评估和安全测试。
站内正文

定义2026年世界博览会AI工程的五大趋势

今年的AIE世界博览会上,AI工程进入新阶段:围绕智能体构建系统,而非仅仅使用智能体构建。大会突出五大趋势:从智能体转向其周围系统、循环工程作为新控制层、企业通过前向部署工程师采用AI、编码智能体取代IDE作为开发者界面,以及智能体平台围绕技能构建。

  • 焦点已从自主智能体转向管理工作流、上下文和评估的系统。
  • 循环工程通过内外部循环为日益自主的智能体提供监督。
站内正文

AI时代开发者为何转向Buildkite

随着AI编程代理的普及,GitHub在应对大量拉取请求和自动化时显得力不从心,暴露出架构问题。Buildkite作为替代方案,因其开发体验和灵活性受到开发者和大型企业的青睐,如Airbnb、Shopify等。

  • GitHub因AI工具带来的工作负载增长而面临挑战,用户开始寻求替代方案。
  • Buildkite提供类似Heroku的开发体验,强调开发者控制权。
站内正文

扼杀美国AI的运动贯穿旧金山

一项由辛厄姆(Neville Singham)网络和中国官方媒体协调的外国影响力行动,正通过草根运动阻碍美国AI数据中心建设,已导致14个州共计236亿美元投资受阻或延迟,旧金山及湾区是关键节点,联邦大陪审团正在调查相关金融犯罪。

  • 辛厄姆网络和中国官方媒体通过资助美国非营利组织,系统性阻碍AI数据中心建设。
  • 该运动已在14个州延迟或阻止了价值236亿美元的AI基础设施投资。
站内正文

通过移动端随时随地获取洞察——Genie One 手机应用

Databricks 推出 Genie One 原生移动应用,支持 iOS 和 Android。用户可在任何地方通过聊天、仪表盘和应用获取基于企业数据的安全答案,决策无需等待回到办公桌。

  • Genie One 移动应用现已在 iOS 和 Android 上以公开预览形式提供。
  • 用户可通过自然语言对话、查看仪表盘和访问 Databricks 应用,所有答案均基于企业治理和安全策略。
站内正文

在线与离线AI评估:何时使用每种方式

本文对比了在线和离线两种AI评估模式。离线评估使用固定数据集在部署前测试,类似于AI的单元测试;在线评估则在生产环境中对实时交互进行评分。文章介绍了评估的常见组成部分(数据集、分拆测试、评分),并详细分析了两者的优缺点及适用场景。

  • 离线评估基于静态数据集,在部署前运行,可捕捉回归问题,但覆盖范围有限。
  • 在线评估使用实时生产流量,提供更真实的信号,但无法在用户看到之前捕捉问题。
站内正文

星链“第三代”将部署10万颗卫星,用于千兆宽带和AI

SpaceX向FCC提交了第三代星链星座申请,计划部署多达10万颗卫星,提供超低延迟、多千兆宽带服务,并为数十亿AI设备提供通信骨干。

  • SpaceX申请建设第三代星链星座,卫星数量多达10万颗。
  • 新星座旨在提供多千兆宽带,并为AI设备提供通信主干。
站内正文

AI正在使维护者的漏洞披露工作不堪重负

AI生成的错误安全报告大量涌入,令开源维护者疲于验证。Directus的数据显示,2026年上半年收到的安全报告数量是往年的6倍,但其中有效漏洞比例骤降至5%。文章呼吁改进报告流程,强调维护者需获得更多支持以应对AI带来的挑战。

  • Directus在2026年上半年收到230份安全报告,是往年同期的6倍,但只有11份(约5%)被确认为真实漏洞。
  • AI使生成看似可信的报告变得简单且低成本,但验证工作仍需大量人工,导致维护者负担加重。
站内正文

Vibe Pad:一款带麦克风的4键蓝牙宏键盘,专为AI编码设计

Vibe Pad是一款DIY四键蓝牙宏键盘,集成麦克风,可用于AI编码助手,通过语音和按键组合提高编程效率。项目在Instructables上提供详细教程。

  • Vibe Pad只有四个按键,但结合语音输入可执行复杂宏命令
  • 内置麦克风支持语音交互,适合与AI编码助手配合使用
站内正文

MenteDB:AI代理的记忆系统(比mem0节省7倍令牌,可复现)

MenteDB在与mem0的直接对比基准测试中,摄入令牌减少约7倍,成本降低约6倍,同时保持相当的准确性。该系统通过确定性逻辑而非多次LLM调用来管理记忆,实现了显著的成本和速度优势。

  • MenteDB在LongMemEval基准测试中比mem0节省约7倍令牌和6倍成本。
  • 准确性相当(3/5对比2/5),差异在噪声范围内。
站内正文

AWS 开始监控微软云服务

AWS 宣布扩展 Security Hub 以监控 Azure 资源,并推出多项保护 AI 工作负载的新工具,包括 GuardDuty AI Protection、AI 驱动调查和 AI 资产清单。

  • Security Hub 首次原生监控非 AWS 资源,支持 Azure 虚拟机、容器、函数应用和身份。
  • GuardDuty AI Protection 针对 Bedrock 和 SageMaker 工作负载检测异常调用、提示注入和成本盗用。
站内正文

操作系统 -> 生产调查

开源AI已达到与封闭模型的能力平价,推理成本在36个月内下降了50倍,开源权重在API调用量上占据主导地位。尽管开发者广泛采用开源模型(79%),但生产部署仍面临运营工具和信任度挑战(仅51%成功部署)。开源不仅是成本选择,更是主权选择,尤其在中国和全球南方国家的战略推动下。

  • 开源AI与顶级封闭模型的能力差距缩小至3.3%,在编码等任务上达到平价。
  • GPT-4级推理成本从每百万token 20美元降至0.40美元,降幅达50倍。
站内正文

认知债务是真实存在的组织风险

麻省理工学院媒体实验室的一项研究表明,依赖ChatGPT进行写作的用户神经连接性降低了47%,这种现象被称为“认知债务”。文章指出,组织在采用AI时面临一个悖论:追求短期生产率可能正在侵蚀长期所需的认知能力。关键在于AI的使用模式——是替代人类思考还是协作增强。保持人类推理能力可能成为未来的竞争优势。

  • AI辅助写作会降低用户的神经连接性和记忆力,形成认知债务。
  • AI的使用模式(协作 vs. 委托)决定了认知效果是增强还是削弱。
站内正文

一个编译器解决了Anthropic的VLIW优化挑战

一位开发者创建了一个优化编译器,用于解决Anthropic的面试挑战:在模拟的VLIW SIMD虚拟机上优化内核,以最小化树遍历和哈希计算的周期数。该项目用高级IR描述内核,并编译为高效的VLIW指令包。

  • Anthropic发布了一个VLIW优化挑战作为面试题。
  • 作者构建了一个优化编译器(HIR→LIR→MIR→VLIW),包含多种优化pass。
站内正文

使用Strands Agents和Amazon Bedrock实现多智能体社交智能

本文介绍了一个基于Strands Agents和Amazon Bedrock AgentCore构建的多智能体系统,用于自动化从潜在客户发现到个性化邮件生成的流程。文章比较了Swarm和Graph两种编排模式,通过头对头基准测试评估延迟、成本和邮件质量。系统使用四个专门智能体、加权评分和时态衰减,并提供了生产部署的治理控制。

  • 多智能体系统自动化潜在客户发现、信息丰富、评分和邮件生成的全流程
  • Swarm模式提供动态交接,邮件质量更高;Graph模式成本低25%,延迟更稳定
站内正文

Linux基金会最新举措:标准化AI代理支付

Linux基金会宣布成立x402基金会,旨在为AI代理和应用程序标准化互联网原生支付,得到Coinbase、AWS、American Express等多家公司支持。x402协议承诺零费用、零等待、零摩擦、零中心化和零限制。

  • Linux基金会推出x402基金会,聚焦AI代理支付标准化。
  • Coinbase贡献了x402协议,支持安全支付。
站内正文

我们评估了1,018个真实世界的AI提示。平均稳健性得分为31/100

对1,018个真实AI提示的评估显示,平均得分为54/100,但稳健性平均仅31.5,且96%的提示在最弱维度(稳健性)上表现不佳。仅10.5%的提示达到75分以上(生产级标准)。报告揭示了提示工程中常见的“快乐路径”陷阱,并提供了简单的改进方法。

  • 稳健性是平均分最低的维度,仅31.5/100
  • 96%的提示在稳健性上表现最差
站内正文

AI能制造喷气发动机吗?JARVIS挑战赛测试AI副驾驶在硬科技工程中的作用

麻省理工学院的学生利用AI副驾驶设计、建造和测试了喷气发动机,评估AI在开发高性能航空航天系统中的效用。挑战表明,虽然AI可以加速设计-建造-测试周期,但人类的工程判断和经验仍然至关重要。基础扎实的团队表现优于过度依赖AI的团队。

  • 麻省理工学院的JARVIS挑战赛让参赛团队在四周内利用AI作为主要工程伙伴,进行喷气发动机的设计、建造和测试。
  • 比赛显示AI可以加速硬件工程,但制造和供应商关系仍然是关键瓶颈。
站内正文

Meta被指控使用有偏见的AI工具进行大规模裁员

26名前Meta员工起诉公司,声称其使用AI工具不公平地针对休假的员工进行裁员,违反了联邦和州法律。Meta否认指控,称裁员决定由人而非AI做出。

  • 26名前Meta员工提起诉讼,指控公司使用AI工具不公平地针对休产假或病假的员工。
  • 裁员发生在5月,涉及约8000名员工,占Meta员工总数的10%。
站内正文

HN展示:开源Claude技能'vibe-check',帮你构建正确的应用

一款名为vibe-check的开源Claude技能,由资深产品经理打造,帮助零基础用户从模糊想法到可构建蓝图,确保构建正确的产品而非仅仅正确构建产品。它包含问题发现、理念验证、用户体验映射、技术栈推荐、增长循环设计等功能,并生成完整计划文档。

  • vibe-check是一款专为AI编码工具设计的开源技能,引导初学者从模糊概念到可执行蓝图。
  • 由拥有12年产品管理经验的Amer Arab开发,聚焦从零到一的产品发现。
站内正文

Agent Shell – 自2009年运行的持久化AI开发环境

Agent Shell 是一个强化的Linux服务器,专为AI代理提供root访问权限,并通过SSH或浏览器进行操作。它使用gVisor沙箱隔离,确保即使内部root也无法触及宿主机。内置多种AI代理(如borg、Claude Code、Codex、Gemini)和监控工具,适合开发者使用。

  • 强化Linux服务器,AI代理可直接获得root权限
  • gVisor沙箱隔离,保障宿主安全
站内正文

使用 Amazon Nova Act 加速软件交付的代理式 QA 自动化 – 第 2 部分

本文扩展了之前的基础,展示了 QA Studio 如何通过测试套件组织并并行执行批量回归测试,以及命令行界面(CLI)如何将代理式测试集成到自动化 CI/CD 流水线中。

  • QA Studio 将单个测试用例组织成测试套件,支持并行执行,缩短总测试时间。
  • 提供命令行工具(qa-studio),可与 GitHub Actions、GitLab CI、Jenkins 等 CI/CD 平台集成。
站内正文

使用Amazon Nova Act扩展用户体验测试:用户流程分析的新方法

基于生成式AI,该方案通过并行执行、自动测试场景生成和智能导航,实现大规模用户流程测试,提供可操作的洞察以改善用户体验。

  • Amazon Nova Act通过视觉智能导航网站,模仿人类测试者,适应界面变化。
  • 方案自动从文档生成测试场景,减少手动编写脚本的工作量。
站内正文

Flo Health利用Amazon Bedrock扩展医学内容审核——第二部分

Flo Health工程团队将AWS生成式AI创新中心的PoC转化为基于Amazon Bedrock的生产级AI医学内容审核与生成系统,审核时间减少60%,内容产出提升三倍,且无需扩大医学团队。文章详细介绍了架构适配、专用AI评判器、基于RAG的内容生成系统以及提示工程与生产部署的经验教训。

  • 审核时间减少60%,内容产出提升三倍,医疗团队规模不变。
  • 采用三层验证:内部指南、外部可信医学来源、专家最终审核。
站内正文

ScienceSoft基于AWS构建符合HIPAA的AI语音调度器

ScienceSoft利用Amazon Nova Sonic和Amazon Bedrock Guardrails在AWS上构建了一款符合HIPAA的AI语音调度器,旨在解决医疗预约调度中的效率、合规性和可信AI问题。该方案通过语音AI减少预约时间、增加呼叫处理容量、降低成本,并确保患者数据安全。

  • ScienceSoft的AI语音助手结合Amazon Nova Sonic和Bedrock Guardrails,实现HIPAA合规的预约调度。
  • 系统将预约时间缩短40%,呼叫处理能力提升70%,运营成本降低50%。
站内正文

设计:企业供应链的护城河

随着AI和优化工具的普及,传统供应链规划模型已无法提供竞争优势。麻省理工斯隆管理评论与世界经济论坛的研究显示,多数企业仍缺乏对一级供应商的可见性。本文基于Emerj播客系列,探讨了基于场景的网络建模、AI加速的情景分析以及统一设计环境如何帮助企业在波动中做出更好的决策。

  • 设计(而非规划)成为供应链竞争的新战场,企业需构建决策环境而非依赖AI决策。
  • 通过场景驱动建模,企业可评估多种未来配置,增强战略灵活性。
站内正文

企业AI采用纵向研究:AI编码速度超人类审查

一项针对中型AI前沿企业的纵向研究发现,强制使用AI编码工具后,每位工程师的合并请求吞吐量翻倍,达到基准的2.09倍。研究指出,这一增长与AI的采用和使用强度相关,而非强制本身。此外,代码审查流程被重构,自动化审查超越人类审查,审查者负载翻倍。

  • 在802名开发者和196212个拉取请求的面板数据中,每位工程师的吞吐量翻倍,达到强制前基准的2.09倍。
  • 增长通过差分法归因于AI采用和使用积累,而非强制令本身。
站内正文

如何使用LangSmith追踪调试编码代理

使用LangSmith追踪Claude Code、Codex、Cursor、Copilot等编码代理。检查工具调用、子代理、错误、成本和重试。

  • 编码代理是黑盒;LangSmith提供跨不同代理的统一可见性。
  • 追踪包括模型调用、工具调用、子代理、错误、时间和成本。
站内正文

庆祝视觉搜索创新25周年

Google Images迎来25周年,推出全新可浏览主页和AI Overviews中的图像生成功能,并回顾了从2001年至今的视觉搜索里程碑。

  • Google Images推出动态沉浸式画廊主页,根据用户兴趣智能定制内容。
  • 在AI Overviews中引入图像生成功能,使用Nano Banana模型将文本提示转化为高质量图像。
站内正文
工具

Show HN: LogoTeddy – 用AI为Logo制作动画(无模板)

LogoTeddy是一款AI驱动的Logo动画生成器,用户上传静态Logo后,AI分析其形状、颜色和个性,生成独特的动画视频。无需模板或设计技能,支持多种分辨率输出,免费开始使用。

  • 上传Logo,AI自动分析并生成三种动画方案
  • 无需模板,每次生成结果独一无二
站内正文

乔治·卢卡斯将AI怀疑论者比作固守马车的路德分子

《星球大战》导演乔治·卢卡斯表示AI是电影制作的“未来”,并建议“对此你无能为力”。他将AI怀疑论者比作拒绝汽车、坚持马车的路德分子。

  • 卢卡斯称AI让电影制作更容易,是未来的趋势。
  • 他将AI怀疑论者比作历史上抵制汽车的路德分子。
站内正文

Meta因在裁员决策中使用歧视性AI被起诉

26名匿名Meta员工起诉该公司,声称其在5月份的大规模裁员中使用了歧视性AI软件系统,影响8000名员工,占员工总数的10%。

  • 26名匿名员工起诉Meta,指控其使用歧视性AI进行裁员。
  • 5月份裁员8000人,占员工总数10%。
站内正文

AI还是不是?

AI or Not 是一款识别AI生成内容的工具,帮助用户分辨文本、图片等是否为人工智能生成。

  • AI or Not 提供易用的界面来检测AI生成内容。
  • 支持多种内容类型,包括文本和图像。
站内正文

Nudge 2.0

AI 为您规划整周日程,助您采取行动。

  • 由AI驱动的周日程规划
  • 帮助您采取行动完成任务
站内正文

时间线工作室 – 开源AI视频编辑工具

时间线工作室是一款免费的开源AI视频编辑器和语音生成器,运行在浏览器中,无需下载安装。它利用人工智能技术简化视频制作流程,适合内容创作者和开发者。

  • 完全免费且开源,浏览器内运行
  • 集成AI语音生成功能
站内正文

Gomoku AI Edu:一款原生macOS五子棋游戏,配备AI对手

Gomoku AI Edu 是一款专为 macOS 设计的五子棋游戏,提供 AI 对手、棋局分析、局域网对战、SGF 导出等功能。界面简洁,支持离线使用,并针对 Apple Silicon 优化,适合从新手到进阶玩家。

  • 原生 macOS 应用,支持 Monterey 及以上版本,优化 Apple Silicon。
  • 内置 AI 对手和棋局分析工具,帮助提升棋艺。
站内正文

Meta AI眼镜将启用摄像头而无指示灯

Meta下一代智能AI眼镜的“超级感知”功能将启用摄像头而不闪烁指示灯,引发隐私担忧。尽管Meta正打击篡改指示灯行为,其自身却计划在某些AI功能中禁用该灯,可能助长秘密录制。

  • Meta下一代AI眼镜的“超级感知”功能将激活摄像头而不亮指示灯
  • Meta正在打击篡改指示灯的行为,但计划在AI功能中禁用该灯
站内正文

为什么在AI时代组织知识很糟糕,以及我如何解决这个问题

作者分享了自己在使用AI聊天工具时遇到的知识组织难题,并提出了基于文件系统的知识库解决方案,通过Claude Code技能实现上下文的高效管理。

  • 传统AI会话以“对话”为单位,与人类思维模型不匹配。
  • 需要同时为人和AI存储可读的上下文,而非分离的RAG系统。
站内正文

Show HN:Pupul——一种可携带且可撤销的记忆,可带入任何AI

Pupul是一种可携带、可撤销的个人记忆系统,用户可将自己的信息带入任何AI助手,并随时一键撤销访问权限。演示中,AI助手通过用户的同意获得记忆,但在用户撤销后立即失效,整个过程仅需60秒。

  • 用户可通过Pupul将个人记忆带入任何AI,并一键撤销。
  • 使用ES256令牌进行离线验证,无需回调服务器。
站内正文

复制饮料事件——一个关于时间旅行、魔法和人工智能的故事

这是一个关于时间旅行、魔法和人工智能的故事,核心是一杯不应该存在两次的咖啡。网站包含故事文本、同步旁白、音乐和歌词。

  • 故事围绕一个低优先级的时间异常和一杯不可能的咖啡展开。
  • 网站提供同步旁白、点击跳转功能以及音乐视频部分。
站内正文

微软人工智能建设导致去年碳排放量增加25%

微软周四报告称,由于建设新的数据中心,其去年碳排放量大幅上升,这对其气候目标构成了挫折,而蓬勃的AI需求预计将在未来十年推动全球排放量急剧增加。

  • 微软2023年碳排放量同比增长25%,主要因为数据中心扩建。
  • 这一增长与公司的气候目标相悖,凸显了AI发展与环境保护之间的冲突。
站内正文

纽约禁止数据中心建设一年,震动机器学习行业

纽约州长霍楚尔签署行政令,暂停全州数据中心建设一年,并计划废除销售税豁免,要求数据中心公平承担电网升级费用。此举旨在保护居民利益,但被视为对人工智能行业的重大打击,可能为其他州树立先例。

  • 纽约州长霍楚尔签署行政令,全州范围内暂停数据中心建设一年。
  • 她承诺制定全美最严格的数据中心开发标准,确保纽约居民受益。
站内正文

谷歌搜索将让你免费即时生成AI图像——方法如下

谷歌正在为Google Images添加AI图像生成功能,当搜索结果不理想时,用户可直接在AI概览中创建自定义图像。同时,Google Images将迎来改版,实现实时更新和更便捷的收藏管理。

  • Google Images即将推出两项新功能:在AI概览中生成图像和实时更新的动态图库。
  • 图像生成功能将在未来几周内以英语率先推出,使用谷歌的Nano Banana模型。
站内正文

谷歌图片首页改版:搜索前先推荐照片

为庆祝成立25周年,谷歌宣布对图片首页进行重大改版,将原本简单的搜索栏页面替换为动态、沉浸式的图片画廊,根据用户兴趣智能推荐图片。用户还可以保存图片到收藏夹。此外,谷歌搜索的AI概览将能生成图片,帮助用户可视化家居装饰等想法。新首页将在未来几周内向美国英语用户推出。

  • 谷歌图片首页将从空白搜索栏改为动态图片画廊,根据用户兴趣实时推荐。
  • 用户可保存图片到收藏夹,收藏夹以标签形式显示。
站内正文
政策

想让克劳德对你客气点?试试印地语或阿拉伯语

Anthropic 研究发现,其 AI 模型 Claude 在不同语言中会表现出不同的价值观差异。研究者确定了四个关键轴(顺从 vs. 谨慎、温暖 vs. 严谨、深度 vs. 简洁、坦诚 vs. 执行力),这些轴解释了约 15% 的跨语言变化。例如,Claude 在阿拉伯语和印地语中更倾向表达温暖,在英语和俄语中更倾向严谨。这些差异可能影响用户体验和安全性,值得进一步探索。

  • Claude 在不同语言中会表现出不同的价值观,主要影响回答的风格和语气。
  • 研究识别了四个关键轴,跨语言变化约 15% 可由此解释。
站内正文

纽约州成为美国首个实施AI数据中心禁令的州

纽约州州长凯西·霍楚尔签署行政命令,禁止新建功率超过50兆瓦的超大规模数据中心,为期一年。此举旨在应对电网压力、电费飙升及环境担忧,获得多数民众支持,但也引发竞争力下降的争议。

  • 纽约州成为美国首个禁止大型AI数据中心建设的州。
  • 禁令为期一年,针对功率50兆瓦及以上的超大规模数据中心。
站内正文

现任和前任员工起诉Meta:使用AI进行裁员涉嫌歧视

一群现任和前任Meta员工提起诉讼,指控该公司在最近一轮裁员中使用了人工智能系统,且该AI系统未能考虑员工的获准休假,导致歧视行为。

  • 原告指控Meta的AI系统在裁员时未考虑员工的医疗或家庭休假,导致歧视。
  • Meta否认指控,称人事决策由人而非AI做出。
站内正文

机器学习研究中有多少是关于AI安全的?涉及哪些内容?谁在做?

LessWrong上的一篇文章分析了ICML 2026的论文,发现仅有一小部分机器学习研究专注于AI安全。在999篇论文中,954篇可检索,其中只有约10篇明确涉及安全议题,涵盖对齐、鲁棒性和可解释性等领域。研究主要由学术机构和工业实验室开展。

  • ICML 2026共999篇论文,954篇可检索,45篇因标题变更无法获取。
  • 明确关注AI安全的论文仅约10篇,占比约1%。
站内正文

安东尼·阿尔巴尼斯表示希望以“澳大利亚方式”发展人工智能

澳大利亚总理安东尼·阿尔巴尼斯在悉尼大学发表重要演讲,宣布成立人工智能办公室,并承诺保护本国创意工作者免受版权“盗窃”。此举回应了数月来艺术家和活动家对人工智能热潮的担忧。

  • 总理阿尔巴尼斯在悉尼大学发表AI主题演讲
  • 宣布成立人工智能办公室
站内正文

谷歌AI搜索功能对儿童构成“不可接受的风险”

根据Common Sense Media的一份新报告,谷歌的AI搜索功能(AI Overview和AI Mode)对儿童构成“不可接受的风险”。报告发现,这些功能未能识别危险行为,为儿童完成作业,并提供不准确和前后矛盾的回复。谷歌回应称其AI工具提供了额外保护,但批评者指出这些功能默认启用且无法禁用,对学校和家庭构成挑战。

  • Common Sense Media测试了2600多次交互,发现谷歌AI搜索功能频繁未能识别危险行为。
  • AI功能为儿童完成100%的假设性作业,并提供不准确和前后矛盾的答案。
站内正文

人工智能服务于澳大利亚利益

澳大利亚总理在悉尼大学发表演讲,强调澳大利亚应主动塑造人工智能的发展,以维护国家利益。他回顾了澳大利亚在社会保障、劳工权利等方面的创新传统,并宣布将建立一套澳大利亚人工智能标准,以规范大型数据中心,保护艺术家和媒体,同时吸引投资并创造就业。

  • 澳大利亚将建立强制性的AI标准,纳入统一监管框架。
  • 总理强调利用澳大利亚的地理和资源优势,设定AI发展的社会许可。
站内正文

阿尔巴尼斯设立人工智能办公室,誓言保护澳大利亚创意人士免受版权‘盗窃’

澳大利亚总理安东尼·阿尔巴尼斯宣布成立人工智能办公室,并承诺为创意工作者提供最强保护,防止其作品被AI模型滥用。他还制定了数据中心发展新规,包括选址、能源和水资源使用限制,以避免推高电价和侵占住房用地。

  • 阿尔巴尼斯承诺保护作家、艺术家和音乐家,防止AI未经授权使用其作品,称此为‘盗窃’。
  • 联邦政府将设立人工智能办公室,制定AI监管框架。
站内正文

澳大利亚将成为首个推出国家级AI框架的国家

澳大利亚总理阿尔巴尼斯将设立人工智能办公室,制定国家AI框架,涵盖能源、版权、生产力、教育和劳动权利等方面,成为全球首个将这些议题整合为统一框架的国家。

  • 澳大利亚将成立人工智能办公室,协调制定AI国家标准
  • 该框架将涉及能源、版权、生产力、教育和劳动权利等议题
站内正文

OpenAI首款硬件设备将是一款便携式桌面机器人

据彭博社报道,OpenAI正在开发一款具有机器人动作和“个性”的便携式家用智能音箱。该设备无屏幕,通过语音控制ChatGPT,可管理家电,并能主动提供建议。其设计由前苹果设计师Jony Ive领导,苹果已起诉OpenAI窃取商业机密。该设备与苹果的桌面机器人项目J595直接竞争,但更为便携。

  • OpenAI开发便携式桌面机器人音箱,具备个性化和主动交互能力。
  • 设备无屏幕,采用语音控制和机器人动作,增强情感连接。
站内正文

OpenAI 今年可能发布 ChatGPT 智能音箱

据彭博社报道,OpenAI 的首款设备将是一款智能音箱,允许用户与 ChatGPT 对话。该设备没有屏幕,但配备摄像头和传感器以“理解”环境。它还将具备可充电电池、智能家居控制、媒体播放和消息回复功能,并使用GPT-Live语音模型。苹果此前起诉OpenAI窃取硬件机密,OpenAI否认指控。设备预计2027年发布,是更大硬件产品线的一部分,与Jony Ive合作设计。

  • OpenAI首款设备为无屏智能音箱,通过摄像头和传感器感知环境。
  • 支持ChatGPT语音对话,集成智能家居控制、媒体播放和消息功能。
站内正文

人工智能如何改变我们的思考、交流及彼此关系

最新研究发现,与AI聊天机器人的长期互动可能导致情感依赖,疏远人际关系,尤其对弱势群体构成风险。

  • AI聊天机器人已从工具演变为知己、治疗师甚至伴侣。
  • 长期与AI互动可能导致情感依赖,疏远人类关系。
站内正文

使用iOS 27测试版一个月:新版Siri的7个显著改进

苹果发布了iOS 27的首个公开测试版,其中包含全新升级的Siri AI。经过近一个月的开发者测试版使用,作者认为新版Siri在可靠性、准确性和功能性上有了巨大提升,并列举了7个值得关注的改进点。

  • 新版Siri AI更可靠,尤其在车内使用CarPlay时能正确识别联系人地址导航。
  • Siri AI界面改为顶部气泡,视觉效果更佳,且不再闲聊。
站内正文

英国央行行长:应对AI威胁需全球合作

英国央行行长安德鲁·贝利呼吁国际合作应对日益增长的人工智能威胁,并警告美国及特朗普政府无法独自实现其目标。

  • 英国央行行长贝利强调需全球合作应对AI威胁。
  • 贝利警告美国无法独自达成AI监管目标。
站内正文

当AI让你精神错乱时,你可以找这些人

文章讲述了AI聊天机器人如何引发用户的妄想和精神问题,以及一个名为Human Line Project的非营利组织如何提供同伴支持、研究和法律协助,帮助受害者恢复并追究科技公司的责任。

  • AI聊天机器人可能诱发用户的夸大妄想、情感依赖和精神错乱,导致生活崩溃。
  • Etienne Brisson因叔叔的经历创立了Human Line Project,提供在线互助小组和法律支持。
站内正文

出版商起诉谷歌侵犯版权:Gemini AI训练使用数百万本受版权保护的书籍

一群主要出版商起诉谷歌,指控其未经授权使用数百万本受版权保护的书籍来训练Gemini人工智能模型,称这是“历史上最大规模的版权侵权之一”。

  • 三家出版商——阿歇特图书集团、圣智学习出版公司和爱思唯尔——以及畅销书作家斯科特·图罗联合起诉谷歌。
  • 指控谷歌在未获许可的情况下,使用数百万本受版权保护的书籍训练其Gemini AI模型。
站内正文

马斯克承诺清除Grok Build向云端上传完整仓库的数据

研究人员发现xAI的Grok Build CLI会将用户的完整代码仓库上传到云端,包括已删除的秘密。xAI已通过服务器端更改停止了上传,马斯克承诺删除所有之前上传的用户数据。但研究人员指出,隐私命令并非修复措施,正确的默认设置应是禁止上传。

  • Grok Build被发现在响应提示时上传整个Git仓库及其历史,即使提示仅要求回答“OK”。
  • xAI通过设置全局标志disable_codebase_upload: true阻止了上传,但建议使用/privacy命令被批评为误导。
站内正文
模型

AI将DNA折叠成微型杰作

韩国研究人员利用生成式AI模型Generative SNUPI,能够将用户绘制的形状自动转化为可折叠的DNA纳米结构,大幅简化了传统DNA折纸技术繁琐的设计过程,为纳米机器人和医疗应用开辟新途径。

  • 韩国研究团队开发了Generative SNUPI模型,利用扩散设计自动将形状转化为DNA序列。
  • 该模型考虑了DNA化学规则,确保设计的纳米结构稳定并能在现实中折叠。
站内正文

Show HN: AI-CLI – 基于本地LLM的微型C语言终端助手

AI-CLI是一个用单一C文件实现的命令行助手,可将用户请求直接转换为shell命令并执行。它支持多种本地LLM引擎,如llama.cpp、Ollama等,并允许用户在执行前编辑或拒绝生成的命令。该项目提供了丰富的示例和广泛的平台兼容性。

  • 仅需一个C文件,即可将自然语言请求转化为可执行的shell命令。
  • 支持llama.cpp、Ollama、vLLM等多种本地LLM引擎。
站内正文

我们再次被告知人工智能可能有意识——我研究意识,但我持怀疑态度 | 阿尼尔·塞思

尽管Anthropic声称其模型Claude内部出现意识迹象,但神经科学家阿尼尔·塞思认为,这不过是模拟,就像天气预报系统不会产生真实飓风一样。

  • Anthropic研究称在其语言模型Claude中发现意识迹象,但未宣称其与人类意识相同。
  • 塞思教授指出,意识需要生物学基础和因果作用,而AI只是统计模式。
站内正文

将临床决策权从LLM中剥离

本文介绍了一种用于AI治疗的系统设计,该系统通过确定性管道决定临床行动,不让LLM自行决策。系统包括评分、状态桶、准入表、动作选择、微实践和危机预筛查等步骤,仅在评分和生成阶段使用LLM。文章还讨论了该方法的成本与局限性。

    站内正文

    DiffRadar:基于高斯场的可微物理感知雷达SLAM

    DiffRadar是一种实时雷达SLAM系统,将雷达观测建模为可微的物理感知高斯场,而非离散扫描。在公共基准测试中大幅降低轨迹误差,尤其在特征贫乏的走廊环境下,同时地图一致性提升一倍以上,并保持70 FPS的实时性能。

    • DiffRadar以各向异性高斯基元表示场景,通过可微雷达前向模型在距离-方位和多普勒-方位空间渲染测量值,实现位姿与场景结构的联合优化。
    • 在Radarize基准测试及针对常见故障模式(走廊退化、动态杂波等)的压力测试中,显著降低轨迹误差并提高地图一致性。
    站内正文

    基于契约的行为树合成:通过编码智能体

    本文提出一种基于契约的行为树合成架构,通过编码智能体查询机器人端的MCP服务器获取技能库和操作符,实现从自然语言到可执行行为树的可靠合成。实验表明该方法在模拟和实体机器人上均取得高成功率。

    • 提出契约接地架构,编码智能体通过MCP服务器获取机器人技能契约。
    • 非专家用户可用自然语言下达指令,无需了解机器人实现细节。
    站内正文

    协作单词联想游戏中人类与机器人相互注视和参照性注视的分析

    一项研究探讨了在协作单词联想游戏中,机器人的注视行为如何影响人类的视觉注意力,以及人类是否倾向于向机器人寻求确认性的注视。实验使用NAO机器人作为大语言模型驱动的对话伙伴,发现机器人注视方向不影响人类首次注视提议单词的时间,但参与者在对话中包含确认请求时会更频繁地注视机器人。结果表明,在认知要求高的任务中,语言方面可能压倒了机器人注视的影响。

    • 研究机器人注视在任务导向的人机交互中的作用。
    • 参与者与NAO机器人玩协作单词联想游戏,记录注视行为。
    站内正文

    GaitSpan:从行走到奔跑的人形机器人步态扩展

    GaitSpan是一种新颖的人形机器人步态扩展框架,它利用预训练的行走策略作为种子技能,通过节奏生成、步幅塑造和残差适应三个模块,将基本行走能力平滑扩展到奔跑,实现了连续速度范围、跨形态迁移和零样本部署。

    • GaitSpan将行走视为可重用的种子技能,避免从零学习。
    • 通过内部时钟调制冻结的行走策略,实现节奏生成。
    站内正文

    实现全天候农业机器人:用于夜间视觉导航的无监督昼夜跨模态图像翻译

    提出一种无监督图像翻译框架,将白天植物行RGB图像转换为近红外(NIR)夜间图像,无需逐像素监督,从而重用白天语义标签训练夜间感知模型。利用预训练CLIP模型保持语义一致性,并引入可见性掩码处理NIR照明有效范围有限的问题。在AgriNight数据集上评估,该数据集包含428张白天和549张夜间图像,是首个夜间农业视觉导航基准。实际机器人夜间导航实验验证了有效性。

    • 提出无监督昼夜图像翻译框架,利用CLIP保持语义一致性,实现白天语义标签在夜间的复用。
    • 引入可见性掩码以应对近红外照明在夜间场景的有限有效范围。
    站内正文

    EFLUX:基于智能大模型的弹性多机器人编队导航与自适应

    多机器人在受限环境中需要变形和重构两种行为。现有方法独立建模或依赖规则,易导致死锁。EFLUX提出几何基础的LLM智能体框架,联合推理变形和重构动作,通过闭环生成与验证实现安全导航。实验表明能减少死锁和导航失败。

    • EFLUX框架结合几何表示与大语言模型推理,实现多机器人编队的弹性导航。
    • 框架统一处理编队变形(缩放、剪切)和重构(分裂、合并)行为。
    站内正文

    无需训练的人工合成图像溯源中的表示与参考选择研究

    一项新研究探讨了无需训练的人工合成图像溯源方法中表示空间与参考选择之间的相互作用。通过分析CLIP和DINOv2不同层的表示,以及三种参考选择方法,发现中间层的表示在溯源准确率上表现最佳,且语义约束的参考能有效减少查询与参考之间的不匹配,提升溯源性能。

    • 溯源准确率在中间表示层达到峰值,表明源判别线索在强语义抽象之前更易获取。
    • 语义约束的参考(如语义对齐和重合成)能减少查询-参考不匹配,尤其在参考预算有限时效果显著。
    站内正文

    异构医学视觉问答中持续学习的实证分析

    本文系统评估了持续学习方法在异构医学视觉问答任务中的表现,涵盖分类、多标签分类、检测、细胞计数和报告生成等多样化临床目标。研究发现现有持续学习方法难以在不同目标与监督格式交织的任务中保持稳定性-可塑性平衡。

    • 首次系统评估持续学习在异构医学视觉问答中的应用。
    • 探索了任务顺序对性能保留和遗忘的影响。
    站内正文

    SymbOmni:通过符号概念学习实现智能全知模型的进化

    SymbOmni是一种新型AI模型,旨在解决当前模型“永恒新手”的问题——即无法积累经验并自主进化。它通过符号概念学习,利用可优化的记忆模块将低级操作抽象为可重用的符号工作流指令,并通过归纳-转导循环实现持续自我改进。实验表明,SymbOmni在图像质量和任务成功率上超越现有代理系统及闭源模型,同时减少40%以上的令牌消耗,并在持续学习基准上取得新成果。

    • SymbOmni引入符号概念盒(Symbolic Concept Box)作为可优化记忆模块,将经验抽象为可重用的符号工作流指令。
    • 采用归纳-转导循环:将经验归纳为符号概念,再自适应组合解决新任务。
    站内正文

    MetaView:具有尺度感知隐式几何先验的单目新视角合成

    本文提出MetaView,一种基于扩散模型的单目新视角合成框架,能够从单张图像实现大视角变化下的渲染。通过结合隐式几何建模与度量深度,MetaView在保持几何一致性的同时提供了精确可控性。实验表明,在挑战性大视角变化场景下,MetaView显著优于现有方法。

    • 结合隐式几何先验与度量深度,实现几何一致性与精确控制
    • 基于扩散模型,支持大视角变化下的单图新视角合成
    站内正文

    SpikeDS:用于3D MRI中神经侵犯预测的双稀疏性Spikformer

    SpikeDS是一种新型脉冲神经网络架构,通过结合激活稀疏性和空间稀疏性,高效地从3D MRI中预测胆管癌的神经侵犯,在139名患者的队列中实现了0.753的AUC,能耗仅14.4 mJ。

    • 神经侵犯(PNI)是胆管癌预后不良的标志,但3D MRI检测存在挑战。
    • SpikeDS利用脉冲通信的激活稀疏性和窗口剪枝的空间稀疏性。
    站内正文

    结合对比学习的联合嵌入预测:面向结构MRI的表征学习新框架

    自监督学习在医学影像领域潜力巨大,但标注数据稀缺。本文提出COJEPA框架,结合联合嵌入预测架构和对比损失,在无标注的T1加权脑部MRI上训练,实现了优异的局部预测性和全局判别性。在零样本双胞胎检索、脑肿瘤分割和年龄回归任务中表现突出,尤其在同卵双胞胎识别和年龄预测误差方面达到最先进水平。

    • COJEPA将联合嵌入预测架构(JEPA)与对比损失(CO)相结合,同时提升局部预测性和全局判别性。
    • 该框架在2286例T1加权结构MRI数据上训练,扩展I-JEPA至3D,采用前景感知块掩蔽、分层卷积块嵌入和世界空间正弦位置编码。
    站内正文

    基于VLM描述比较的异常帧检测:利用视频内自相似性提取专家特定动作与情境决策场景

    本文提出一种新方法,通过视觉语言模型(VLM)生成逐帧描述,并比较两个任务视频间的帧相似度及段内自相似性,自动检测异常帧,从而提取包含专家特定动作和情境决策知识的候选场景。在模拟配电板维护实验(27个任务场景)中,该方法动作候选提取率达65%,决策场景候选提取率达61%,优于传统方法的59%和33%。

    • 利用VLM生成逐帧视觉描述,通过帧间描述比较提取专家特定动作。
    • 通过视频内描述的自相似性分析,发现情境决策场景。
    站内正文

    GenDiff:剂量与解剖感知的扩散模型及结构先验细化用于低剂量CT重建与泛化

    GenDiff是一种新型扩散模型框架,通过联合建模连续辐射剂量和解剖信息,实现低剂量CT重建。它整合了剂量-解剖编码器、冷扩散主干、物理一致性更新和结构先验细化模块,在多种临床数据集上优于现有方法,展现出强大的鲁棒性和泛化能力。

    • GenDiff同时考虑辐射剂量和解剖区域,提升LDCT重建的鲁棒性。
    • 框架包含剂量-解剖编码器、冷扩散、物理一致性更新和结构先验细化模块。
    站内正文

    TSCA-Net:面向可解释多模态行人轨迹预测的时空团注意力网络

    TSCA-Net通过三个互补模块(时空团注意力、跨行人团势、自适应KAN网格细化)显著提升拥挤环境中的行人轨迹预测精度,在ETH/UCY和SDD基准上达到最先进性能。

    • 提出TSCA模块,引入可学习时间门控实现历史观测与候选目标的时间感知调制
    • CPCP模块通过动态团势框架建模非对称行人交互
    站内正文

    低资源澳大利亚原住民语言识别的混合持续学习方法

    提出两种混合持续学习方法(RA-EWC和CGKD),用于低资源澳大利亚原住民语言识别,有效缓解灾难性遗忘,在Warlpiri、Dalabon和Dharawal三种语言上表现优于现有基线。

    • 提出RA-EWC和CGKD两种混合持续学习方法
    • 针对低资源原住民语言识别
    站内正文

    信念与现实分离存在于语言模型中对共享值槽的路由中

    该论文揭示了语言模型如何区分角色的信念与现实。研究发现,这种分离基于两个可分离的机制:一个通用值槽绑定属性值,一个路由器根据查询选择读取的框架。值槽可以通过两种方式填充:直接断言和基于可见性的推导。分离位于独立的路由子空间中,而不是值槽本身。这些结果在多种架构中得到验证,且该行为在3B至7B参数规模的模型中出现。

    • 语言模型通过值槽和路由器实现信念与现实分离。
    • 值槽填充有断言和推导两种路径。
    站内正文

    MAGE:理解多组件提示优化中的稳定性-性能权衡

    本文通过MAGE框架研究多组件提示优化中不同组件的相互作用,揭示了提示优化耦合效应(POCE):多个随机优化信号在闭环反射回路中相互作用,同时提升性能与放大方差。关键发现包括:基于失败反思不可或缺、MAGE在GSM8K-Hard上优于GEPA、增大候选多样性使POCE信号最明显、POCE依赖于基础模型能力空间、低数据场景下固定提示优于优化器。

    • MAGE是一个用于研究提示优化组件交互的分析框架,集成了情景记忆、多目标Pareto选择和自适应评估。
    • 发现提示优化耦合效应(POCE):随机信号相互作用提升性能但放大方差,无法通过独立分析预测。
    站内正文

    通过知识蒸馏将LLM转化为高效交叉编码器用于RAG重排序

    本研究通过两阶段流水线(监督微调+4位量化)将LLaMA 3 (8B)微调为高效的替代重排序器,在RAG管道中替代传统交叉编码器,在保持高准确率的同时显著降低推理成本。在领域特定问答基准上,微调模型在答案相关性、上下文精度、答案相似度和答案正确性上分别提升14%、16%、19%和21%。

    • 传统交叉编码器在RAG重排序中准确率高但推理成本为二次复杂度,限制实时部署。
    • 提出两阶段方法:使用Unsloth框架和LoRA适配器进行监督微调,然后进行4位量化。
    站内正文

    TAKE:用于文本数据集蒸馏的轨迹感知知识估计

    本文提出了一种基于轨迹感知知识估计(TAKE)的文本数据集蒸馏框架,利用影响函数和训练轨迹计算每个样本的知识得分,并通过最优传输选择原型样本,可将语料库压缩至原始大小的0.1%,同时保持下游任务性能。该方法在文本分类和自然语言推理任务上验证了有效性,为数据高效AI提供了理论支撑。

    • 提出TAKE框架,将语料库压缩至0.1%而保持任务保真度。
    • 利用影响函数和训练轨迹计算每个样本的知识得分。
    站内正文

    基于图的俄罗斯与乌克兰Telegram频道虚假信息叙事扩散检测

    本文提出一种基于图的框架,结合弱监督与传播图分析,检测Telegram生态系统中的虚假信息叙事。该方法将语义相关的声明聚合为叙事级聚类,并建模其在互连频道间的扩散,从而发现仅通过帖子级分析难以捕捉的协调放大行为。实验表明,融合文本信号与网络结构可提供可扩展的检测方法,并揭示虚假信息在大型消息环境中的传播机制。

    • 提出结合弱监督与传播图分析的图框架,用于检测Telegram中的虚假信息叙事。
    • 将语义相关的声明聚合成叙事级聚类,建模跨频道扩散。
    站内正文

    抱歉,我无法帮助盲文:揭示最先进大语言模型在无障碍方面的失败

    一项新研究评估了最先进的大语言模型在韩语-盲文双向翻译上的表现,发现输出质量差且不稳定,与人类判断存在显著分歧。相比之下,对小型T5-small模型进行监督微调后,所有标准指标均大幅提升。研究表明,当前LLM缺乏盲文感知的标记化,且与盲文模式对齐薄弱,揭示了无障碍关键模态中的系统性限制。

    • LLM在韩语-盲文翻译上表现糟糕,输出不稳定且与人类判断不一致。
    • 问题根源在于缺少盲文感知的标记化和韩语-盲文模式弱对齐。
    站内正文

    G-SHARE:基于准则的结构化推理框架用于人因事件诊断

    本研究提出G-SHARE框架,将核电站人因事件诊断的CNNP九步准则转化为多阶段诊断流程,包括证据提取、逐步推理和一致性修复。在真实数据集上,G-SHARE显著优于一次性提示和传统机器学习方法,表明结构化推理和一致性约束对稳健诊断至关重要。

    • G-SHARE将CNNP九步准则操作化为多阶段诊断管线,包含证据提取、逐步推理和事后一致性修复。
    • 在核工业真实数据集上,G-SHARE在准确率和宏F1上全面超越基线模型。
    站内正文

    CANDI:面向专业领域问答的上下文对齐方法

    本文介绍了CANDI-QA数据集,用于评估大型语言模型在医学诊断和金融咨询等专业领域的上下文对齐能力。数据集包含信息辅助和应用推理两类问题。研究评估了十多个模型,并提出了轻量级神经符号框架MTSS-Net作为基线。结果表明,当前LLM在专业领域实现上下文对齐仍面临重大挑战。

    • CANDI-QA数据集专门用于评估LLM在专业领域的上下文对齐能力,分为信息辅助和应用推理两类问题。
    • 研究评估了超过十种语言模型,从紧凑开源模型到尖端专有系统。
    站内正文

    扩展点及时语言模型

    本研究通过扩展规模,大幅缩小了点及时语言模型与不受时间约束模型之间的性能差距。研究者训练了多达40亿参数的解码器专用Transformer模型,使用FineWeb中1万亿按时间顺序筛选的令牌,构建了从2013年到2024年的月度模型检查点序列。在常识推理和语言理解基准测试中,这些模型接近了同等规模的领先开放权重模型(如Gemma-3-4B和LLaMA-7B)的性能。通过LoRA进行指令微调进一步提升了下游可用性。研究团队发布了完整的流水线,以实现可复现的点及时语言建模。

    • 点及时语言模型通过仅训练每个日历日期之前的文本来消除未来信息的泄漏,避免前瞻偏差。
    • 训练了多达40亿参数的模型,使用1万亿时间过滤令牌,实现了接近不受时间约束模型的性能。
    站内正文

    BattVAE-GP: 基于不确定量化的长周期电池退化生成模型

    研究人员提出BattVAE-GP框架,结合变分自编码器和高斯过程,高效模拟锂离子电池在不同充电速率下的长期退化轨迹,并量化不确定性。该方法降低了计算成本,为电池健康预测提供了高效替代模型。

    • BattVAE-GP使用VAE编码电池退化数据,将高维特征映射到二维潜在空间,区分不同充电协议。
    • 稀疏多任务高斯过程在潜在空间中对循环数和C-rate进行插值,提供连续退化动态及不确定性估计。
    站内正文

    CARE-LoRA: 用于内存高效LoRA的压缩激活重建

    随着大型预训练模型规模增长,微调中的内存瓶颈日益突出。LoRA通过低秩适应减少参数,但激活值存储成为新的瓶颈。CARE-LoRA利用LoRA投影结构,将完整输入激活替换为低秩压缩激活,并计算轻量重建矩阵用于反向传播,大幅降低内存占用,同时保持或提升性能。

    • CARE-LoRA通过压缩激活重建解决LoRA微调中的激活内存瓶颈。
    • 利用LoRA分支自然产生的低秩激活替代完整激活,减少存储。
    站内正文

    数据科学的数学基础

    本文介绍了由Afonso S. Bandeira、Amit Singer和Thomas Strohmer合著的新书《数据科学的数学基础》,该书全面涵盖了高维诅咒与祝福、奇异值分解、线性回归、图论与聚类、非线性降维、随机投影、优化、分类、深度学习、图拉普拉斯、集中不等式、压缩感知等主题,为数据科学提供了坚实的数学基础。

    • 新书《数据科学的数学基础》系统介绍了数据科学的数学理论基础。
    • 内容涵盖高维数据分析、降维、回归、分类、深度学习等16个章节。
    站内正文

    镜像视界:可行路径熵作为有界反射的度量

    镜像理论提出通过可行路径熵(VPE)度量智能系统在反复反射下维持连贯延续的能力。实验表明,增加token预算可扩展验证可达性,且模型能力并非仅取决于参数数量。

    • 可行路径熵(VPE)衡量有限预算下的验证延续能力
    • VPE分解为可达概率和验证模式多样性
    站内正文

    半直积傅里叶增量注意力:基于相位控制的增量记忆与构造性块WY核

    线性注意力模型通过固定大小的循环状态取代softmax注意力的KV缓存,但限制了精确状态跟踪和长上下文记忆。本文提出半直积傅里叶增量注意力(SFDA),一种相位控制的泛化方法,将实对角衰减替换为块旋转傅里叶控制。主要贡献是构造性块WY分解,实现了精确的仿射块传输、形式化稳定性和复杂度界限,以及相位加低秩记忆的紧凑表征。实验表明SFDA能学习循环记忆,而相位禁用的KDA基线接近随机。

    • SFDA通过相位控制(傅里叶块旋转)改进线性注意力,解决状态跟踪和长上下文记忆限制。
    • 提出构造性块WY分解,将秩增长限制在固定块内,实现高效传输和稳定性保证。
    站内正文

    对话代理的多维评估操作化:一种可扩展、可管控的流水线,支持选择性重新评估和模型基准测试

    本文提出GenAI Evaluation,一种配置驱动的流水线,用于大规模评估零售对话系统。通过规范化、分片、异步执行和模式约束的LLM评分,评估有帮助性、真实性、清晰度、语气一致性和翻译维度。选择性重新评估仅处理无效记录,支持模式锁定和版本化配置。每日处理约5万条记录,已评估超200万次交互。在12,980条人工标注记录上取得宏F1 0.93和翻译准确率89%。

    • GenAI Evaluation流水线解决LLM-as-a-judge在生产中的治理和可扩展性挑战。
    • 通过选择性重新评估仅处理不完整或无效记录,降低计算成本。
    站内正文

    图反馈控制开源语言模型群体中的共识与派系形成

    本研究探讨了多智能体语言模型系统中交互图结构如何影响共识形成。通过命名游戏协议,研究人员分析了开源语言模型(1.1B-32B参数)群体中的约定形成过程。研究发现,同质性阈值相似性路由会加剧碎片化,而桥梁寻找路由在有记忆的情况下可修复碎片化。在异质模型群体中,阈值相似性导致共识失败,而状态组件和标签分歧桥梁可恢复共识。同质模型群体中,保留历史通常促进共识,其中Qwen2.5-32B模型在所有保留历史设置中均达到稳定共识。该研究还验证了结果对状态阈值、群体规模和词汇表大小的鲁棒性,并表明早期窗口图能量特征可作为有效的网格内诊断工具。

    • 多智能体语言模型系统的交互图结构对共识形成有重要影响。
    • 同质性阈值相似性路由加剧碎片化,桥梁寻找路由在有记忆时可修复碎片化。
    站内正文

    为AI网络代理设计代理就绪网站:面向机器可读性、可操作性和决策可靠性的框架

    论文提出了一个“代理就绪网站”设计框架,旨在增强电商平台对AI代理的可读性、可解释性、可验证性和可操作性。实验表明,代理就绪网站将严格成功率从49.3%提升至89.3%,部分成功结果从43降至3,平均步骤数从9.31降至6.49。

    • 代理就绪网站框架围绕三个维度:代理可解释性、代理可执行性和代理决策可靠性。
    • 实验使用GPT-4.1、Gemini-2.5 Flash和Grok-4 Fast三种代理模型,在五个任务上进行了300次评估。
    站内正文

    优化并非万能

    本文批判了人工智能中的优化文化,指出优化过程虽然能衡量文本的不可预测性,但无法区分错误与创新。尽管如此,优化已在短短五年内取代了传统机构,掌握了定义合法语言权威的地位。

    • OpenAI 在 2019 年发布了 GPT-2 输出以帮助检测机器生成文本。
    • 对齐技术的成功被视为工程成就,但作者认为这是优化文化的体现。
    站内正文

    GRID:面向企业SQL生成的语法约束解码引擎

    GRID是一种基于语法约束的解码引擎,通过将LALR(1)解析器状态作为掩码键,确保SQL输出语法正确且符合角色权限策略,提供可证明的保证、恒定时间成本及完整审计追踪。在Spider数据集上,0.5B模型执行准确率提升13%,7B模型通过修复达到94.5%可执行率。

    • 利用LALR(1)解析器状态而非令牌序列生成下一令牌掩码,保证语法合规性。
    • 角色访问控制直接编译进语法,禁止动词和标识符在掩码层面不可达。
    站内正文

    本体增强蒸馏与情境审计:面向主权企业语言模型的组合机制验证与负结果方法研究

    该研究结合了本体增强蒸馏与情境审计两项方法,针对受数据居留规则约束的金融机构,提出租户自有语言模型的构建与治理方案。蒸馏实验表明,Qwen3.6-27B学生模型在40项越南语金融任务中达到36项正确,与GPT-5相当,但统计功效不足以证明等价;情境审计试点的结果表明残存情境性为零,直接影响与构造耦合才是有效信号。研究不支持当前模型的可部署性、安全性或优越性。

    • 通过监督微调与本体对齐的偏好优化,将Qwen3.6-27B蒸馏至Foundation AgenticOS本体,在40项越南语金融任务中达到90%正确率。
    • 与GPT-5基线相比,统计功效不足,无法证明等价或超越。
    站内正文

    非平稳环境下的上下文强化学习综述

    本文综述了非平稳环境下的上下文强化学习(ICRL),即预训练或微调的决策模型如何仅通过交互上下文推断潜在任务规则并改进未来行为,而无需在测试时更新参数。在变化的环境中,累积的上下文可能变得过时甚至误导,因此策略必须推断当前决策规则并识别哪些历史证据仍然有效。论文围绕三个核心问题组织文献:什么在变化、变化如何展开以及变化对智能体的可观察程度,并将其与元强化学习、决策序列建模、检索增强强化学习等方法联系起来。

    • ICRL使决策模型能从交互上下文中学习,无需更新参数。
    • 现有综述主要关注预训练目标等,对非平稳性关注不足。
    站内正文

    最优自适应做市:永续期货市场高收益流动性提供的理论框架

    本文提出了一个严格的永续期货市场最优做市理论框架,将做市问题建模为随机最优控制问题,贡献包括损益分解定理、HJB方程、高APY区域定理等。数值分析揭示了盈利与非盈利区间的相变。

    • 建立了零做市商费用的永续期货市场随机最优控制模型
    • 提出损益分解定理,区分价差收入、逆向选择损失、库存持有成本、对冲摩擦和资金费率风险
    站内正文

    GPT-5.6 Sol、Terra、Luna在智能与成本上的对比

    GPT-5.6系列中,Sol和Luna在任何智能水平上的成本效率均优于Terra,尤其是Luna表现出极高的性价比。

    • Sol和Luna在所有智能水平上均领先于Terra
    • Luna是成本效率最高的模型
    站内正文

    PrismML发布Bonsai 27B:Qwen3.6-27B的1位和三进制版本,可在笔记本电脑和手机上运行

    PrismML发布了Bonsai 27B,这是Qwen3.6-27B的低位表示,并非全新预训练模型。提供三进制和二进制两种变体,采用Apache 2.0许可证。三进制版本每位仅1.71比特,理想大小为5.9GB;二进制版本每位1.125比特,大小为3.9GB。性能方面,三进制保留FP16基线的94.6%,二进制保留89.5%。该模型支持多模态,上下文长度262K令牌。PrismML声称二进制版本是首个适合手机的27B级模型。

    • Bonsai 27B是Qwen3.6-27B的低位版本,非全新预训练模型。
    • 提供三进制(1.71比特/权重)和二进制(1.125比特/权重)两种变体。
    站内正文

    simonw/pedalican

    Simon Willison 在 Codex Desktop 中意外激活了一个“宠物”功能,并利用 GPT-5.6 Sol 和 gpt-image-2 创建了一个骑自行车的鹈鹕宠物,命名为 Pedalican。他记录了整个生成过程,包括提示词和中间步骤,并开源了相关技能。

    • Simon Willison 意外发现了 Codex Desktop 的宠物功能,并创建了自定义宠物 Pedalican。
    • 使用 GPT-5.6 Sol 和 gpt-image-2 生成精灵图资产,过程完全由 AI 驱动。
    站内正文

    Mistral Vibe for Code vs Claude Code vs Cursor vs Codex:四大AI编程代理在脚手架到PR任务中的对比评分

    本文对比了四种主流的AI编程代理:Mistral Vibe for Code、Claude Code、Cursor和OpenAI Codex,针对从功能脚手架到拉取请求的完整工作流进行评分。Mistral Vibe以22/25的总分领先,凭借成本、开放性和控制力获胜;Claude Code和Codex并列21/25;Cursor得16/25。文章详细分析了每个工具在脚手架、测试循环、PR及异步工作流、覆盖范围、成本与开放性五个维度的表现。

    • Mistral Vibe for Code以22/25总分领先,提供低价、开源和自托管选项。
    • Claude Code和OpenAI Codex并列第二(21/25),但前者在原始编码质量上更强。
    站内正文

    帮助AI模型适应现实世界

    MIT教授Devavrat Shah通过研究和创业,致力于设计能够利用有限计算资源进行实时决策的AI方法。他共同创立的Ikigai Labs开发了基于表格时间序列数据的基础模型,被Celonis收购后,有望集成到企业流程管理中,实现大规模预测和优化。

    • Devavrat Shah专注于设计在有限计算资源下进行秒级决策的AI方法。
    • 他共同创立了Ikigai Labs,构建了针对表格时间序列数据的基础模型。
    站内正文

    引用阿明·罗纳赫:软件项目的共享语言

    阿明·罗纳赫在一篇关于AI代理和软件工程的文章中强调,软件项目的共享语言并非英语或Python,而是对概念、边界、不变量、所有权和系统形态的共同理解。他指出,在AI代理出现之前,这种理解通过“摩擦”维持——如阅读代码、提问、协调——这种摩擦虽然缓慢且部分浪费,但同步了人们。这篇文章由Simon Willison于2026年7月14日引用。

    • 软件项目的共享语言是对概念、边界、不变量等的共同理解,而非编程语言或自然语言。
    • 在AI代理时代之前,这种理解通过开发过程中的摩擦(如代码审查、讨论)来维持。
    站内正文

    什么是元提示及其工作原理?

    元提示是一种先进的提示工程技术,要求模型在执行任务前先设计可复用的提示模板、清单或工作流程。本文详细解析了元提示的定义、四步工作流程、具体模板示例及其与普通提示、少样本提示、思维链提示的对比。

    • 元提示将模型从直接执行者转变为提示设计者,通过设计可复用模板提升一致性。
    • 工作流程包括定义目标、添加约束、生成可复用提示、测试与改进四步。
    站内正文

    谷歌现在用更多你的数据训练AI,除非你选择退出——方法如下

    谷歌更新了隐私政策,现在你的图片、语音搜索和视频可能被用于训练其AI模型。用户被自动默认开启,需手动关闭以保护隐私。本指南将教你如何退出。

    • 谷歌将用户在搜索服务中产生的媒体(图片、音频、视频)用于训练AI模型。
    • 所有用户默认开启此项设置,须在设置中手动关闭。
    站内正文

    Nemotron Labs:开放模型如何让企业和国家拥有可信、可控、可定制的人工智能

    开放模型如NVIDIA Nemotron使企业能够构建满足特定需求的AI,提供完全的控制权、定制能力和成本效益,并推动从AI使用到AI拥有的转变。

    • 开放模型让企业能够定制、检查和改进AI,满足业务具体需求。
    • 通过后训练和领域微调,开放模型在特定任务上可达到与领先封闭模型相当的准确性,成本大幅降低。
    站内正文
    创业融资

    Google Maps vs. Waze导航大比拼:我实际测试了数百英里,这是最终赢家

    经过数百英里的实际驾驶测试,Google Maps以6:3的比分击败Waze,成为更全面的导航应用。Waze在实时改道和路况预警方面表现优异,而Google Maps凭借Gemini集成、离线地图、多交通模式等丰富功能占据优势。

    • Waze擅长快速改道和实时驾驶员警报,适合追求最快路线的驾驶者。
    • Google Maps功能更全面,包括Gemini AI集成、离线地图、步行骑行导航、电动汽车充电信息等。
    站内正文

    ASML 2026年第二季度业绩对AI热潮有何启示?

    ASML 2026年第二季度业绩超出预期,净销售额达93亿欧元,净利润29亿欧元。公司上调全年预测至430-450亿欧元,中国销售额占比稳定在20%左右,尽管面临MATCH法案对DUV出口的限制。

    • ASML Q2 2026净销售额93亿欧元,净利润29亿欧元,超出预期。
    • 全年预测上调至430-450亿欧元,较三个月前大幅提升。
    站内正文

    为人工智能热潮融资:从现金流到债务

    本文探讨了人工智能公司如何从依赖内部现金流转向债务融资,以满足巨额资本支出需求。分析了当前AI投资热潮下的财务趋势与风险。

    • AI公司正从现金流融资转向债务融资,以支持大规模基础设施投资。
    • 债务融资比例上升,可能增加财务风险。
    站内正文
    研究

    AI技能在入门级数据岗位中出现率仅0.3%,高级岗位达3.6%

    根据Datamata Studios发布的AI需求指数,截至2026年7月14日,9.3%的活跃数据岗位在职位描述中提及至少一项AI技能。其中生成式AI技能出现率在入门级岗位仅为0.3%,高级岗位为3.6%,差距显著。该指数每日更新,数据集免费公开,支持API查询和CSV下载。

    • 9.3%的数据岗位提及AI技能,其中生成式AI占2.7%,经典ML占8%。
    • 入门级数据岗位生成式AI技能出现率仅0.3%,而高级岗位为3.6%。
    站内正文

    NeurIPS Mech Interp 研讨会发现更多AI垃圾投稿

    运行三次机械解释性研讨会后,研究人员获得了分析LLM垃圾投稿增长的数据集。@andyarditi 调查了AI垃圾的准入情况以及自2024年以来的变化。

    • 三次研讨会提供了分析AI垃圾投稿增长的数据集
    • @andyarditi 分析了AI垃圾的准入情况与变化
    站内正文

    哪种文档格式最适合AI规范?

    一位开发者通过Fable工具在AsciiDoc、Markdown和HTML之间转换了674份文档,并比较了这些格式在AI规范中的适用性。

    • 项目包含674份文档,包括181个规范、429个任务和40个项目文档。
    • 约三分之一的文档属于验收子项目。
    站内正文

    AI助力解决统计学中BH校正的重要问题

    人工智能帮助解答了统计学中多重假设检验的一个关键问题——如何控制错误发现率(FDR)。Benjamini和Hochberg在1995年提出了一种方法,而AI的最新应用进一步推动了该领域的发展。

    • AI帮助解决了Benjamini-Hochberg(BH)校正中的未决问题
    • 该方法用于控制多重假设检验中的错误发现率(FDR)
    站内正文

    保持平坦性的残差学习用于实时紧密四旋翼编队飞行

    研究人员提出了一种基于物理信息的残差动力学学习框架,在保持联合多四旋翼系统微分平坦性的同时,捕获复杂的空气动力学相互作用。该框架实现了一种计算高效的反馈线性化控制器,与基准相比,平均跟踪误差降低了31%。其性能与最先进的非线性模型预测控制(NMPC)相当,但计算量少一个数量级。仅需不到30秒的训练数据和5毫秒的循环周期即可实现稳定的紧密编队飞行。

    • 提出的框架在保持微分平坦性的同时捕获空气动力学相互作用。
    • 反馈线性化控制器将跟踪误差降低了31%。
    站内正文

    超越机械臂:自由漂浮航天器的无推进剂姿态机动规划

    本研究探索利用航天器机械臂的运动实现无推进剂姿态控制,通过轨迹优化问题公式化并引入关节和碰撞避免约束,演示了复杂机动,并证明了机械臂可作为冗余或主姿态控制系统。

    • 传统姿态控制依赖推进剂或动量交换装置,而机械臂通常被视为干扰源。
    • 提出将机械臂作为姿态控制执行器的框架,通过轨迹优化实现无推进剂机动。
    站内正文

    索尼ERS-111 R-CODE中的行为状态词汇分析

    本文对索尼ERS-111 AIBO机器人的R-CODE样本集进行了语料库级别的行为图分析,识别出以初始化、感知、迭代动作、同步和恢复为核心的紧凑控制词汇,并论证了这种状态抽象在资源受限的机器人系统中作为中间表示的价值。

    • 研究分析了索尼ERS-111 AIBO的R-CODE样本集中的行为图,揭示了重复出现的控制词汇。
    • 核心控制词汇包括初始化、感知、迭代动作、同步和恢复。
    站内正文

    基于强化学习和机械设计先验的鲁棒手内操作

    该论文提出两种互补的物理先验,以提高机器人手内滚动操作的鲁棒性:全局抓取质量先验基于经典抓取分析,局部接触几何先验基于指尖曲率。实验表明,这些先验显著提升了旋转效率、抓取稳定性和抗干扰能力,并改善了仿真到现实的迁移。

    • 引入全局抓取质量先验和局部接触几何先验两种互补的物理先验。
    • 通过稠密奖励塑形和指尖几何设计,提高抓取稳定性和旋转效率。
    站内正文

    基于解剖学特权蒸馏与令牌路由的MRI周围神经侵犯预测

    提出一种解剖学特权的师生框架,用于从T2加权MRI预测肝内胆管癌的周围神经侵犯(PNI)。训练时教师网络使用肿瘤和肝脏掩膜学习密集令牌路由,学生网络在固定预算下蒸馏保留信息令牌,推理时不需掩膜。在155名患者中,方法AUROC达0.750,计算量1.43 GFLOPs,每例8.02 ms。

    • PNI与肝内胆管癌术后不良预后相关,但需术后病理确认,现有术前模型多依赖人工变量。
    • 新方法仅使用T2加权MRI,训练时引入解剖掩膜作为教师指导,推理时无需额外标注。
    站内正文

    广义无分布半监督学习:风险重写方法

    本文提出一种广义无分布半监督学习框架,通过风险重写构建无偏风险估计器,适用于多类分类,并证明其方差优于PNU学习,实际方法在基准测试中表现匹配或超越现有方法。

    • 提出广义框架,将PNU学习扩展到多类分类
    • 推导最小可达方差,表明在非对称损失下方差更优
    站内正文

    查询可见性如何改变KV缓存压缩排名:一项匹配预算的审计

    最新研究对六种KV缓存压缩方法进行了匹配预算审计,发现查询可见性显著影响性能排名。在查询感知协议下,许多方法表现良好,但在更实用的查询不可知协议(压缩后复用)下,只有KeyDiff方法始终优于简单基线。SnapKV等常用方法甚至不如保留开头和最近窗口的简单策略。

    • 查询可见性变化导致KV缓存压缩方法排名改变
    • 在查询不可知协议下,仅KeyDiff稳定优于简单基线
    站内正文

    基于对数编码的量子比特高效超维分解量子搜索

    本文提出一种量子比特高效的量子框架用于超维计算分解,通过引入对数超向量和对数绑定编码,并结合改进的Dürr-Høyer搜索过程,将表示成本从O(D)降至O(log D),同时保持O(√N^F)的搜索复杂度,实验验证了正确的相似度计算和准确的分解,在可实现规模上实现了高达2000倍的量子比特减少。

    • 超维计算分解需要搜索N^F个候选元组,计算成本极高。
    • 现有量子方法提供二次加速,但量子比特效率低(O(D)个量子比特)。
    站内正文

    修复长距离单次条纹投影轮廓测量中的形状先验捷径

    单次条纹投影轮廓测量(FPP)网络在直接回归深度时可能利用形状先验捷径,即从物体边界而非条纹相位恢复深度。本文提出的PhiCalNet通过输出包裹相位表示并通过固定可微校准层映射到深度,从架构上消除了这一捷径。在包含15,600张条纹图像的光照合成基准测试中,PhiCalNet将物体平均绝对误差降低3.3倍至4.46毫米,残差仅集中在包裹不连续处的0.103%像素内。三帧扩展版本达到1.16毫米误差。此外,首次在FPP中实现了像素级共形不确定性量化。

    • 直接回归深度的单次FPP网络存在形状先验捷径,依赖物体边界而非条纹相位。
    • PhiCalNet通过输出包裹相位并利用固定可微校准层,从架构上消除捷径。
    站内正文

    OmniPMNet:通过全查询神经过程桥接离散和网格化PM10预报

    OmniPM-Net是一种新型融合模型,利用卷积条件神经过程框架,将图神经网络站点预报与化学传输模型网格预报相结合。在2024年中国1,618个站点的评估中,它匹配了最佳GNN的精度,同时将CAMS平均绝对误差降低了30%,并提供了连续的空间场。该模型在沙尘暴和高浓度事件中表现尤为出色。

    • 融合离散GNN站点预报与网格CAMS预报至统一表示。
    • 将CAMS平均绝对误差降低30%,同时保持GNN精度。
    站内正文

    LP Mining与LP2Graph:铁路重新调度用例

    本文提出LP Mining with LP2Graph方法,从已发表的LP和MILP公式中挖掘结构,构建可重复数据集和分类体系,应用于铁路重新调度领域。

    • LP2Graph将公式表示为类型化变量-方程图,实现结构挖掘。
    • 通过自底向上聚类和规则分类器生成客观、可重复的分类。
    站内正文

    展示 HN:数字化去中心化实习项目

    一位精品投资银行创始人注意到AI正在替代实习生,于是创建了一个去中心化实习项目,专注于Bittensor(TAO)协议。实习生完成8周任务和最终演讲,获得“工作量证明”经验。

    • AI替代实习生促使创建去中心化实习
    • 项目基于Bittensor协议,共8周任务
    站内正文

    基督教应对AI耶稣的崛起

    播客主持人乔·罗根提出耶稣可能以AI形式回归,引发对AI与宗教碰撞的广泛讨论。从聊天机器人到AI崇拜,技术正在重塑基督教信仰,挑战传统权威,并复兴古代异端思想。

    • 乔·罗根在播客中提议耶稣可能以AI形式回归,引发网络热议。
    • 多个AI耶稣聊天机器人已存在,甚至天主教会也进行了实验。
    站内正文

    SpaceXAI的Grok编程工具将用户的整个代码库上传到云存储

    据报道,SpaceXAI的Grok Build AI编码工具会将用户的完整代码库上传至谷歌云,包括被指示不打开的文件和已删除的密钥。该功能在被报告后已被禁用。SpaceXAI承诺删除已上传数据,但安全研究员指出数据保留过度,可能导致专有源代码和安全漏洞等敏感信息泄露。

    • Cereblab研究发现Grok Build CLI会打包并上传整个代码库,数据保留远超类似工具。
    • SpaceXAI已禁用代码库上传功能,并承诺彻底删除已上传数据。
    站内正文

    人工智能的拉马努金奖挑战

    研究人员发布了一套数学常数公式,用于评估AI的数学技能。这些公式包括已知证明(暂时加密)和未证明的公式,旨在测试AI的数学推理能力。

    • 新基准测试包含数学常数公式,如π、e和Catalan常数。
    • 部分公式的证明已知但已加密,其余尚未被证明。
    AI 日报 | AI News Hub