谷歌旗下Wiz发布AI漏洞挖掘系统Atlas，已发现超200个漏洞
谷歌旗下网络安全部门Wiz近日宣布推出自主漏洞挖掘AI系统Atlas，该系统由多个AI智能体协作完成漏洞发现，模拟人类安全研究团队的工作流程。Atlas通过多阶段任务拆分，先建立威胁模型并分析代码结构，再由多个智能体分别提出漏洞假设、验证与反驳，最终由裁决智能体确认有效漏洞。系统在验证环节自动搭建测试环境并执行攻击输入以触发漏洞。为降低运行成本，Atlas仅在复杂推理环节调用大型模型，常规任务交由小型模型处理，并结合确定性代码分析和对抗审核机制提升效率。在基准测试CyberGym中，Atlas取得90.9%的成绩，超越GPT-5.5-Cyber等模型。实际应用中，Atlas已在多个开源项目中发现并验证超过200个此前未知漏洞，并帮助GitHub发现远程代码执行漏洞CVE-2026-3854，斩获10万美元奖金。 #网络安全 #AI #漏洞挖掘 #谷歌 #Wiz #Atlas #开源安全 #GitHub
谷歌旗下网络安全部门Wiz近日宣布推出自主漏洞挖掘AI系统Atlas，该系统由多个AI智能体协作完成漏洞发现，模拟人类安全研究团队的工作流程。Atlas通过多阶段任务拆分，先建立威胁模型并分析代码结构，再由多个智能体分别提出漏洞假设、验证与反驳，最终由裁决智能体确认有效漏洞。系统在验证环节自动搭建测试环境并执行攻击输入以触发漏洞。为降低运行成本，Atlas仅在复杂推理环节调用大型模型，常规任务交由小型模型处理，并结合确定性代码分析和对抗审核机制提升效率。在基准测试CyberGym中，Atlas取得90.9%的成绩，超越GPT-5.5-Cyber等模型。实际应用中，Atlas已在多个开源项目中发现并验证超过200个此前未知漏洞，并帮助GitHub发现远程代码执行漏洞CVE-2026-3854，斩获10万美元奖金。 #网络安全 #AI #漏洞挖掘 #谷歌 #Wiz #Atlas #开源安全 #GitHub
AI 单挑编程竞赛，仅靠 AI 跻身前 25 名
在 2026 年 ICFP 编程竞赛中，一名参赛者以单人团队形式，完全依赖 AI 工具（主要是 Fable 模型）完成比赛，最终在约 200 支队伍中排名前 25。竞赛主办方特意设计了二维 esolang（一种异形编程语言），以测试 AI 在复杂逻辑推理上的能力。作者发现，AI 在处理线性、自上而下的编程任务时表现较好，但面对多维、非线性的问题则力不从心。此外，AI 还暴露出诸多怪癖：如对时间感知混乱、忘记自身模型名称、生成子代理后忘记任务目标等。作者认为，这些现象揭示了当前 AI 在编程领域的真实局限：看似强大，却缺乏自我认知和持续规划能力，使用前必须充分试错。 #ICFP #编程竞赛 #AI #大模型 #Fable #人工智能 #编程 #科技新闻 #AI局限
在 2026 年 ICFP 编程竞赛中，一名参赛者以单人团队形式，完全依赖 AI 工具（主要是 Fable 模型）完成比赛，最终在约 200 支队伍中排名前 25。竞赛主办方特意设计了二维 esolang（一种异形编程语言），以测试 AI 在复杂逻辑推理上的能力。作者发现，AI 在处理线性、自上而下的编程任务时表现较好，但面对多维、非线性的问题则力不从心。此外，AI 还暴露出诸多怪癖：如对时间感知混乱、忘记自身模型名称、生成子代理后忘记任务目标等。作者认为，这些现象揭示了当前 AI 在编程领域的真实局限：看似强大，却缺乏自我认知和持续规划能力，使用前必须充分试错。 #ICFP #编程竞赛 #AI #大模型 #Fable #人工智能 #编程 #科技新闻 #AI局限
月之暗面完成35亿美元融资，估值达350亿美元
据彭博社报道，中国AI创业公司月之暗面（Moonshot AI）已完成新一轮35亿美元融资，公司估值高达350亿美元。本轮融资由阿里巴巴、红杉中国等知名机构领投，资金将用于大模型研发及Kimi智能助手的产品迭代。月之暗面凭借长文本处理能力在国产大模型中脱颖而出，Kimi月活跃用户已突破千万。此次融资创下中国AI初创公司单轮融资纪录，反映出资本市场对国产大模型赛道的高度关注。随着资金注入，月之暗面有望在商业化落地和技术突破上加速，但同时也面临激烈竞争和算力成本压力。 #月之暗面 #MoonshotAI #融资 #AI #大模型 #Kimi #科技新闻 #中国AI
据彭博社报道，中国AI创业公司月之暗面（Moonshot AI）已完成新一轮35亿美元融资，公司估值高达350亿美元。本轮融资由阿里巴巴、红杉中国等知名机构领投，资金将用于大模型研发及Kimi智能助手的产品迭代。月之暗面凭借长文本处理能力在国产大模型中脱颖而出，Kimi月活跃用户已突破千万。此次融资创下中国AI初创公司单轮融资纪录，反映出资本市场对国产大模型赛道的高度关注。随着资金注入，月之暗面有望在商业化落地和技术突破上加速，但同时也面临激烈竞争和算力成本压力。 #月之暗面 #MoonshotAI #融资 #AI #大模型 #Kimi #科技新闻 #中国AI
逃离LLM编程竞赛
一位软件开发者分享了他对AI编程竞赛的深刻反思。他曾陷入“必须让AI代理时刻忙碌”的焦虑，担心落后于他人，但最终意识到这种恐惧是被制造出来的，目的是推销AI算力。尽管他利用AI代理成功开发了产品TextForge，却发现营销比生产更难，再次验证了“分发比生产更重要”的老道理。文章引用NBER工作论文《AI与创意产品的数量和质量》的数据显示，2021年至2026年间，AI生成书籍的月发行量激增三倍，但用户参与度远低于人类作品。作者指出，单纯追求用LLM快速产出并不能创造实际价值，提醒开发者不要盲目陷入AI竞赛，而应关注产品对市场的真实影响。 #AI #LLM #编程竞赛 #书籍质量 #科技反思 #生产力 #软件工程 #NBER
一位软件开发者分享了他对AI编程竞赛的深刻反思。他曾陷入“必须让AI代理时刻忙碌”的焦虑，担心落后于他人，但最终意识到这种恐惧是被制造出来的，目的是推销AI算力。尽管他利用AI代理成功开发了产品TextForge，却发现营销比生产更难，再次验证了“分发比生产更重要”的老道理。文章引用NBER工作论文《AI与创意产品的数量和质量》的数据显示，2021年至2026年间，AI生成书籍的月发行量激增三倍，但用户参与度远低于人类作品。作者指出，单纯追求用LLM快速产出并不能创造实际价值，提醒开发者不要盲目陷入AI竞赛，而应关注产品对市场的真实影响。 #AI #LLM #编程竞赛 #书籍质量 #科技反思 #生产力 #软件工程 #NBER
教师因在AI数据中心会议上鼓掌抗议被捕
美国堪萨斯州埃姆波利亚市一名教师克拉里奇，在一次关于AI数据中心项目的市政会议上，因在反对者发言后鼓掌五次而被警方逮捕。现场视频显示，有人要求“让他离开”，警察随后上前。克拉里奇声称“我有权发言”，但最终被四名警察铐走并关押至莱昂县监狱。该数据中心项目“弗林特山数字园区”遭到当地居民反对，担忧其将加剧电力负担和水质污染。尽管全美已有42个州发生142起抗议活动，埃姆波利亚市仍批准了项目分区变更。克拉里奇目前已保释，等待九月听证会，他表示不会因此停止发声。 #AI #数据中心 #抗议 #教师被捕 #美国新闻 #能源 #环境 #社区冲突 #公民权利 #科技发展
美国堪萨斯州埃姆波利亚市一名教师克拉里奇，在一次关于AI数据中心项目的市政会议上，因在反对者发言后鼓掌五次而被警方逮捕。现场视频显示，有人要求“让他离开”，警察随后上前。克拉里奇声称“我有权发言”，但最终被四名警察铐走并关押至莱昂县监狱。该数据中心项目“弗林特山数字园区”遭到当地居民反对，担忧其将加剧电力负担和水质污染。尽管全美已有42个州发生142起抗议活动，埃姆波利亚市仍批准了项目分区变更。克拉里奇目前已保释，等待九月听证会，他表示不会因此停止发声。 #AI #数据中心 #抗议 #教师被捕 #美国新闻 #能源 #环境 #社区冲突 #公民权利 #科技发展
合规就绪的AI代理：Bifrost为MCP工具调用提供完整日志追踪
AI代理通过MCP协议调用工具，如删除客户记录或执行支付，但这些操作往往缺乏可追溯的记录。标准LLM日志仅记录模型与应用的对话，而工具的实际执行发生在下游，导致意图与结果之间出现“缺失的中间环节”。审计人员无法回答哪个工具被调用、使用了谁的权限、是否合规。文章指出，要解决这一合规漏洞，必须借助MCP网关，如Bifrost，将每次工具调用本身记录在案，包括输入、使用的密钥、权限检查情况。这样，代理从“快速但不可问责”变为“可审计且合规”，满足SOC 2等审查要求。 #AI代理 #MCP #合规 #日志追踪 #Bifrost #审计 #SOC2 #工具调用 #技术
AI代理通过MCP协议调用工具，如删除客户记录或执行支付，但这些操作往往缺乏可追溯的记录。标准LLM日志仅记录模型与应用的对话，而工具的实际执行发生在下游，导致意图与结果之间出现“缺失的中间环节”。审计人员无法回答哪个工具被调用、使用了谁的权限、是否合规。文章指出，要解决这一合规漏洞，必须借助MCP网关，如Bifrost，将每次工具调用本身记录在案，包括输入、使用的密钥、权限检查情况。这样，代理从“快速但不可问责”变为“可审计且合规”，满足SOC 2等审查要求。 #AI代理 #MCP #合规 #日志追踪 #Bifrost #审计 #SOC2 #工具调用 #技术
用Rust和AI重写PHP虚拟机
作者借助AI大语言模型，尝试用Rust语言重写PHP虚拟机。最初，AI基于自身知识生成了一个栈式虚拟机原型，一天内即可运行部分PHP代码，但性能极慢，且与PHP原生的寄存器虚拟机架构存在差异，可能导致值析构顺序、错误触发时机等行为不一致。作者放弃直接复制Zend引擎的方案，转而拥抱Rust的所有权模型、避免全局可变状态和最小化不安全代码，探索符合Rust哲学的全新设计。尽管面临挑战，AI显著降低了理解庞大代码库和验证架构的成本，让这一雄心勃勃的重写项目成为可能，目标并非制造又一个PHP解释器，而是深入理解PHP并重新构想其虚拟机。 #Rust #PHP #虚拟机 #AI #LLM #编程语言 #系统开发 #开源 #技术探索
作者借助AI大语言模型，尝试用Rust语言重写PHP虚拟机。最初，AI基于自身知识生成了一个栈式虚拟机原型，一天内即可运行部分PHP代码，但性能极慢，且与PHP原生的寄存器虚拟机架构存在差异，可能导致值析构顺序、错误触发时机等行为不一致。作者放弃直接复制Zend引擎的方案，转而拥抱Rust的所有权模型、避免全局可变状态和最小化不安全代码，探索符合Rust哲学的全新设计。尽管面临挑战，AI显著降低了理解庞大代码库和验证架构的成本，让这一雄心勃勃的重写项目成为可能，目标并非制造又一个PHP解释器，而是深入理解PHP并重新构想其虚拟机。 #Rust #PHP #虚拟机 #AI #LLM #编程语言 #系统开发 #开源 #技术探索
Am I in the Stack? 工具上线
Hugging Face 推出了一款名为“Am I in the Stack?”的在线工具，旨在帮助开发者快速检查自己的代码或数据是否被纳入大型AI训练数据集（如The Stack）。该工具通过搜索公开的代码语料库，返回匹配结果，让开发者了解自己的作品是否被用于训练大模型。此举旨在提升AI训练数据来源的透明度，并回应社区对数据版权和隐私的关切。用户只需在Hugging Face Spaces上运行该应用，即可获得查询结果，为后续选择退出训练提供了依据。 #HuggingFace #AI训练 #数据版权 #透明度 #开发者工具 #TheStack #隐私保护
Hugging Face 推出了一款名为“Am I in the Stack?”的在线工具，旨在帮助开发者快速检查自己的代码或数据是否被纳入大型AI训练数据集（如The Stack）。该工具通过搜索公开的代码语料库，返回匹配结果，让开发者了解自己的作品是否被用于训练大模型。此举旨在提升AI训练数据来源的透明度，并回应社区对数据版权和隐私的关切。用户只需在Hugging Face Spaces上运行该应用，即可获得查询结果，为后续选择退出训练提供了依据。 #HuggingFace #AI训练 #数据版权 #透明度 #开发者工具 #TheStack #隐私保护
游戏AI 75年发展史
Kallin Nagelberg 提出一个设想：能否让一台机器仅凭规则和配件，自学任何棋牌游戏？为此，他正在构建一个通用系统，并发布了系列研究日志。文章回顾了75年游戏AI里程碑：从1948年图灵手动执行国际象棋程序，1950年香农提出计算机象棋蓝图，到1997年深蓝击败卡斯帕罗夫。早期依赖搜索算法（如极小化极大算法和Alpha-Beta剪枝），后来转向学习算法。作者指出，所有工具都是前人解决特定游戏问题的产物，而当前的目标是让同一系统学会围棋、大富翁、车票之旅等任意游戏，无需为每个游戏单独编程。 #游戏AI #人工智能 #机器学习 #算法 #历史 #通用系统 #技术科普
Kallin Nagelberg 提出一个设想：能否让一台机器仅凭规则和配件，自学任何棋牌游戏？为此，他正在构建一个通用系统，并发布了系列研究日志。文章回顾了75年游戏AI里程碑：从1948年图灵手动执行国际象棋程序，1950年香农提出计算机象棋蓝图，到1997年深蓝击败卡斯帕罗夫。早期依赖搜索算法（如极小化极大算法和Alpha-Beta剪枝），后来转向学习算法。作者指出，所有工具都是前人解决特定游戏问题的产物，而当前的目标是让同一系统学会围棋、大富翁、车票之旅等任意游戏，无需为每个游戏单独编程。 #游戏AI #人工智能 #机器学习 #算法 #历史 #通用系统 #技术科普
法拉利 Luce EV 销量达 500 台，提前两年完成年度目标
今年初，法拉利全新纯电车型 Luce 在争议中上市，但市场反响远超预期。据英国《金融时报》援引消息人士称，这款由苹果前首席设计师乔纳森·艾维操刀设计的电动汽车，仅用两个月便已达到法拉利内部设定的 2026 年销售目标——即“略低于 500 台”的年度销量。法拉利计划在本周四公布季度财报，此次提前达标无疑为品牌在电动化转型中注入强心剂。Luce 作为法拉利首款纯电车型，其独特造型与高昂定价曾引发两极评价，但实际购买需求证明了品牌在超豪华电动车领域的号召力。 #法拉利 #Luce #电动汽车 #乔纳森艾维 #销量 #豪华车 #汽车新闻 #电动化
今年初，法拉利全新纯电车型 Luce 在争议中上市，但市场反响远超预期。据英国《金融时报》援引消息人士称，这款由苹果前首席设计师乔纳森·艾维操刀设计的电动汽车，仅用两个月便已达到法拉利内部设定的 2026 年销售目标——即“略低于 500 台”的年度销量。法拉利计划在本周四公布季度财报，此次提前达标无疑为品牌在电动化转型中注入强心剂。Luce 作为法拉利首款纯电车型，其独特造型与高昂定价曾引发两极评价，但实际购买需求证明了品牌在超豪华电动车领域的号召力。 #法拉利 #Luce #电动汽车 #乔纳森艾维 #销量 #豪华车 #汽车新闻 #电动化