AI杀链揭秘
人工智能军事化应用虽被广泛讨论，却鲜有深入理解。据报告，现代军事AI并非单一系统，而是由多种机器学习算法构成，它们迅速自动化以往由人类执行的任务。这种转变正在导致人类监督与问责制的逐渐消失。报告通过一个虚构但简化的AI辅助攻击场景，构建了一条包含六个阶段的抽象杀链：传感器与数据、监视、情报与识别、选择、打击与打击后评估。当前，AI技术已被先进军事力量应用于乌克兰、加沙和伊朗等地的实际冲突中。决策支持系统（DSS）被用于监控区域目标、辅助军事决策，但传感器输出错误、数据噪声或标签错误会影响系统可靠性。例如，算法通过分析卫星图像发现异常活动，可能将无标记卡车认定为潜在武器制造目标。该系统还能通过手机信号对特定区域进行地理围栏监控，自动拦截并翻译通信内容。尽管故事是虚构的，但所描述的AI技术真实存在，其快速部署正引发致命错误的风险。 #AI军事化 #人工智能 #军事技术 #杀链 #数字监控 #现代战争 #算法黑箱
人工智能军事化应用虽被广泛讨论，却鲜有深入理解。据报告，现代军事AI并非单一系统，而是由多种机器学习算法构成，它们迅速自动化以往由人类执行的任务。这种转变正在导致人类监督与问责制的逐渐消失。报告通过一个虚构但简化的AI辅助攻击场景，构建了一条包含六个阶段的抽象杀链：传感器与数据、监视、情报与识别、选择、打击与打击后评估。当前，AI技术已被先进军事力量应用于乌克兰、加沙和伊朗等地的实际冲突中。决策支持系统（DSS）被用于监控区域目标、辅助军事决策，但传感器输出错误、数据噪声或标签错误会影响系统可靠性。例如，算法通过分析卫星图像发现异常活动，可能将无标记卡车认定为潜在武器制造目标。该系统还能通过手机信号对特定区域进行地理围栏监控，自动拦截并翻译通信内容。尽管故事是虚构的，但所描述的AI技术真实存在，其快速部署正引发致命错误的风险。 #AI军事化 #人工智能 #军事技术 #杀链 #数字监控 #现代战争 #算法黑箱
用AI代理调查每一个安全事件，而不用承担前沿模型的巨额账单
在网络安全领域，用人工智能代理调查可疑活动通常成本高昂，无法普及。为了解决这一难题，Datadog 团队开发了一种两级检测管道。他们构建了一个名为 Mambark 的小型状态空间模型，该模型仅有约 9690 万个参数，经过审计日志序列预训练，能够对所有安全事件进行快速评分，仅将最可疑的事件转发给AI代理进行深入分析。这借鉴了信息检索中的经典“检索-阅读”设计：先用低成本模型完成高召回率的初筛，再用强大的推理模型进行精准判断。这种方案避免了直接使用前沿大语言模型处理海量事件流所带来的天价成本——大型企业若用前沿模型评估每个安全事件，每日花费可能高达数千万美元。目前，该检测模式已在一小部分 Datadog Cloud SIEM 设计合作伙伴中进行测试，旨在实现既能大规模运行、又能进行精确调查的实用化AI安全检测。 #安全 #AI #大模型 #网络安全 #科技
在网络安全领域，用人工智能代理调查可疑活动通常成本高昂，无法普及。为了解决这一难题，Datadog 团队开发了一种两级检测管道。他们构建了一个名为 Mambark 的小型状态空间模型，该模型仅有约 9690 万个参数，经过审计日志序列预训练，能够对所有安全事件进行快速评分，仅将最可疑的事件转发给AI代理进行深入分析。这借鉴了信息检索中的经典“检索-阅读”设计：先用低成本模型完成高召回率的初筛，再用强大的推理模型进行精准判断。这种方案避免了直接使用前沿大语言模型处理海量事件流所带来的天价成本——大型企业若用前沿模型评估每个安全事件，每日花费可能高达数千万美元。目前，该检测模式已在一小部分 Datadog Cloud SIEM 设计合作伙伴中进行测试，旨在实现既能大规模运行、又能进行精确调查的实用化AI安全检测。 #安全 #AI #大模型 #网络安全 #科技
SpaceX股价或跌至100美元，AI业务价值被行业看空
SpaceX自6月创纪录的860亿美元发行后，股价经历短暂暴涨后持续回落，目前交易在110美元附近。摩根士丹利分析师表示，随着首批股份下月解禁，股价可能进一步跌至100美元，意味着投资者对该公司的AI业务估值正趋于零甚至负值。分析师认为，当前悲观情绪与基本面的背离创造了买入窗口，维持目标价300美元，其中逾50%由AI业务贡献。但多数投资者对SpaceX旗下AI产品Grok和Cursor前景存疑，认为该领域资本开支高、经济性不确定且消耗过多管理层精力。与此同时，科技股因AI投资压力和宏观风险遭遇广泛抛售，但华尔街仍普遍看多，近80%的分析师给予买入评级，平均目标价约为232美元。 #SpaceX #股价 #AI #摩根士丹利 #估值 #科技股 #投资 #Grok #牛市 #发行
SpaceX自6月创纪录的860亿美元发行后，股价经历短暂暴涨后持续回落，目前交易在110美元附近。摩根士丹利分析师表示，随着首批股份下月解禁，股价可能进一步跌至100美元，意味着投资者对该公司的AI业务估值正趋于零甚至负值。分析师认为，当前悲观情绪与基本面的背离创造了买入窗口，维持目标价300美元，其中逾50%由AI业务贡献。但多数投资者对SpaceX旗下AI产品Grok和Cursor前景存疑，认为该领域资本开支高、经济性不确定且消耗过多管理层精力。与此同时，科技股因AI投资压力和宏观风险遭遇广泛抛售，但华尔街仍普遍看多，近80%的分析师给予买入评级，平均目标价约为232美元。 #SpaceX #股价 #AI #摩根士丹利 #估值 #科技股 #投资 #Grok #牛市 #发行
二手书商遭遇离奇订单
一位来自休斯顿的二手书商发现，其线上销售出现异常波动：在一周内，一个相对冷门的销售平台订单量激增至常态的20倍，且约95%的订单均指向同一买家。这些订单包含大量过时、冷门的书籍，如1995年的《丹佛地铁内幕指南》或1991年的《Corel WordPerfect使用指南》——通常无人问津的滞销库存。该买家要求将书籍寄往与其所在地不同的地址。经调查，这些书籍在亚马逊上的标价往往比该平台高出5至20倍，且部分标注为缺货。作者推测，这并非AI公司收购旧书用于训练模型，而是一种金融套利行为：买家通过算法发现平台间的价格或库存差异，低价买入，高价转售。 #二手书 #电商 #套利 #算法 #冷门书 #图书市场 #休斯顿 #独立书店
一位来自休斯顿的二手书商发现，其线上销售出现异常波动：在一周内，一个相对冷门的销售平台订单量激增至常态的20倍，且约95%的订单均指向同一买家。这些订单包含大量过时、冷门的书籍，如1995年的《丹佛地铁内幕指南》或1991年的《Corel WordPerfect使用指南》——通常无人问津的滞销库存。该买家要求将书籍寄往与其所在地不同的地址。经调查，这些书籍在亚马逊上的标价往往比该平台高出5至20倍，且部分标注为缺货。作者推测，这并非AI公司收购旧书用于训练模型，而是一种金融套利行为：买家通过算法发现平台间的价格或库存差异，低价买入，高价转售。 #二手书 #电商 #套利 #算法 #冷门书 #图书市场 #休斯顿 #独立书店
自动化曾带来经济困境，AI 不必重蹈覆辙
过去40年，数字技术的普及推动了自动化浪潮，在提升生产力的同时加剧了不平等。经济增长虽在继续，却只惠及部分群体，导致共同繁荣瓦解，并加剧了发达国家的自由民主危机。如今，生成式AI可能放大这些不平等，但这并非必然。通过全社会努力，可避免重蹈数字技术初期的覆辙。关键在于引导AI发展使其赋能工人而非取代他们，即所谓的“亲工人AI”：通过扩展工人能力、赋予新任务、提升生产率来改善就业。技术层面完全可行，部分案例已证实。例如，AI可帮助电工利用专业知识库和传感器数据快速诊断设备故障，或在教育领域辅助教师分析学生成绩模式。这种转变不会自发实现，但通过针对性模型和高质量数据训练，亲工人AI有望同步提高工资、就业率和生产力，修复过去四十年间生产力增长与优质岗位脱节的关系。 #AI #自动化 #经济平等 #亲工人AI #技术伦理 #劳动力市场 #数字技术 #社会影响
过去40年，数字技术的普及推动了自动化浪潮，在提升生产力的同时加剧了不平等。经济增长虽在继续，却只惠及部分群体，导致共同繁荣瓦解，并加剧了发达国家的自由民主危机。如今，生成式AI可能放大这些不平等，但这并非必然。通过全社会努力，可避免重蹈数字技术初期的覆辙。关键在于引导AI发展使其赋能工人而非取代他们，即所谓的“亲工人AI”：通过扩展工人能力、赋予新任务、提升生产率来改善就业。技术层面完全可行，部分案例已证实。例如，AI可帮助电工利用专业知识库和传感器数据快速诊断设备故障，或在教育领域辅助教师分析学生成绩模式。这种转变不会自发实现，但通过针对性模型和高质量数据训练，亲工人AI有望同步提高工资、就业率和生产力，修复过去四十年间生产力增长与优质岗位脱节的关系。 #AI #自动化 #经济平等 #亲工人AI #技术伦理 #劳动力市场 #数字技术 #社会影响
ACM 技术演讲
在5月7日举行，主题为"人工智能时代的软件验证"，吸引了大量参与者。由于时间有限，演讲者未能回答所有提问，但承诺后续会逐一回应。在完成新书《AI for Smarties: 理解人工智能》后，演讲者终于回归讨论。组织者Yan Timanovsky提供了会议聊天中未解答的问题列表，演讲者计划在接下来两到三周内尽可能回答这些问题，并邀请参与者通过评论区添加新问题或评论。为保护隐私，已移除提问者的姓名和邮箱信息。讨论中，有参与者指出，如果拒绝使用源自不纯粹创新的技术，人类将会变得贫乏、疾病增多且发展受限。关于"技能毁灭"的讨论引发争议，有人认为L型创新削平了技能差距，而E型创新则加剧了不平等。另一观点指出，没有创新真正"毁灭"技能，而是通过让非专业人士达成以往需要高技能才能实现的结果，使某些技能变得无关紧要。对于AI在安全关键领域编写软件的问题，有参与者质疑：在运行前验证完成后，如何确保这些AI生成的软件在运行过程中仍然保持安全？ #AI #软件验证 #ACM #技术演讲 #人工智能 #安全关键 #技能创新
在5月7日举行，主题为"人工智能时代的软件验证"，吸引了大量参与者。由于时间有限，演讲者未能回答所有提问，但承诺后续会逐一回应。在完成新书《AI for Smarties: 理解人工智能》后，演讲者终于回归讨论。组织者Yan Timanovsky提供了会议聊天中未解答的问题列表，演讲者计划在接下来两到三周内尽可能回答这些问题，并邀请参与者通过评论区添加新问题或评论。为保护隐私，已移除提问者的姓名和邮箱信息。讨论中，有参与者指出，如果拒绝使用源自不纯粹创新的技术，人类将会变得贫乏、疾病增多且发展受限。关于"技能毁灭"的讨论引发争议，有人认为L型创新削平了技能差距，而E型创新则加剧了不平等。另一观点指出，没有创新真正"毁灭"技能，而是通过让非专业人士达成以往需要高技能才能实现的结果，使某些技能变得无关紧要。对于AI在安全关键领域编写软件的问题，有参与者质疑：在运行前验证完成后，如何确保这些AI生成的软件在运行过程中仍然保持安全？ #AI #软件验证 #ACM #技术演讲 #人工智能 #安全关键 #技能创新