全部资讯

A startup claims it broke through a bottleneck tha

总部位于迈阿密的AI初创公司Subquadratic声称解决了困扰大型语言模型近十年的数学瓶颈，推出了名为SubQ的新型模型，据称速度更快、成本更低、能耗更少，且能同时处理多达12倍于其他模型的文本。该公司最初因证据不足而受到质疑，但近期公布了第三方机构Appen的独立评估结果，显示SubQ在速度和性能上接近顶级模型，例如在编码测试中得分89.7%，且处理超大数据集时表现优异。SubQ采用稀疏注意力机制替代传统密集注意力，大幅减少计算量，但公司未透露具体选择机制。尽管部分结果令人振奋，但专家指出仍需更多公开验证，且SubQ借用了开源模型权重，尚未完全证明其彻底解决了注意力瓶颈问题。目前SubQ仅向少数用户开放，等待名单已超500家企业客户。

数据量化生活：揭示真相还是制造盲区？

资深科技记者Bryan Gardiner在十余年个人数据追踪后反思，量化自我并未带来深层认知，反而让人迷失在指标牢笼中。他从计步器起步，逐渐陷入心率、睡眠、工作指标等数据追逐，却感到更糟。哲学家C. Thi Nguyen将此现象称为“价值捕获”，即用外部指标替代内在目标。Gardiner最终放弃多数量化工具，仅保留不计数步的散步，并警示在AI时代，不应将人性简化为数据，找回表达本质价值的语言至关重要。

Brain-computer interface trials are taking off

This week, I covered the story of Casey Harrell—a man with ALS who is “the first power user” of a brain implant, according to the researchers who worked with him. Harrell is paralyzed and unable to speak coherently without the device. He has now spent almost three years using a brain-computer interf...

美国称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）的隐秘圈层推上了风口浪尖。这不仅仅是一个关于富豪与名流如何交际的八卦故事，更是一面折射出数字时代特权阶层如何被量化、分类和重新洗牌的镜子。文件揭示的核心事实令人深思：该平台正在通过一套严密的算法，对其成员的财富和知名度进行打分，而这些冰冷的数字，正在决定着社交权力的归属——谁能入场，谁被驱逐，以及谁需要为这种特权支付溢价。

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