法官叫停派拉蒙与华纳兄弟探索1100亿美元合并案

据Variety和路透社报道，美国地区法官Araceli Martínez-Olguín部分批准了12个州总检察长的请求，暂时搁置派拉蒙与华纳兄弟探索公司价值1100亿美元的合并案。法官认为，基于新合并公司的市场份额，可以推定该合并可能违反反垄断法，并指出各州证明了若不发布临时限制令将造成不可挽回的损害。此次裁决给两大传媒巨头合并计划带来重大变数，后续进展备受关注。 #反垄断 #派拉蒙 #华纳兄弟探索 #合并 #传媒 #法律 #新闻 #美国 #司法

AI安全公司Neo获1亿美元融资，a16z与Bessemer领投

前SentinelOne高管创立的Neo公司宣布完成由Andreessen Horowitz和Bessemer Venture Partners领投的1亿美元融资，Craft Ventures和Merlin Ventures参投。Neo定位为“Agentic Software Control”平台，为企业的SecOps团队提供AI代理、应用、浏览器、身份与传统软件的实时清点、风险情报及行为归因能力，能原生拦截高风险操作和恶意模型。Gartner预测，到2026年具备agentic能力的企业应用比例将从2025年的5%跃升至40%。Neo计划利用本轮资金加速产品研发与市场拓展，帮助企业在大规模采用AI代理的同时强化安全治理能力。 #AI安全 #Neo #融资 #AndreessenHorowitz #Bessemer #Agentic #企业安全 #科技新闻

福特电动卡车战略转向，将推出3万美元车型

福特F-150 Lightning电动皮卡的市场表现不及预期，宣告该车型的终结。但这并非失败，而是福特电动化战略新时代的起点。公司宣布将基于全新的通用电动汽车平台从头开始，重新设计电动卡车。该平台旨在降低成本，有望推出一款售价约3万美元的电动车型，以吸引更广泛的消费者。这一举措标志着福特在电动车领域的重大转向，试图在竞争激烈的电动卡车市场中找回优势。 #福特 #电动卡车 #新能源 #F150Lightning #通用平台 #汽车新闻 #电动车 #战略调整

AI红队测试

组织正加速部署AI助手、代理和面向客户的生成式AI系统，但传统安全方法已难以应对这些系统的新攻击面——它们不仅能生成内容，还能推理、使用工具、访问敏感数据并自主决策。Alice公司首席产品与工程官Avi Golan指出，保护代理AI需要根本不同的方法，AI红队测试正成为每项AI安全策略的关键层。通过真实案例和新兴攻击模式，他展示了组织如何利用AI驱动的对抗测试先于对手发现漏洞。前Google Cloud CISO Phil Venables强调领导者需关注AI安全范式的转变，医疗CISO Sandy Dunn则探讨了AI获取患者数据后的隐私风险。核心结论：AI系统通过所有常规检查并不意味着安全，必须使用AI驱动的红队测试来发现隐藏的缺口。 #AI安全 #红队测试 #代理AI #网络安全 #AI防御 #自主系统 #数据隐私 #GenAI #对抗测试 #安全策略

AI 破解图论领域20年未解猜想

近日，一项由研究者 Sepehr Assadi、Mangooqwq 等提出的成果在学术圈引发关注：他们借助AI技术（包括 Lean 形式化验证工具）成功证明了一个存在20年的图论猜想——在半流式匹配问题中，贪心算法可实现最优近似比。该猜想此前长期悬而未决，而AI通过生成并验证一个仅10行的核心算法，完成了关键突破。这一进展不仅深化了对图论中匹配问题的理解，也展示了AI在数学定理证明中的潜力，为算法优化与理论计算机科学提供了新的方法论。 #AI #图论 #数学猜想 #算法 #形式化验证 #Lean #科技突破

2026年三种搜索模型并存

当前网络搜索领域存在三种截然不同的模型：经典的关键词模型（如Google）、基于检索增强生成（RAG）的答案引擎（如AI Overview、Perplexity）以及纯对话式大语言模型（如ChatGPT）。它们并非进化替代关系，而是不同架构下的并行范式。关键词模型依赖爬虫、倒排索引和排序算法，本质是统计匹配，无法真正理解用户意图。RAG模型通过检索获取相关文档后由LLM生成自然语言答案，能整合多源信息，但面临检索质量不稳定、幻觉、透明度不足以及文本稀疏站点被低估等结构性难题。纯对话式LLM完全依赖训练数据中的概率分布生成内容，其架构本身就会导致幻觉——模型无法区分“事实”与“高概率预测”。2026年，网站建设者必须同时针对这三种模型优化内容结构，否则将面临流量损失。 #搜索模型 #关键词搜索 #RAG #对话式LLM #搜索引擎优化 #AI #幻觉 #网站建设 #2026趋势