全部资讯

美国称ASML顶尖光刻机或已入华，ASML为何坚决否认？

ASML作为全球唯一顶级EUV光刻机制造商，在美中科技博弈中面临违规向中国出货的假设。然而，其供应链深度依赖美国等西方技术，出口受严格管制，违规将导致供应链断裂和核心业务瘫痪。商业利益上，ASML更依赖台积电、三星等西方头部客户，冒险违规将损害全球市场信誉。地缘政治压力下，荷兰政府配合美国政策，ASML只能选择合规经营。因此，ASML不会冒险违规，其商业逻辑决定了它将在规则框架内行事。

美方指ASML顶级光刻机流入中国，ASML否认违规

荷兰光刻机巨头ASML因被猜测可能违反出口许可为中国客户提供先进设备引发热议。文章分析认为，从商业逻辑和行业规律看，这种假设不现实。ASML作为全球唯一EUV光刻机生产商，必须严格遵守日益严格的荷兰及美国出口管制，任何违规将危及关键许可证、面临巨额罚款及损害与台积电等核心客户的信任。其商业模式依赖合规与信任，且高价值交易的审核机制严密。因此，ASML不会为短期利益冒险。文章指出中国半导体需清醒认识此现实，加速自主研发。

The US says ASML’s top chip tool may be in China,

在当前全球半导体产业的地缘政治博弈中，荷兰光刻机巨头阿斯麦（ASML）的对华出口政策始终是业界关注的焦点。近期，关于该公司是否会冒着失去西方出口许可证的风险，违规向中国客户提供尖端设备的讨论再次升温。然而，深入剖析全球芯片供应链的商业底层逻辑与地缘政治现实，我们会发现：阿斯麦不仅没有动机去触碰这一政策红线，其自身的商业利益与生存法则，实际上构成了阻止其违规出口的最强内生屏障。

要理解这一结论，首先需要厘清阿斯麦在全球半导体生态圈中的特殊地位。作为全球唯一能够量产极紫外（EUV）光刻机的高端设备供应商，阿斯麦不仅是芯片制造工艺突破的基石，更是美欧日韩等科技强国保持产业领先的关键...

消息源：Elastic同意以最高8500万美元收购CRV支持的DeductiveAI

在人工智能技术日新月异的今天，如何让代码变得更可靠、更安全，成为了整个软件行业的核心痛点。一家名为DeductiveAI的初创公司，正试图通过一种全新的技术路径来回答这个问题。这家成立仅三年的企业，专注于利用人工智能自动捕捉并修复软件中的漏洞，其独特的“演绎式”方法正在吸引越来越多的关注。

与传统基于统计或模式识别的AI不同，DeductiveAI的核心技术在于对代码逻辑进行深层次的“推理”。简单来说，大多数现有的AI代码检查工具，比如基于大语言模型（LLM）的辅助编程助手，它们的工作方式更像是“猜测”：根据海量训练数据中的常见模式，预测某段代码可能存在的错误。而Deduct...

消息称Elastic拟最高8500万美元收购CRV支持的Deductive AI

初创公司Deductive AI成立三年，专注利用基于逻辑推导和形式化验证的AI技术，自动发现并修复软件漏洞，区别于通用型AI。其技术瞄准传统开发中低效易遗漏的Bug检测环节，旨在实现从‘左移’理念到自主检测修复的范式演进，在关键任务系统领域价值显著，但面临可解释性、成本验证及漏洞覆盖范围等挑战。

微软发现新型USB蠕虫，专窃加密货币钱包凭证

微软表示，已检测到一种新的自传播恶意软件，该软件通过USB驱动器传播，旨在窃取加密货币凭证，并将其发送至攻击者控制的服务器。微软将此蠕虫命名为Crypto Clipper，因为它会监控设备剪贴板内容，寻找特定模式。

揭秘彼得·蒂尔关联的Dialog俱乐部如何秘密为成员排名

在当今这个被算法和社交数据深度定义的时代，精英阶层的社交方式正在经历一场隐秘而深刻的变革。近日，一份泄露的内部文件将一个名为“邀请制社交网络”（Invite-only Network）的隐秘圈层推上了风口浪尖。这不仅仅是一个关于富豪与名流如何交际的八卦故事，更是一面折射出数字时代特权阶层如何被量化、分类和重新洗牌的镜子。文件揭示的核心事实令人深思：该平台正在通过一套严密的算法，对其成员的财富和知名度进行打分，而这些冰冷的数字，正在决定着社交权力的归属——谁能入场，谁被驱逐，以及谁需要为这种特权支付溢价。

长期以来，顶级社交俱乐部往往以血统、校友关系或隐秘的推荐信作为门槛。然而...

AI推理初创公司Baseten据称在上一轮巨额融资数月后再筹15亿美元

在人工智能领域，一场围绕模型推理（inference）的“淘金热”正在持续升温，而这场热潮的最新受益者是一家名为Baseten的初创公司。据业内消息人士透露，这家专注于AI模型部署与推理服务的公司，目前正接近完成一轮规模高达15亿美元的融资交易。如果这笔交易最终敲定，Baseten的估值将飙升至130亿美元，这一数字不仅令市场侧目，更标志着AI基础设施赛道正迎来前所未有的资本狂欢。

Baseten的崛起并非偶然。在生成式AI（Generative AI）大爆发的背景下，从OpenAI到各类开源模型，数以万计的企业和开发者正在将大语言模型（LLM）投入实际应用。然而，训练模型只...

白宫实时制定人工智能规则

AI公司Anthropic备受期待的新产品Claude Mythos与Fable 5遭特朗普政府拦截，却无任何明确合规理由，引发行业震动。分析指出，这并非技术安全漏洞，而是两款具有强叙事能力的模型可能触碰了政府反“觉醒文化”的政治禁忌。该事件折射出美国AI监管正从客观的“技术治理”向主观隐秘的“政治治理”危险漂移。规则的不透明不仅侵害企业权益，更将引发行业自我阉割的寒蝉效应，凸显在权力逻辑下，技术层面的安全对齐极其脆弱，政治叙事对齐才是不可预测的硬性变量。

因成本压力，Snap将AI视频团队剥离为新公司Dotmo

Snap公司正推进战略转型，将内部创新部门剥离成立独立新实体Dotmo，由前Snap员工组成，专注研发AI视频技术。此举是Snap的“内部创业”策略，旨在赋予团队更大灵活性，规避大公司官僚主义，在AI视频爆发前夜抢占先机，同时保留核心AI人才。Dotmo定位明确，有望结合Snap的AR积累探索商业应用。尽管面临激烈竞争与商业化风险，该布局反映了科技巨头趋向“模块化”创新的趋势，也是Snap寻求新增长引擎、决定未来十年行业地位的重要赌注。