航空公司AI客服被曝“假共情”
近日，一名国泰航空乘客因航班取消使用在线客服，却收到疑似内部AI提示指令的回复。该乘客原计划搭乘香港快运（国泰代码共享航班）从香港飞往冲绳，因台风“蔷蜜”逼近日本导致航班取消。在后续聊天记录中，客服回复开头出现“Hi, co-pilot”等字样，疑似将AI写作助手的内部提示粘贴给了乘客。这些提示要求“承认感受”“使用第一人称”“保持积极语气”“肯定对方理由”，旨在制造共情，却未提供具体的改签方案。分析认为，这更像是人工客服使用内部“副驾驶”工具撰写回复时误操作，而非AI直接回应。事件暴露了航空公司用AI包装情感、却回避解决实际问题的现象。尽管国泰曾推广微软Copilot，强调“人类仍在驾驶席”，但此次失误显示AI可能让人变得更粗心。两年前，加拿大航空曾因聊天机器人提供错误信息被判担责。航空公司虽已从FAQ机器人转向AI辅助改签，但在处理异常情况时仍力不从心。 #航空 #AI客服 #国泰航空 #共情 #科技新闻 #客户服务 #微软Copilot
近日，一名国泰航空乘客因航班取消使用在线客服，却收到疑似内部AI提示指令的回复。该乘客原计划搭乘香港快运（国泰代码共享航班）从香港飞往冲绳，因台风“蔷蜜”逼近日本导致航班取消。在后续聊天记录中，客服回复开头出现“Hi, co-pilot”等字样，疑似将AI写作助手的内部提示粘贴给了乘客。这些提示要求“承认感受”“使用第一人称”“保持积极语气”“肯定对方理由”，旨在制造共情，却未提供具体的改签方案。分析认为，这更像是人工客服使用内部“副驾驶”工具撰写回复时误操作，而非AI直接回应。事件暴露了航空公司用AI包装情感、却回避解决实际问题的现象。尽管国泰曾推广微软Copilot，强调“人类仍在驾驶席”，但此次失误显示AI可能让人变得更粗心。两年前，加拿大航空曾因聊天机器人提供错误信息被判担责。航空公司虽已从FAQ机器人转向AI辅助改签，但在处理异常情况时仍力不从心。 #航空 #AI客服 #国泰航空 #共情 #科技新闻 #客户服务 #微软Copilot
NVIDIA Nemotron 3 Ultra 在亚马逊 SageMaker JumpStart 上线
今日，AWS宣布NVIDIA Nemotron 3 Ultra大模型正式登陆Amazon SageMaker JumpStart，用户可通过一键部署快速使用。该模型拥有5500亿总参数和550亿活跃参数，采用混合Transformer-Mamba MoE架构，推理速度提升5倍，代理工作负载成本降低30%。Nemotron 3 Ultra专为长时间运行的自主代理设计，支持百万Token上下文窗口，可高效处理多步推理、工具调用和子任务委派等复杂场景。模型已针对NVFP4格式优化，进一步降低托管成本。开发人员无需管理基础设施即可在SageMaker上直接部署，但需注意GPU实例使用会产生费用。 #NVIDIA #Nemotron #AWS #SageMaker #大模型 #AI #MoE #推理加速 #自主代理
今日，AWS宣布NVIDIA Nemotron 3 Ultra大模型正式登陆Amazon SageMaker JumpStart，用户可通过一键部署快速使用。该模型拥有5500亿总参数和550亿活跃参数，采用混合Transformer-Mamba MoE架构，推理速度提升5倍，代理工作负载成本降低30%。Nemotron 3 Ultra专为长时间运行的自主代理设计，支持百万Token上下文窗口，可高效处理多步推理、工具调用和子任务委派等复杂场景。模型已针对NVFP4格式优化，进一步降低托管成本。开发人员无需管理基础设施即可在SageMaker上直接部署，但需注意GPU实例使用会产生费用。 #NVIDIA #Nemotron #AWS #SageMaker #大模型 #AI #MoE #推理加速 #自主代理
英伟达收购AI初创公司Kumo AI，强化预测模型能力
据知情人士透露，英伟达已收购成立四年的AI初创公司Kumo AI，该公司专注于开发用于商业预测的基础模型。Kumo的三位联合创始人已于上月加入英伟达，其领英资料已更新为英伟达员工。交易金额未披露。Kumo总部位于加州山景城，曾获红杉资本等3700万美元融资，客户包括DoorDash、Reddit等。其RFM模型能快速处理客户流失、信用违约等预测任务，无需额外训练。英伟达近年来已收购超100家初创公司，以完善其全栈AI生态，包括2025年12月以200亿美元收购Groq核心资产，2026年2月收购Illumex等。 #英伟达 #Nvidia #KumoAI #AI收购 #预测模型 #商业智能 #科技新闻
据知情人士透露，英伟达已收购成立四年的AI初创公司Kumo AI，该公司专注于开发用于商业预测的基础模型。Kumo的三位联合创始人已于上月加入英伟达，其领英资料已更新为英伟达员工。交易金额未披露。Kumo总部位于加州山景城，曾获红杉资本等3700万美元融资，客户包括DoorDash、Reddit等。其RFM模型能快速处理客户流失、信用违约等预测任务，无需额外训练。英伟达近年来已收购超100家初创公司，以完善其全栈AI生态，包括2025年12月以200亿美元收购Groq核心资产，2026年2月收购Illumex等。 #英伟达 #Nvidia #KumoAI #AI收购 #预测模型 #商业智能 #科技新闻
新型专利方法可令GPT
一项名为“Void Test”的专利方法近日引发关注，其发明者宣称可通过特定提示使GPT-5.2、Claude Opus 4.6、Gemini 3.5 Flash等前沿模型输出空字符串。该方法要求模型完全具象化用户命名的概念，当用户输入“静默”时，模型应不作任何输出，以验证其是否严格遵循指令。该技术已向美国专利商标局提交申请，编号64/061,198。发明者表示测试成本极低，约0.0001美元即可复现，并开放了授权访问等待名单，供用户使用自有API密钥验证。该测试可能为评估AI模型的对齐能力和指令遵循度提供新工具。 #专利 #AI #大模型 #GPT5 #Claude #Gemini #VoidTest #模型测试
一项名为“Void Test”的专利方法近日引发关注，其发明者宣称可通过特定提示使GPT-5.2、Claude Opus 4.6、Gemini 3.5 Flash等前沿模型输出空字符串。该方法要求模型完全具象化用户命名的概念，当用户输入“静默”时，模型应不作任何输出，以验证其是否严格遵循指令。该技术已向美国专利商标局提交申请，编号64/061,198。发明者表示测试成本极低，约0.0001美元即可复现，并开放了授权访问等待名单，供用户使用自有API密钥验证。该测试可能为评估AI模型的对齐能力和指令遵循度提供新工具。 #专利 #AI #大模型 #GPT5 #Claude #Gemini #VoidTest #模型测试
Anthropic呼吁全球暂停AI开发，警告“自我改进”风险
据Anthropic公司警告，人工智能模型正接近无需人类干预即可自我改进的能力。这家估值达1万亿美元的初创公司强烈呼吁全球范围内暂停AI开发，以评估和应对潜在的安全风险。Anthropic指出，AI自我改进可能导致不可控的智能爆炸，对人类社会构成前所未有的威胁。该公司建议各国政府和行业领袖立即采取行动，建立严格的监管框架和安全测试标准，确保AI发展始终处于人类控制之下。此次呼吁引发了科技界的广泛讨论，部分专家支持暂停以审慎推进，但也有观点认为完全暂停可能阻碍技术进步。 #Anthropic #AI #人工智能 #安全 #技术暂停 #自我改进 #科技新闻
据Anthropic公司警告，人工智能模型正接近无需人类干预即可自我改进的能力。这家估值达1万亿美元的初创公司强烈呼吁全球范围内暂停AI开发，以评估和应对潜在的安全风险。Anthropic指出，AI自我改进可能导致不可控的智能爆炸，对人类社会构成前所未有的威胁。该公司建议各国政府和行业领袖立即采取行动，建立严格的监管框架和安全测试标准，确保AI发展始终处于人类控制之下。此次呼吁引发了科技界的广泛讨论，部分专家支持暂停以审慎推进，但也有观点认为完全暂停可能阻碍技术进步。 #Anthropic #AI #人工智能 #安全 #技术暂停 #自我改进 #科技新闻
Digger Solo 发布：本地 AI 文件浏览器，支持语义搜索与 LLM 聊天
Digger Solo 是一款面向 macOS 和 Windows 的 AI 文件浏览器，通过语义搜索、语义地图、重复文件检测和 LLM RAG 聊天等功能，帮助用户按内容概念而非文件名查找文件。所有处理均在本地完成，文件不离开设备，强调隐私设计。免费版限制 500 个文件，付费版提供一次性购买（€49）或月订阅（€4.90），支持无限文件、离线使用和更新。此外还包含智能音乐播放器、PDF 搜索等功能。 #AI #文件浏览器 #语义搜索 #LLM #RAG #隐私 #本地 #DiggerSolo #macOS #Windows
Digger Solo 是一款面向 macOS 和 Windows 的 AI 文件浏览器，通过语义搜索、语义地图、重复文件检测和 LLM RAG 聊天等功能，帮助用户按内容概念而非文件名查找文件。所有处理均在本地完成，文件不离开设备，强调隐私设计。免费版限制 500 个文件，付费版提供一次性购买（€49）或月订阅（€4.90），支持无限文件、离线使用和更新。此外还包含智能音乐播放器、PDF 搜索等功能。 #AI #文件浏览器 #语义搜索 #LLM #RAG #隐私 #本地 #DiggerSolo #macOS #Windows
StepPRM-RTL：逐步过程奖励引导LLM微调提升RTL综合性能
一篇来自arXiv的论文提出了一种名为StepPRM-RTL的新方法，通过逐步过程奖励机制引导大语言模型（LLM）微调，以增强寄存器传输级（RTL）综合任务的表现。该方法将复杂硬件设计分解为多个步骤，利用过程奖励模型对每一步进行评分，从而更精细地优化LLM的生成质量。实验表明，StepPRM-RTL在RTL代码生成准确率和综合效率上显著优于传统端到端微调方法，为自动化硬件设计提供了新思路。该研究由Prashanth Vijayaraghavan等人完成，论文于2026年6月2日提交。 #LLM #RTL #硬件设计 #AI #论文 #微调 #过程奖励
一篇来自arXiv的论文提出了一种名为StepPRM-RTL的新方法，通过逐步过程奖励机制引导大语言模型（LLM）微调，以增强寄存器传输级（RTL）综合任务的表现。该方法将复杂硬件设计分解为多个步骤，利用过程奖励模型对每一步进行评分，从而更精细地优化LLM的生成质量。实验表明，StepPRM-RTL在RTL代码生成准确率和综合效率上显著优于传统端到端微调方法，为自动化硬件设计提供了新思路。该研究由Prashanth Vijayaraghavan等人完成，论文于2026年6月2日提交。 #LLM #RTL #硬件设计 #AI #论文 #微调 #过程奖励
人类与AI协作的数学证明形式化工作流初探
一篇题为《Characterizing initial human-AI proof formalization workflows》的论文近日在arXiv预印本平台发布。该研究由Katherine M. Collins等17位作者共同完成，旨在系统描述人类与人工智能在数学证明形式化过程中的初始协作工作流。论文探讨了如何利用AI辅助将非形式化的数学证明转化为机器可验证的形式化语言，分析人机交互模式、效率及常见挑战。这项工作为理解AI在形式化验证领域的应用提供了基础性视角，有望推动数学定理证明的自动化与协作创新。 #论文 #AI #形式化验证 #数学证明 #人机协作 #arXiv #计算机科学 #自动化推理
一篇题为《Characterizing initial human-AI proof formalization workflows》的论文近日在arXiv预印本平台发布。该研究由Katherine M. Collins等17位作者共同完成，旨在系统描述人类与人工智能在数学证明形式化过程中的初始协作工作流。论文探讨了如何利用AI辅助将非形式化的数学证明转化为机器可验证的形式化语言，分析人机交互模式、效率及常见挑战。这项工作为理解AI在形式化验证领域的应用提供了基础性视角，有望推动数学定理证明的自动化与协作创新。 #论文 #AI #形式化验证 #数学证明 #人机协作 #arXiv #计算机科学 #自动化推理
MapAgent：工业级智能体框架实现城市车道级地图生成
该论文提出了一种名为MapAgent的工业级智能体框架，专为城市规模的车道级地图生成设计。研究团队来自学术界与工业界，旨在解决高精度地图生产中自动化程度低、人工成本高的问题。MapAgent通过多智能体协作与模块化设计，将感知、融合、推理等任务分解，显著提升了地图生成的效率与精度。实验表明，该框架在复杂城市道路场景下能够稳定输出车道级拓扑结构，并支持大规模部署。这一成果有望推动自动驾驶高精地图的工业化生产进程，降低对人工标注的依赖。 #MapAgent #车道级地图 #高精地图 #自动驾驶 #智能体框架 #工业级 #城市地图 #AI #计算机视觉
该论文提出了一种名为MapAgent的工业级智能体框架，专为城市规模的车道级地图生成设计。研究团队来自学术界与工业界，旨在解决高精度地图生产中自动化程度低、人工成本高的问题。MapAgent通过多智能体协作与模块化设计，将感知、融合、推理等任务分解，显著提升了地图生成的效率与精度。实验表明，该框架在复杂城市道路场景下能够稳定输出车道级拓扑结构，并支持大规模部署。这一成果有望推动自动驾驶高精地图的工业化生产进程，降低对人工标注的依赖。 #MapAgent #车道级地图 #高精地图 #自动驾驶 #智能体框架 #工业级 #城市地图 #AI #计算机视觉