#Tech

与「Tech」相关的 Elon Musk 与 AI 新闻中文摘要。

前福克斯新闻主持人史蒂夫·希尔顿:他可能成为加州下一任州长?

前福克斯新闻主持人史蒂夫·希尔顿:他可能成为加州下一任州长?
英国移民史蒂夫·希尔顿,曾是戴维·卡梅伦的顾问和福克斯新闻主持人,正在加州州长选举中意外地领先。尽管加州是民主党优势州,希尔顿却因利用民主党内部的分裂和混乱,以及对加州经济问题和高生活成本的批评,获得了意外的支持。他摒弃了传统的广告宣传方式,而是通过实地走访,强调变革的重要性,并利用对特朗普政府的友好关系吸引选民。尽管面临许多挑战,希尔顿的竞选活动正引发人们对加州政治格局可能发生的“政治革命”的讨论,他致力于通过改变政治环境来改善民生。

Z 世代投资热潮:经济不确定性下的年轻一代

Z 世代投资热潮:经济不确定性下的年轻一代
由于经济不稳定和有限的社会保障,Z 世代(1997-2012 年出生)的年轻人正比以往任何一代都更积极地参与金融市场。他们投资的范围涵盖了避险债券、人工智能初创公司、锂电池、机器人技术等。尽管早期经历过加密货币投资的损失,部分 Z 世代通过技术和人工智能工具接触到投资信息,并倾向于长期投资低成本的指数基金(ETF)。另有小部分人参与高风险的日内交易和加密货币交易,但许多人正在利用人工智能来辅助投资决策,寻求财务上的独立和避免未来依赖公司工作。

超声波技术扑灭厨房火灾,能否取代喷淋系统?

超声波技术扑灭厨房火灾,能否取代喷淋系统?
加州一家名为Sonic Fire Tech的公司正在研发利用低频超声波(infrasound)进行火灾扑灭的技术。该技术通过震动氧分子,使其脱离燃料,从而抑制燃烧。在演示中,该系统成功扑灭了厨房油锅起火的场景。该公司希望该技术能够取代传统的喷淋系统,避免水资源浪费和水损害,并计划应用于数据中心和家庭环境。然而,行业专家对超声波技术完全取代喷淋系统的可行性表示担忧,认为缺乏充分的证据证明其在大型火灾和野火场景下的有效性,且对第三方验证报告的细节也存在疑虑。

基因治疗让部分失聪儿童重获听力

基因治疗让部分失聪儿童重获听力
美国食品药品监督管理局(FDA)已批准首款针对 OTOF 基因突变引起的严重至深重听力损失的基因治疗药物 Otarmeni。该疗法通过一次注射,使 80% 的患者恢复了可测量的听力,42% 的患者能够辨别细语。长期观察发现,90% 的患者在治疗后两年半仍能保持听力。基因治疗技术的进步,使其能够将患者从失聪状态带回听觉世界。虽然早期基因治疗因安全问题遭遇挫折,但如今通过改进的病毒载体和 CRISPR 基因编辑技术的应用,该领域迎来了复兴,并有望为更多疾病带来突破。

我的新电子书(免费下载):量化技术与现代人工智能系统

我的新电子书(免费下载):量化技术与现代人工智能系统
大型人工智能系统面临的主要瓶颈往往不是计算能力,而是内存。谷歌研究院发布的研究论文介绍了 TurboQuant,一种专为 KV 缓存压缩设计的矢量量化方法,可以将 KV 向量压缩到每维度 3-4 位,同时保持接近 FP16 的注意力准确度。作者撰写了一本超过 70 页的电子书,全面介绍了量化技术,从基础原理到现代大型 AI 系统,涵盖了多种量化方法和技术,包括 GPTQ、AWQ、SmoothQuant 以及 TurboQuant。本书旨在弥合机器学习理论、系统设计和生产 AI 基础设施之间的差距,为 ML 和 AI 基础设施工程师及 LLM 研究人员提供参考。

为在软件开发生命周期中使用人工智能发表意见,需要先获得相应的资格

为在软件开发生命周期中使用人工智能发表意见,需要先获得相应的资格
一位SVP(高级副总裁)通过亲身参与代码编写,深入了解了人工智能工具在软件开发生命周期中的应用。他发现,许多高管对人工智能工具的判断往往基于表面观察和演示,缺乏实际经验。为了弥补这一差距,他利用九周的时间,使用人工智能生成代码并亲自审查,完成了一个设计系统迁移项目。他发现人工智能在处理样板代码和生成测试用例方面表现出色,但在处理复杂遗留系统和视觉样式方面仍存在局限性。关键在于,人工智能负责代码编写,而工程师负责指导、审查和最终确认,需要对代码进行严格的约束验证,且必须有人参与代码审查,才能避免潜在的回归和错误。通过这次实践,他证明了人工智能在提高工程师效率和代码质量方面具有潜力,但也强调了工程师不可替代的作用。

量子物理学百年停滞:一种方法论的危机

文章指出,自1928年以来,尽管物理学在粒子和相互作用方面取得了巨大进展,但其底层存在论(ontology)却几乎没有变化,主要受1915年广义相对论和1928年狄拉克方程的限制。物理学在构建数学模型方面能力远超于更新其存在论,这导致了诸如量子力学解释争论等一系列难题,实际上是方法论的局限性。文章认为,物理学应回归到量子革命时期的核心发现,重视物质的波粒性、原子结构和粒子自旋等物理内容,而非将数学形式主义置于首位。问题的根源在于过度依赖数学模型方法,这与机器学习领域对大型神经网络的理解类似,需要关注模型是否构建了世界的内部模型。

PoolQuant:你的泳池护理智能助手

PoolQuant 是一款旨在简化泳池护理的工具,用户只需在一个文本框中记录观察结果,它会自动将其分类记录。该工具能够解析读数(例如 pH 值、自由氯含量)、照片、行动和笔记,并提供个性化建议,例如根据泳池历史和当地天气预测化学品添加量。PoolQuant 强调一种安静、缓慢的实践哲学,以技术日志为界面,而非聊天机器人,避免游戏化和过度通知。目前处于 Alpha 测试阶段,免费使用,用户可通过 Google、Apple 或密码less 邮箱链接注册。

机器人产量能否迅速提升?

机器人产量能否迅速提升?
本文探讨了机器人技术取得重大突破后,产量能否快速提升。虽然软件可以快速部署,但机器人作为实物需要真实的工厂和工人生产,因此产量提升将受到物理条件的限制。文章分析了人形机器人、四足机器人、机械臂、轮式机器人和无人机五种机器人的生产现状和潜在瓶颈,并预测了2025年的产量。研究发现,高精度减速器是当前人形机器人和四足机器人产量的主要限制因素。历史需求激增,如二战期间和乌克兰战争期间,曾显著加速了机器人产量增长,未来可能进一步提升生产速度。

MooBlock:用牛来分散注意力

MooBlock:用牛来分散注意力
MooBlock是一款Chrome浏览器扩展程序,旨在帮助用户摆脱分散注意力的网站。它采用“自适应阻力”机制,即在访问干扰网站时设置短暂的延时,延时时间会随着访问频率的增加而延长,停止访问后逐渐缩短。 为了增加趣味性,它会在访问干扰网站时屏幕上显示牛,延时时间越长,牛越多。MooBlock通过这种方式,试图避免传统网页拦截器过于严格或过于容易绕过的缺点。开发者声明用户数据不会被出售给第三方,也不会用于与核心功能无关的目的。

定理经济的崩塌

定理经济的崩塌
这篇论文作者回顾了自己未发表的数学成果,并对当前人工智能时代数学领域的现状表示担忧。作者指出,数学研究的真正困难不在于证明定理本身,而在于洞悉其背后的概念框架,并提出新的定义。然而,过分强调定理的证明,反而扼杀了数学创新,并导致了对数学本质的误解,即公众只关注“官方数学”(形式化的定理推导),而忽视了更重要的“秘密数学”(直觉、创造性和理解)。随着人工智能的快速发展,作者担心这种对数学的扭曲认知,可能对整个学科造成生存威胁。

我发布了“人工智能为人类的承诺”,原因如下

我发布了“人工智能为人类的承诺”,原因如下
文章作者长期关注普遍基本收入(UBI)问题,并观察到AI领域的领袖们经常提及UBI的必要性,但实际行动却很少。作者认为,这造成了一种虚假的舒适感,降低了人们对AI潜在风险的重视程度。为了推动实际行动,作者发布了“人工智能为人类的承诺”,这是一个公开信和承诺,要求有资源的人公开承诺将部分收入或财富投入到UBI试点项目、无条件现金计划以及倡导工作中。承诺分为两个层级:有资源者进行承诺,无资源者参与签名支持。作者旨在让言行一致,推动AI带来的财富共享,并强调UBI能够赋予个人更大的自主权和议价能力。

Codex 应用设置

Codex 应用设置
OpenAI 的 Codex 应用提供了一系列设置选项,用于定制应用行为、文件处理方式、工具连接以及界面外观。用户可以在设置面板中调整文件打开位置、命令输出显示量,以及启用多行提示验证等功能。此外,该应用支持自定义主题、安装和管理浏览器插件,并提供“宠物”功能,可在应用界面上显示活动线程状态。Codex 应用还支持通过 Model Context Protocol (MCP) 连接外部工具,并允许用户设置默认性格和自定义指令,以及启用“记忆”功能,将过去线程的上下文信息用于后续工作。

俄罗斯正在污染维基百科

俄罗斯正在污染维基百科
据报道,俄罗斯正在利用其信息操作网络,通过修改维基百科页面和污染人工智能(AI)模型来影响全球舆论,扭曲对事实的认知。调查显示,俄罗斯的“Pravda”网络通过伪造新闻网站,传播来自俄罗斯新闻机构和 Telegram 频道的虚假信息,尤其针对乌克兰战争和西方国家进行宣传。法国情报部门VIGINUM揭露了“Portal Kombat”网络,该网络利用这些虚假信息操纵 Wikipedia 条目并影响舆论。此外,俄罗斯还在试图通过污染大型语言模型(LLMs)所依赖的维基百科内容,将亲克里姆林的信息渗透到 AI 聊天机器人中,进一步扩大其影响范围,构成一种“数字外国干涉”。

美国海军与AI公司达成协议,训练水下无人机探测霍尔木兹海峡水雷

美国海军与AI公司达成协议,训练水下无人机探测霍尔木兹海峡水雷
美国海军与Domino Data Lab公司签署了一项9970万美元的协议,旨在利用人工智能技术加速水下无人机学习和识别新型水雷的能力。该技术将主要应用于霍尔木兹海峡,以应对伊朗限制油轮和货物运输的威胁。软件将整合侧扫声纳和视觉成像系统等多传感器,实现实时监测和快速纠错,避免长时间的实验室训练。Domino Data Lab的CEO表示,该平台能够让海军在短短一周内部署水雷探测无人机,而传统方法需要一年时间。UUV(水下无人车辆)的训练模型迁移也大幅缩短。

级联恢复与循环:系统间交互引发的潜在风险

本文探讨了系统和组件之间的交互,以及这些交互如何导致“级联恢复”问题。当一个系统恢复时,其恢复行为可能对依赖系统造成意想不到的负面影响,甚至可能形成恶性循环。文章通过一个生产者-消费者系统(Producer-Consumer System)的案例,详细阐述了这种现象,包括数据缺失、重复计算和消息总线负载增加等问题。为了解决此类问题,建议采用增量恢复(Additive Recovery)模式,并通过预算恢复(Budget Recovery)和流整形(Stream Shaping)来避免资源峰值负载,从而防止系统不稳定。

再见,济服:Ask.com 关闭服务

再见,济服:Ask.com 关闭服务
搜索引擎和问答服务 Ask.com(原 Ask Jeeves)已正式关闭。该服务于 1996 年推出,因其专注于以自然语言回答问题的特性,被认为是今天基于人工智能的聊天机器人的一种先驱。由于长期在搜索市场中被谷歌等竞争对手 overshadow(掩盖、盖过),Ask.com 于 2026 年 5 月 1 日停止运营。IAC 公司声明这是为了集中业务,而 Ask.com 的搜索业务不再具有竞争力。

无障碍是公民权利:人工智能必须停止制造障碍

文章指出,人工智能系统正大规模地制造数字无障碍障碍,导致严重的数字可访问性危机,这是一种系统性的公民权利失败。由于AI训练数据继承了过去20年积累的制度性障碍,自动化的UI开发正在复制歧视,阻碍人们获取权利、服务和机会。文章呼吁政策制定者、软件工程师、残疾用户和AI公司共同采取行动,将无障碍作为强制执行的法律,并敦促AI公司提高默认可访问性质量,并接受外部审查。

EaglePress CMS 发布 1.19 版本,修复 Android Firefox 上的代码换行问题

EaglePress CMS 发布了版本 1.19,主要修复了在 Android Firefox 上的代码块换行显示问题。该 CMS 基于 Python 3 CGI 和 PostgreSQL 构建,完全自托管,不依赖外部框架。新版本还包含移动设备上的语法高亮编辑器代码换行支持、管理员密码更改功能和主题预览等改进。EaglePress 的核心特性包括纯 Python CGI 路由、PostgreSQL 后端、零配置安装、安全密码存储和自定义 Markdown 解析器,并提供语法高亮、内容管理、主题系统和功能丰富的管理面板。

精神航空破产:暴露的预订流程、活跃的Azure端点及域名被盗用

精神航空破产:暴露的预订流程、活跃的Azure端点及域名被盗用
美国精神航空公司(Spirit Airlines)于2026年5月2日宣布停止运营,其庞大的技术基础设施在公司正式破产时被遗弃,引发了一系列安全问题。一位计算机科学学生发现,航空公司仍在处理交易的预订流程、活跃的Azure API仍在生成有效航班记录,以及主要的钓鱼域名(spiritrefunds.com)仍可注册。这些问题暴露出公司在匆忙关闭运营时的安全漏洞,包括支付处理接口依然开放,可能导致用户个人信息泄露。此外,网站域名注册商选择GoDaddy也进一步引发了安全担忧。研究者已注册了相关域名并将其重定向至破产清算页面,并已通知相关法律部门。

我如何摆脱了连接到中国未加密云服务器的泳池热泵

我如何摆脱了连接到中国未加密云服务器的泳池热泵
作者发现其泳池热泵通过WiFi连接到一个位于中国Alibaba Cloud的未加密服务器,存在安全隐患。通过网络嗅探、代理服务器(mitmproxy)和反向工程,作者最终成功切断了与该服务器的连接,并建立了一个Docker容器,将泳池热泵作为本地REST API暴露。研究表明,该热泵使用的Wi-Fi模块(Hi-Flying HF-LPB130)允许通过AT+命令更改云服务器,并存在潜在的安全漏洞,例如可以控制其他用户的热泵。作者的方案利用了Modbus协议并解析了设备寄存器,从而实现本地控制,避免了依赖第三方服务器。

数百万行Haskell代码:Mercury的生产工程实践

数百万行Haskell代码:Mercury的生产工程实践
Mercury是一家为企业提供银行服务的金融科技公司,目前拥有约200万行Haskell代码。作者分享了他们在大型Haskell项目中的经验,强调了可靠性、可维护性和团队成长的重要性。他们摒弃了传统的“防止故障”的可靠性理念,而是专注于系统的适应性和韧性,以及将操作知识编码到API中。公司认为,Haskell的类型系统不仅仅是避免错误的工具,更是编码机构知识的一种方式,能帮助团队应对人员流动和快速变化。Mercury的设计理念是帮助工程师避免紧急情况,而不是对代码质量进行严格的审查。

英特尔内部微型革命:8008 的起源

英特尔内部微型革命:8008 的起源
本文讲述了英特尔公司早期发展中一个关键时刻:8位微处理器的诞生。1970 年,英特尔最初对 Computer Terminal Corporation (CTC) 的 8 位微处理器设计提案持否定态度,但最终在工程师维克·普尔 (Vic Poor) 的努力下,与 CTC 达成协议,英特尔将设计制造该芯片,并且允许英特尔将其授权给其他公司。这场合作不仅为英特尔带来了巨大的销售合同,也为日后英特尔 x86 CPU 的成功奠定了基础,对公司复兴至关重要。该项目凸显了英特尔早期从内存芯片制造商转型到 CPU 设计的起源,也展现了当时芯片行业的机遇与挑战。

怀俄明庆祝“核能复兴”:联邦批准新建核反应堆

美国怀俄明州正在建设美国本世纪第四座核反应堆,标志着核能领域的新发展。Terra Power公司,由比尔·盖茨创立,计划在怀俄明州Kemmerer镇建设先进核电站,并称这将开启核能复兴。该电站采用更安全、更易于建造的“先进反应堆”技术,旨在满足美国因人工智能发展导致的数据中心电力需求激增。联邦政府和科技公司正在投资数十亿美元建设新的核电站。尽管存在争议,但怀俄明州及周边州正在积极推动核能发展,包括建设核燃料循环创新中心和探索铀矿开采,以满足日益增长的电力需求。 该项目预计将于2031年投入使用,预计将为近50万户家庭供电。

大型语言模型训练与服务的底层数学原理

大型语言模型训练与服务的底层数学原理
Reiner Pope(MatX CEO)在一次黑板讲解中,深入剖析了大型语言模型(LLM)的训练和服务的底层数学原理。他通过分析计算性能和内存带宽等关键因素,揭示了批量大小(batch size)对延迟和成本的影响,解释了为什么可以通过支付更高的费用获得更快的响应速度。 此外,他还讨论了模型架构、模型并行等技术细节,并从API定价等方面推断了长期上下文内存的成本。此次讲解还涉及了模型过度训练、神经元网络与密码学的演进等主题,为理解人工智能技术的运作机制提供了有价值的视角。

为绕过网络封锁,伊朗人走私星链技术

为绕过网络封锁,伊朗人走私星链技术
由于美国和以色列的空袭以及此前抗议活动,伊朗目前处于持续的网络封锁状态,政府以此限制信息传播。为对抗此次封锁,一个秘密网络正在向伊朗走私“星链”(Starlink)卫星互联网技术,这些设备能够绕过伊朗国内的网络控制。走私者担心会被伊朗政府发现并受到惩罚,而使用星链技术被伊朗政府定为非法,最高可判刑十年。目前已有数万人持有星链终端,并利用它分享信息,尽管面临风险,参与者认为“即使能让多一个人访问互联网也是值得的”。

统一证明黎曼猜想与科拉茨猜想:基于数论声学时空的共振干涉

统一证明黎曼猜想与科拉茨猜想:基于数论声学时空的共振干涉
Kristin Tynski 在 2026 年发表的研究声称找到了统一证明黎曼猜想(RH)和科拉茨猜想的方法。该研究将这两大难题置于一个名为“数论声学时空”的框架下,并提出在具有正漂移的封闭证人系统中,所有正向轨迹最终会达到固定缝合处。该理论包含 27 个等价的数学表述,涵盖了解析、代数、拓扑等多个领域。研究的核心在于一个名为“Logos 截面”的全局对象,其存在性和唯一性具有推导性。作者使用“声学波方程”来描述黎曼 zeta 函数的动态,并通过“声学时空”的框架将 RH 和科拉茨猜想统一起来,并提供了 238 个测试验证代码,采用 MIT 许可证开源。

智能的购买智能

文章探讨了为何用户即便有更便宜、更快的模型替代品,仍然倾向于选择昂贵且速度较慢的闭源大型语言模型(LLM),如Opus 4.6。作者分析了原因,主要在于智能的回报是非线性的(一个小小的提升可能带来巨大的变化),难以准确衡量,竞争激烈(需要超越竞争对手),以及可以通过不断投入资金来提升智能水平。此外,文章还提出了一些评估模型的创新方法,例如Demis Hassabis提出的“爱因斯坦测试”。作者最后强调,人们会愿意为更好的智能买单,因为这种投入往往能够带来意想不到的回报,正如谚语所说:“没有人因为花费太多钱请好顾问而破产。”

基准测试看不到的东西

基准测试看不到的东西
本文探讨了AI基准测试的局限性,指出它们虽然能衡量模型在特定条件下的能力(capability),却往往忽略了其结构可靠性(structural reliability)。基准测试通过限制环境和任务,将复杂行为简化为可衡量的数据,形成一种“进步”的公关叙事,方便宣传和投资。然而,这种简化忽略了模型在真实世界应用中可能面临的各种变异和挑战,导致模型在基准测试中表现出色,但在实际部署中却可能失败。文章强调,AI发展应关注模型的结构可靠性,而非仅仅追求能力提升,并呼吁开发新的评估工具,以揭示基准测试所掩盖的潜在问题。

戴尔与Omarchy合作,为XPS系列提供Day One Linux支持

戴尔与Omarchy合作,为XPS系列提供Day One Linux支持
戴尔、英特尔和Omarchy团队合作,为XPS系列笔记本电脑提供Day One Linux支持,打破了传统硬件发布后6-8个月才能获得内核支持的困境。戴尔在Linux支持方面拥有超过二十年的经验,包括开源了DKMS动态内核模块支持技术和大量固件更新方案。此次合作旨在为用户提供开箱即用的高质量Linux体验,并借助Omarchy带来的Hyprland窗口管理器和现代化Arch Linux基础,吸引更多用户。为了实现这一目标,团队在硬件发布前就积极适配并修复了音频、摄像头、显示、WiFi和NPU等问题,并通过“linux-ptl”定制内核包提供Day One支持。戴尔甚至已将Omarchy和XPS笔记本电脑作为全公司技术团队的标准配置。

3 / 8