美国人工智能公司 Anthropic 与中国科技巨头阿里巴巴之间的紧张关系升级,最终导致阿里巴巴禁止其员工使用 Anthropic 的“Claude Code”工具。
此前,Anthropic 指控阿里巴巴进行“模型蒸馏”,即非法利用从 Anthropic 模型中提取的数据来训练自家的 AI 模型。在开发者发现 Claude Code 包含旨在识别中国相关用户并防止未经授权的访问或模型抓取的安全机制后,双方紧张局势进一步加剧。对此,阿里巴巴已指示员工改用其内部编码平台 Qoder。
这场冲突凸显了人工智能竞赛中更广泛的地缘政治竞争。随着美国公司实施更严格的访问控制以防止知识产权被窃,中国公司正日益转向阿里巴巴的 Qwen 或 DeepSeek 等开源模型等国内替代方案。市场格局的转变使情况变得更加复杂;中国的人工智能模型正变得极具竞争力,其性能几乎与美国的前沿模型相当,但成本却只有后者的一小部分。因此,尽管存在监管壁垒和安全担忧,中国模型仍获得了显著的市场影响力,这预示着全球人工智能格局可能发生转变。
在纪念美国建国250周年的演讲中,纽约市长佐兰·曼达尼(Zohran Mamdani)对这个国家进行了尖锐的批判,并将他的异议定义为最高形式的爱国主义。这位社会主义领导人将美国描述为一个以至上主义、不平等和企业贪婪为特征的体制,并对从寡头到保险业等各方势力进行了抨击。
曼达尼的演讲重点关注了移民问题,他将联邦执法称为“入侵”,并称赞那些阻挠执法的人是真正的爱国者。他进一步批评了国家在“炸弹和救助金”上的支出,同时强调了国内的贫困问题,尽管他本人近期也接受了政府的救助资金。
这篇演讲成为了美国民主社会主义者协会(DSA)在民主党内影响力不断上升的宣言。通过将抵制联邦法律和系统性反对重塑为核心的美国价值观,曼达尼标志着该党派系在意识形态上的根本性转变。曼达尼没有歌颂国家的历史,而是利用这一平台否定现状,并主张对美国身份进行彻底的重构。
发布
登录
注册
发布
Karthik Kumar Viswanathan
@_vkaku
对我而言,在任何系统上支持 Unicode 都很重要,即使是在 DOS 上。所以,开始吧 *** 初步成果 ***
00:00
2026年6月29日 上午5:44
587 次浏览
1
1
13
3
阅读 1 条回复
刚接触 X?
立即注册以获取您的个性化时间线!
使用 Google 注册
使用 Apple 注册
创建账号
注册即表示您同意服务条款和隐私政策,包括 Cookie 使用。
相关人物
Karthik Kumar Viswanathan
@_vkaku
关注
热门趋势
条款 · 隐私 · Cookie · 无障碍 · 广告信息 · 更多
© 2026 X Corp.
不要错过正在发生的事
X 上的用户最先知晓。
登录
注册
发表在《科学》杂志上的一项研究揭开了孤独迁徙鸣禽(如斑姬鹟)如何成功抵达特定越冬地的谜团。研究人员利用微型数据记录仪追踪了来自欧洲各地的鸟类,发现无论其繁殖地在哪里,它们都遵循一条一致的非直线路径:经由伊比利亚半岛,穿过大西洋前往非洲。
这种漫长的绕道被认为是上一个冰河时代的进化遗留。通过将荷兰鹟的蛋移植到瑞典的鸟巢中并进行种群杂交,研究人员确定越冬目的地受遗传因素与成长过程中环境因素的共同影响。
至关重要的是,研究结果表明迁徙并非父母传授的习得性行为。相反,鸟类似乎拥有对迁徙距离的先天感知,而非固定的指南针方向。这一发现对于理解物种如何适应气候变化至关重要,因为鸟类调整迁徙时间的能力与它们越冬的地点密切相关。
一名安全研究人员在 MSI 笔记本电脑和台式机预装的 MSI Center 软件中发现了严重漏洞。通过对应用程序的可执行文件进行反编译,研究人员发现了一个实现不安全的命名管道(`MSI_SERVICE_2`),这使得任何经过身份验证的用户都能以 `LocalSystem` 权限执行命令。
这些命令可用于操作注册表、修改 Windows Defender 设置或执行任意代码。该系统依赖过时的 3DES 加密和薄弱的注册流程,甚至可以通过 SMB 协议被利用,从而在网络上实现远程代码执行(RCE)。
漏洞报告过程最初遇到了一些障碍,研究人员提交的报告因对方邮箱满载而被退回。在获得 Gamers Nexus 的协助联系到相关负责人后,研究人员发现 MSI 的响应非常迅速,在两天内修复了该漏洞。尽管研究人员尚未因其重大的安全贡献获得任何漏洞赏金,但目前正在等待该发现的 CVE 编号。该漏洞已在 MSI Center 2.0.70.0 版本中得到修复。
本文指出,“威胁建模”常被滥用为流行语,但它实际上应成为评估安全性的实用且动态的框架。
一个合格的威胁模型必须定义以下内容:
1. **资产**:我们需要保护什么?
2. **参与者**:谁想造成伤害?
3. **攻击场景**:他们如何才能得逞?
4. **缓解措施**:我们采取了什么措施来阻止他们?
5. **假设**:我们认为理所当然的前提是什么?
6. **关系**:系统组件之间如何交互?
7. **已接受的风险**:我们选择不处理哪些威胁?
作者指出,尽管一个不完美的威胁模型(如 Matrix 的模型)也比没有好,但高质量的模型需要绘制系统依赖关系并记录假设。这一过程能防止“未知的未知”,并帮助工程师做出更好的设计选择,例如优先使用通行密钥(passkeys)而非密码。
除了架构之外,威胁建模还充当着“胡扯探测器”。通过明确定义风险,并将意识形态上的危言耸听与技术现实(例如后量子密码学争论)区分开来,从业者可以做出客观决策,而不是陷入恐惧、不确定和怀疑(FUD)之中。归根结底,威胁建模的意义在于构建直观的纵深防御,而非追求抽象的学术完美。
播客主持人塔克·卡尔森(Tucker Carlson)宣布计划协助建立第三个政党,尽管他坚决重申自己无意竞选公职。
卡尔森的转变源于他对两党制的失望,他将这种制度形容为在外交政策上的“一党制国家”。他特别批评了民主党和共和党在国际干预问题上的“步调一致”,并以近期以色列和伊朗之间的紧张局势作为主要例证。卡尔森认为,由于当前的政治领导层(包括唐纳德·特朗普总统)在这些议题上保持一致,选民缺乏有意义的选择。
卡尔森加入了越来越多的政治人物行列,包括埃隆·马斯克、乔·曼钦和安德鲁·杨,他们都主张为当前的党派建制派寻找可行的替代方案。卡尔森强调,他打算尽其所能打破现状,并表示自己还“太年轻”,无法接受一个由他所描述的“不择手段者”所统治的制度。
在美国,拥有住房变得越来越遥不可及。高昂的房价与高企的抵押贷款利率相叠加,再加上个人储蓄的枯竭,使得购房门槛不断攀升。通货膨胀和更广泛的全球不确定性加剧了经济压力,迫使许多潜在买家重新考虑将租房作为唯一可行的选择。
盖洛普最近的一项民意调查显示,消费者对房地产市场的信心已跌至历史最低点。如今,三分之二的美国成年人认为现在不是买房的好时机。这种悲观情绪与疫情前的趋势形成了鲜明对比;在2022年之前,即便是在2008年金融危机期间,美国民众对房地产市场的信心也始终保持在50%以上。然而,目前的信心水平已降至盖洛普自1978年开始追踪该数据以来的最低点,反映出美国人的“住房梦”正发生深刻的转变。
詹姆斯·希克曼(James Hickman)认为,美国250年的历史由一个反复出现的悖论所定义:深刻的国内动荡与非凡的创新并存。在整个20世纪,美国经历了严重的社会不稳定、政治暴力、金融恐慌以及政府职能的扩张,包括美联储的建立和所得税的实施。然而,这些从20世纪初到70年代滞胀时期的“黯淡”阶段,却始终催生了革命性的技术突破,最终推动了国家的发展。
如今,尽管美国正面临着新的政治分裂、债务攀升和社会动荡,但它同时也走在人工智能、生物技术和核能领域的前沿。希克曼认为,美国的韧性根植于其对个人自由的根本承诺。虽然未来的道路很可能包含通货膨胀和不稳定,但历史表明,押注美国理念的失败是一个赔本的买卖。他总结道,虽然最好的日子很可能还在后头,但个人应当制定一份“B计划”——这并非出于恐惧,而是为了确保在不可避免的动荡时期,能够立于不败之地。
GITHUB × 2026 世界杯
将你的 GitHub 数据转化为 99 分制的“世界杯风格”球员卡。
试试 torvalds、sindresorhus 或你自己的用户名。
已生成 150,990 张卡片
运作方式 ↗
96 ST (前锋)
TORVALDS
82 速度 77 盘带 92 射门 58 防守 87 传球 95 身体
94 CM (中场)
THEPRIMEAGEN
78 速度 83 盘带 91 射门 56 防守 87 传球 94 身体
86 ST (前锋)
PEWDIEPIE
77 速度 75 盘带 95 射门 75 防守 91 传球 69 身体
GITFUT.COM @pewdiepie-archdaemon
95 CM (中场)
BROWNE
77 速度 81 盘带 90 射门 58 防守 90 传球 93 身体
Leanstral 1.5 是一个用于 Lean 4 证明工程的全新开源(Apache-2.0)模型。它拥有 119B 总参数(6B 激活参数),在形式化验证领域展现出顶尖性能,且成本仅为同类竞争模型的一小部分。
该模型在各项主要基准测试中表现卓越:在 miniF2F 上达到满分(100%),在 FATE-H/X 上创下新纪录,并解决了 PutnamBench 中的 587/672 道难题。值得注意的是,它实现了极高的成本效益——平均每道题仅需约 4 美元,远低于其他方案数百美元的成本。Leanstral 1.5 展现了强大的测试时扩展能力,在高达 400 万个 token 的推理预算下仍能保持稳定的推理性能。
除数学领域外,Leanstral 1.5 还能验证复杂的代码属性并发现现实世界的漏洞。它成功验证了 AVL 树的 O(log n) 复杂度,并在开源 Rust 代码库中发现了 11 个真实存在的漏洞,其中包括此前未被报告的边界情况。
Leanstral 1.5 经过严谨的三阶段训练过程(包括多轮证明环境和代码代理工作流),现已通过 Hugging Face 和免费 API 接口开放使用。它针对“Mistral Vibe”进行了优化,使开发人员能够将形式化验证无缝集成到现有的代码库和工作流程中。
十七世纪时,阿姆斯特丹巨大的财富和工业增长,使得城市面临严重的火灾风险。起初,该市使用抽水机进行灭火,但随着一家大型制糖厂和一家世界知名的印刷厂被彻底烧毁,事实证明这些设备并不足以应对灾情。
多才多艺的画家兼发明家扬·范·德·海登(Jan van der Heyden)改变了这一局面。他运用“系统分析”的方法,开创了更先进的消防技术,包括柔性皮革吸水软管,以及用于保持连续高压水流的空气室。
除了硬件之外,范·德·海登还全面改革了城市的应急基础设施。他建立了一个协调一致的响应网络,包括警报系统、各区消防队,以及针对快速响应的经济奖励机制。到1682年,这种将技术创新与城市管理相结合的综合策略,大幅降低了火灾造成的损失。范·德·海登的改革使阿姆斯特丹从一个易受灾难侵袭的城市,转变为欧洲最具防火韧性且组织最为严密的城市之一,为系统化的城市危机管理树立了早期标杆。
本文提出了“嵌入坍缩”(embedding condensation)这一概念,即较小语言模型中的词嵌入会坍缩至一个狭窄的锥形子空间,从而限制了其表达能力。观察结果证实,这种现象在小模型中比在大模型中更为显著,存在于各种数据集,且源于模型初始化阶段。关键在于,作者证明了利用大模型进行知识蒸馏无法缓解这一坍缩问题。
为解决该问题,作者引入了“离散损失”(dispersion loss)。该训练目标旨在通过鼓励嵌入在单位超球面上分布开来,从而抵消坍缩。通过促进均匀的角离散,该技术使小模型能够获得更接近大模型的高质量潜在表征。实验结果表明,在训练中加入离散损失可有效缓解嵌入坍缩,为在不增加参数规模的前提下缩小小型与大型语言模型之间的性能差距提供了有效路径。作者总结认为,模型的优异性能不仅源于其规模,还源于其潜在信息的结构化组织方式。
发表在《科学》杂志上的一项新研究对一个长期存在的理论提出了挑战,即高大的热带树木由于难以将水分输送到最高枝叶,而天生更容易受到干旱的影响。
通过研究马来西亚婆罗洲的巨型龙脑香科树木(其中一些高度超过 80 米),研究人员发现这些树木已经进化出了复杂的液压适应能力。其中包括加宽靠近树干底部的输水导管,以及使叶片能够承受显著的水分压力。这些调整使树木能够完全补偿高度带来的影响,确保其内部的水分系统无论长到多高都能保持高效运行。
研究关键发现,与高度相关的生长并不会增加树木对干旱的敏感性。这反驳了现有的气候变化模型,该模型曾预测最高、碳密度最大的树木在干旱时期面临的风险最大。由于这些巨树储存了全球一半以上的地上森林碳,这一发现对于准确预测热带生态系统将如何应对气候变暖至关重要。研究人员强调,这些发现有力地支持了保护这些具有韧性且生态上至关重要的森林的必要性。
这篇文章剥离了晦涩的术语,揭示了数字技术的根本原理,从而为现代计算的“魔法”解密。文中指出,我们流畅的设备背后是一套复杂的抽象层,每一层都凝聚了人类的智慧。
这一过程始于物理学:利用电流驱动开关(晶体管),进而组合成逻辑门。这些逻辑门实现了二进制运算、数据存储及指令执行。以此为起点,文章梳理了计算技术的发展脉络:
* **硬件**:晶体管如何演变为通过“取指-译码-执行”周期来运行指令的处理器。
* **软件**:编程语言(从汇编到 Python)如何将人类逻辑转化为机器可读的代码。
* **系统**:操作系统如何管理多任务和内存,以及网络如何实现全球互联。
文章最终认为,软件素养已不再仅仅是计算机科学家的专属,而是驾驭数字优先世界的生存技能。通过掌握这些思维模型,我们能够更安全地使用技术、高效排除故障,并利用人工智能构建工具,从而确保自己是技术的主人,而非被动的从属者。
Bas van Geffen 的最新报告重点介绍了中央银行和全球市场的关键动态。在欧洲央行辛特拉会议上,官员们重申了对央行独立性的承诺,尽管目前美国联邦储备委员会的自主权面临法律挑战,且其领导层可能因政治压力而面临重组。
在财务方面,欧洲央行正考虑提高银行的最低存款准备金要求。此举旨在缓解因向超额准备金支付利息而导致各国央行亏损所带来的政治敏感性,而非将其作为常规的货币政策工具。
在美国,6 月份疲软的非农就业数据和不断下降的劳动参与率导致市场下调了对美联储加息的预期,在人工智能行业重新焕发的乐观情绪推动下,股市因此受到提振。
在地缘政治方面,尽管近期美国与伊朗的谈判在未发生重大冲突的情况下结束,但在冻结资产的解封和霍尔木兹海峡通行费的控制权问题上,双方仍存在严重分歧。尽管政治言辞显示出进展迹象,但协议的执行因诉求冲突而陷入停滞,地区紧张局势依然高涨。
俄亥俄州哥伦布市娱乐与公园管理局曾发布一条现已删除的社交媒体帖子,宣布市政厅将升起索马里国旗以庆祝索马里独立日,此举引发了保守派评论员和立法者的强烈抵制。
包括斯蒂芬·米勒(Stephen Miller)和俄亥俄州众议员布莱恩·斯图尔特(Brian Stewart)在内的批评人士谴责此举“反美”,认为政府大楼不应悬挂外国国旗,尤其是在美国即将庆祝建国250周年之际。一些官员进一步指出,这种姿态阻碍了文化融合,并削弱了公共机构的宗旨。
在舆论哗然及媒体质询后,该市删除了相关帖子。市政府发言人随后澄清称,最初的公告并不准确,表示国旗不会被升起,并称市政府误传了一项错误的政策。