用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 #技术演讲 #人工智能 #安全关键 #技能创新
辨别真伪
当数学天才陶哲轩与ChatGPT关于“雅可比猜想反例”的对话在网上流传时，许多人被其专业性所震撼。然而，对于大多数数学知识仅停留在微积分水平的人来说，这种专业对话的真实性完全无法判断。这种信息辨别能力的缺失正是当前AI工具使用中的核心问题。虽然AI能生成看似合理的专业内容，但也充斥着明显的错误和难以察觉的细微漏洞。这些被业界婉称为“幻觉”的错误，根源于AI缺乏真正的理解能力。因此，可靠地使用AI必须以使用者的专业知识和经验为前提。一位常年使用本地聊天机器人进行拼写检查的作者指出，关键在于明确AI的辅助角色：它用于纠正标点错误或打字失误，而非替代人类写作或提供专业解释。反对者提出的碳排放、隐私泄露等质疑，在实际数据和本地运行模式面前均不成立。这揭示了一个基本事实：AI的价值取决于使用者的判断力，而判断力只能由真实技能和知识支撑。 #AI #大模型 #事实核查 #科技素养 #人工智能 #聊天机器人 #信息辨别
当数学天才陶哲轩与ChatGPT关于“雅可比猜想反例”的对话在网上流传时，许多人被其专业性所震撼。然而，对于大多数数学知识仅停留在微积分水平的人来说，这种专业对话的真实性完全无法判断。这种信息辨别能力的缺失正是当前AI工具使用中的核心问题。虽然AI能生成看似合理的专业内容，但也充斥着明显的错误和难以察觉的细微漏洞。这些被业界婉称为“幻觉”的错误，根源于AI缺乏真正的理解能力。因此，可靠地使用AI必须以使用者的专业知识和经验为前提。一位常年使用本地聊天机器人进行拼写检查的作者指出，关键在于明确AI的辅助角色：它用于纠正标点错误或打字失误，而非替代人类写作或提供专业解释。反对者提出的碳排放、隐私泄露等质疑，在实际数据和本地运行模式面前均不成立。这揭示了一个基本事实：AI的价值取决于使用者的判断力，而判断力只能由真实技能和知识支撑。 #AI #大模型 #事实核查 #科技素养 #人工智能 #聊天机器人 #信息辨别
hero-final.webm
2.9 MB
Lucebox 在 AMD Ryzen AI MAX+ 395 上运行 DeepSeek V4 Flash，解码速度达 32 tok/s
AMD 驱动的 Lucebox 在配备 128 GB 统一内存的 AMD Ryzen AI MAX+ 395 上，完全本地运行了 DeepSeek V4 Flash 模型。该模型是拥有 284B 参数的混合专家模型，CPU 和 Radeon 8060S 共享同一 128 GB LPDDR5X 内存池，无需独立显卡、第二台机器或远程推理服务。解码速度达到 32.0 tok/s，索引稀疏预填充速度约为 250 tok/s。这一成绩在 LocalMaxxing 平台上比第二名 HipFire（18.99 tok/s）快 68.5%，是第三名 DwarfStar（15.6 tok/s）的两倍多。此外，项目团队为 DeepSeek V4 Flash 定制了 ROCmFPX 混合精度量化方案，采用 2.88 bits/parameter 的模型精度，并结合专门的 HIP 解码路径和 DSpark 投机解码技术，实现了显著加速。 #AMD #DeepSeek #大模型 #AI #科技 #ROCm #Lucebox
AMD 驱动的 Lucebox 在配备 128 GB 统一内存的 AMD Ryzen AI MAX+ 395 上，完全本地运行了 DeepSeek V4 Flash 模型。该模型是拥有 284B 参数的混合专家模型，CPU 和 Radeon 8060S 共享同一 128 GB LPDDR5X 内存池，无需独立显卡、第二台机器或远程推理服务。解码速度达到 32.0 tok/s，索引稀疏预填充速度约为 250 tok/s。这一成绩在 LocalMaxxing 平台上比第二名 HipFire（18.99 tok/s）快 68.5%，是第三名 DwarfStar（15.6 tok/s）的两倍多。此外，项目团队为 DeepSeek V4 Flash 定制了 ROCmFPX 混合精度量化方案，采用 2.88 bits/parameter 的模型精度，并结合专门的 HIP 解码路径和 DSpark 投机解码技术，实现了显著加速。 #AMD #DeepSeek #大模型 #AI #科技 #ROCm #Lucebox
MCP 详解
在 AI 代理开发中，工具调用是关键环节，但传统方式存在严重问题：每个工具需要定制集成，每对模型-工具组合需要单独适配器。例如，使用三个模型和十个工具时，可能需维护三十个集成，且任一元素变动都可能导致系统崩溃，这种 M×N 问题严重限制了扩展性。为解决这一挑战，Anthropic 于 2024 年 11 月开源了模型上下文协议（MCP），它如同 AI 领域的 USB 标准，提供统一协议，使任何支持 MCP 的代理都能连接任何支持 MCP 的工具，无需重复定制。MCP 架构包括主机、客户端和服务器三部分，服务器可提供资源、工具和提示三类能力，从而简化开发、提升互操作性。 #MCP #AI代理 #模型上下文协议 #标准化 #Anthropic #开源 #人工智能 #技术
在 AI 代理开发中，工具调用是关键环节，但传统方式存在严重问题：每个工具需要定制集成，每对模型-工具组合需要单独适配器。例如，使用三个模型和十个工具时，可能需维护三十个集成，且任一元素变动都可能导致系统崩溃，这种 M×N 问题严重限制了扩展性。为解决这一挑战，Anthropic 于 2024 年 11 月开源了模型上下文协议（MCP），它如同 AI 领域的 USB 标准，提供统一协议，使任何支持 MCP 的代理都能连接任何支持 MCP 的工具，无需重复定制。MCP 架构包括主机、客户端和服务器三部分，服务器可提供资源、工具和提示三类能力，从而简化开发、提升互操作性。 #MCP #AI代理 #模型上下文协议 #标准化 #Anthropic #开源 #人工智能 #技术