Agili 的 Hacker Podcast 2026-04-26

欢迎来到 Agili 的 Hacker Podcast。今天我们探讨 AI 如何重塑编程与数学研究，并关注地热能源、医学造假以及多项开源基础设施的最新进展。

AI 正在引发软件行业的“内隐知识”断层

制造业的历史教训

雷神公司（Raytheon）曾面临重启 Stinger 导弹生产线的困境，不得不请回退休工程师指导年轻工人阅读旧版纸质蓝图。Fogbank 核材料在 2000 年重启生产时失败，研究人员耗资 6900 万美元才发现，老工人 1980 年代手工操作产生的未记录“杂质”是材料生效的关键。企业为追求短期利润去除组织冗余，导致仅存在于经验中的“内隐知识”流失。

软件工程师的培养危机

软件行业正在重演这一剧本。Salesforce 等企业停止招聘初级软件工程师，转而采用 AI 代理。METR 的随机对照实验显示，资深开发者使用 AI 工具处理现实任务时，耗时增加了 19%。社区成员观察到，初级开发者擅长向 AI 提问，却失去了通过调试和犯错建立系统直觉的机会。

劣币驱逐良币的市场

资深工程师正陷入代码审查泥潭。AI 生成代码极快，人类审查逻辑漏洞极慢。初级开发者向 AI 寻求帮助，切断了团队内的社交互动和混淆反馈信号。当深刻理解底层架构的老一代工程师退休后，那些无法被 AI 习得的机构知识将面临绝迹风险。

业余爱好者借助 ChatGPT 破解六十年数学难题

打破思维定势

23岁的 Liam Price 使用 ChatGPT Pro 解决了保罗·埃尔多斯遗留的关于“本原集”的猜想。菲尔兹奖得主陶哲轩指出，人类数学家集体在第一步走错了方向，而大语言模型调用了相关数学领域中广为人知但从未被应用于此类问题的公式。

提示词与推理过程

Price 使用的具体提示词要求模型“不要搜索网页，提供一个非平凡且具有创造性的完整证明”。模型进行了 80 分钟的思维链运算。部分社区评论认为模型发现新奇的感叹是基于训练数据的礼貌性拟态。另一派观点指出，这种跨领域的博学正是 AI 跨越人类专业分层鸿沟的优势。

原始输出与人工提炼

斯坦福大学研究者 Jared Lichtman 提到 AI 生成的原始证明质量很差。他和陶哲轩通过提取 AI 的核心洞察，将其转化为严谨的数学语言。社区建议未来将 LLM 与 Lean 等自动定理证明语言结合，实现证明的自动验证。

学术造假与监管利益如何阻碍阿尔茨海默病研究

淀粉样蛋白假说的动摇

美国国立卫生研究院（NIH）每年投入约 40 亿美元研究阿尔茨海默病，仍未找到有效疗法。统治该领域数十年的理论认为β-淀粉样蛋白斑块是致病因。社区讨论指出，淀粉样蛋白更可能是疾病的关联物。

图像操纵与经费垄断

神经科学家 Matthew Schrag 揭露多项关键研究存在造假嫌疑。明尼苏达大学 Sylvain Lesné 2006 年发表于《自然》的论文涉嫌操纵西方墨点法图像。前国家老龄化研究所（NIA）神经科学部门负责人 Eliezer Masliah 有 132 篇论文存在图像异常。少数专家控制经费分配和同行评审，切断了非主流假设的资助。

监管捕获与新研究路径

FDA 官员卸任后赴药企任职，促使容易引起脑肿胀或出血的抗淀粉样蛋白药物获批。研究方向正转向“大脑废物清除系统失效”。部分观点提出疾病可能与葡萄糖代谢异常、细胞内 ATP 水平下降有关，带状疱疹疫苗对预防失智的积极作用也暗示了病毒感染的潜在关联。

Flickr 在 2026 年的坚守与妥协

拒绝追随流行趋势

Flickr 依然维持着以特定技术讨论或奇特美学为分类的“群组”模式。SmugMug 首席执行官 Don MacAskill 确认 Flickr 已实现正向现金流。平台没有采取牺牲用户隐私或强加算法流的手段。它的每个 URL 依然保留着早期游戏平台时期的 .gne 后缀。

AI 时代的版权博弈

生成式 AI 引发了摄影师对作品被抓取的恐慌。用户发现个人照片因被用于训练模型而获得异常高点击量。MacAskill 承诺用户保留所有作品的知识产权，Flickr 没有将平台数据用于模型训练的计划。

技术底座与用户诉求

Flickr 支持 Display P3 等广色域标准，但缺乏对 HEIF 或 JPEG XL 的原生支持。社区用户建议平台提供 Markdown 嵌入码，增强对特定机身和镜头组合的过滤功能，并解决偶发的系统报错问题。

Headspace 应用在 iPhone 上出现静默自动安装现象

绕过系统设置的下载

多位 iPhone 用户报告冥想应用 Headspace 每天下午 1 点左右自动安装到手机上。用户关闭了“自动下载”功能，设备未连接 MDM 管理系统，更新 iOS 系统后该应用依然处于待下载状态。

潜在的触发机制

社区推测这与 Apple Watch 的同步机制或 iOS 的“卸载未使用的 App”机制有关。注册过大量本地通知的应用可能在特定触发点激活系统重装。Headspace 曾在 2017 年因频繁的本地定时通知引发 iOS 无限重启循环。

设备控制权隐忧

开发者分析 Headspace 的 SDK 未发现明显恶意代码。用户对苹果设备绕过明确指令安装软件的现象表达担忧。受影响用户多在一两年前安装过该应用，问题可能源于 iCloud 账户购买记录的同步异常。

OpenAI 发布本地开源隐私过滤器

轻量级双向分类架构

OpenAI Privacy Filter 专用于检测和屏蔽文本中的个人身份信息（PII）。模型总参数 1.5B，推理时活跃参数仅 50M。它采用双向令牌分类架构，单次前向传播即可处理高达 128,000 token 的长文档，支持在本地环境快速运行。

合规风险与误报问题

模型在基准测试中的 F1 分数约为 96% 至 97%。社区测试发现模型会将 Markdown 格式中的 "frontmatter" 误认为组织机构。在金融或法律等高风险场景下，4% 的遗漏率会带来严格的合规风险。

数据回填与匿名化局限

专家建议开发者在本地建立映射层，为屏蔽项分配稳定 ID，在 LLM 返回结果后回填真实信息以保证用户体验。单纯屏蔽显性标识无法实现完全匿名化，上下文丰富的文本即使去除姓名依然具有身份可识别性。

增强型地热系统解锁 150 吉瓦基荷电力

借鉴石油工业的压裂技术

增强型地热系统（EGS）利用水平钻井和压裂技术，在原本不具备热流条件的岩层中人工制造热储层。Fervo Energy 正在犹他州建设规模达 500 兆瓦的 EGS 电站，并采购有机朗肯循环涡轮机提升热能转换效率。

多场景应用与成本争议

地热能提供电网不可或缺的全天候基荷电力。地源热泵在北欧建筑的区域供冷中表现出巨大潜力。深层钻井初期投资成本极高。深层地热水含有的溶解盐会导致设备腐蚀，循环泵送存在诱发微震的风险。

政策与技术协同

新型 PDC 钻头提升了在高温坚硬花岗岩中的钻进效率。美国能源部提供 1.715 亿美元资金支持下一代地热田勘探。地热能与石油钻探技术高度协同，正成为数据中心脱碳的重要补充方案。

Asahi Linux 7.0 实现能效与自动化部署突破

自动化构建与固件提取

Asahi 团队重构了安装程序，通过 GitHub 工作流实现自动化打包部署。由于设备树绑定在内核上游化过程中不断变动，旧版配置已无法启动新内核。新安装程序支持用户进入 macOS 抓取专有二进制固件，用于校准环境光传感器。

逆向工程解锁硬件潜力

团队启用了电源管理处理器（PMP），使 M1 Pro 芯片闲置功耗降低 20%。通过追踪显示控制器，他们发现了可变刷新率（VRR）的最小刷新率开关。团队解锁了 Apple 音频芯片 CS42L84 的多种采样率，避免了系统重采样带来的 CPU 开销。

上游化策略的推进

Asahi 团队坚持将代码合并进主线内核。Fedora Asahi Remix 44 计划转向 Plasma 6.6 登录管理器，并停止使用精简版的 Mesa 驱动，采用上游标准版，推进项目融入主流 Linux 生态。

香港麻将基础规则视觉指南

牌组构成与获胜目标

一副标准麻将牌包含 136 张，分为万、条、筒三种序数牌以及风牌和箭牌。获胜手牌需要凑成 4 组顺子或刻子，外加 1 对将牌。玩家可以通过吃、碰、杠从其他玩家的弃牌或牌墙中获取所需牌。

计分系统与番数翻倍

番是麻将的得分单位，基础分随番数呈指数级翻倍。风牌刻子或自摸获胜会增加番数。玩家通常在开局前设置最高番数上限以控制输赢幅度，并要求手牌达到一定番数才能获胜。

逆时针的实战逻辑

麻将的座次（东南西北）和出牌流向均按逆时针进行。经验丰富的玩家建议新手通过直接摊开手牌进行实战，以直观掌握复杂的风牌判定和计分规则。

GnuPG 引入后量子加密算法 Kyber

混合加密方案的落地

GnuPG 2.5.19 引入 Kyber（ML-KEM）作为后量子加密算法。新版本采用 ML-KEM-768 与传统的 X25519 椭圆曲线加密结合使用的混合模式。该模式同时防范新算法潜在的漏洞并抵御量子计算攻击。

性能开销与标准合规

ML-KEM 较大的密钥尺寸在处理小额负载时带来更高开销。新版本改进了智能卡环境下的 pinentry 文本展示，修复了 SSH 签名处理中的 RSA 填充错误，并增强了受限模式下的合规性。

极简的发布文化

项目维护者 Werner Koch 仅通过包含校验码和签名的纯文本邮件宣布发布。推行后量子加密旨在对抗“先收集后解密”的长期威胁。GnuPG 仍保持对先前版本的完全兼容，并继续支持 OpenPGP 和 S/MIME 标准。

播客全文

女：Hello 大家好，欢迎收听 Agili 的 Hacker Podcast，我是小雅。

男：大家好，我是老冯。

女：老冯，你最近手机有没有碰到什么灵异事件？这两天好多网友在吐槽，说那个叫 Headspace 的冥想软件，每天下午一点准时像幽灵一样自动装到 iPhone 上。

男：对，这个太诡异了。我看有人明明关了自动下载，手机也没连公司的设备管理系统，它就是会硬生生冒出在主屏幕上。这让我想起当年苹果强行往大家手机里塞 U2 乐队专辑那事儿了。

女：哇，U2 那次真的是暴露年龄。不过这次到底是怎么回事？难道是中病毒了？

男：目前看不太像有恶意代码。有个比较靠谱的推测是苹果手表的同步机制出了错。你在手表上不小心点到了，它就非要给你手机也装上。或者是 iOS 系统那种卸载未使用 App 的功能抽风了，以前注册过的本地通知触发了重装。其实 2017 年 Headspace 就搞出过无限重启的 bug，也是因为定时通知。

女：这让我感觉挺慌的。就算我按了开关说不要自动下载，系统还是能越过我做决定。我们自己花钱买的设备，控制权反而不在自己手里。

男：这就是闭源生态的代价。所以你看像 Asahi Linux 团队，他们死磕要把 Linux 装进苹果 M 系列芯片里，就是为了拿回硬件底层的控制权。他们最近发了 7.0 版本，不仅让 M1 芯片闲置功耗降了百分之二十，还通过逆向工程解锁了苹果锁死的音频采样率。苹果明明用了支持 192kHz 的芯片，却硬给限制在 48kHz。

女：锁死采样率？这可能是为了让所有苹果配件听起来体验一致吧。不过这种硬核的底层开发能力，现在好像越来越稀缺了。我看到一个让人冷汗直冒的讨论，雷神公司去重启毒刺导弹生产线，居然得去把七十多岁退休的老工程师请回来。

男：对，得靠这些老大爷去教年轻人看几十年前的纸质蓝图。这种事情在制造业叫内隐知识流失。以前老工人在车间里随手加的一个动作，文档上根本没写。更要命的是，软件行业现在也在重走这条老路。像 Salesforce 这些巨头都不招初级程序员了，全指望 AI 去写代码。

女：作为产品经理，我太懂这种想要用工具压缩成本的心态了。但问题是，高级工程师也是从写 bug 的菜鸟慢慢熬出来的呀。这就像你连菜都不会切，直接买个自动炒菜机，真要是机器坏了，你连怎么救场都不知道。

男：就是这个道理。有个测 AI 能力的机构做过实验，资深程序员用 AI 帮着干现实任务，反而多花了百分之十九的时间。因为他们得不停地去排查 AI 生成的那些看似正确其实千疮百孔的代码。时间长了，懂底层架构的老人一退休，整个软件工程界会变成一个全是大烂代码的柠檬市场，大家只能买最便宜的垃圾。

女：但这事儿挺分裂的。AI 写代码可能添乱，但它搞纯理论却猛得很。这周那个二十三岁没受过高等数学训练的年轻人，居然用 ChatGPT 破解了困扰数学界六十年的埃尔多斯猜想。

男：那个例子我仔细看了，他用的是大语言模型的思维链功能，让模型硬生生算了八十分钟。有意思的是，连菲尔兹奖得主陶哲轩都说，人类数学家在这道题上集体陷入了心理盲点，第一步就走错了，结果被 AI 调用了另一个领域的常规公式给破了。

女：这真的挺不可思议的。跨领域的知识整合确实是 AI 的强项，它没有人类那种我是学几何的所以我不看代数的包袱。不过我看到 AI 在运算的时候还会感叹一句真有趣，这是不是有点太拟人了？

男：这就叫礼貌性拟态。它其实不懂什么叫有趣，只是它的训练数据里，往往在出现重大发现的时候，前边都会跟着一句感叹。当然，这不影响它确实打破了思维定势。哪怕它给的原始推导其实乱七八糟，还得靠陶哲轩他们去精炼成严谨的数学语言，但它确实提供了一个全新的视角。

女：有时候打破定势真的太重要了，尤其是那些卡了几十年的领域。比如阿尔茨海默病的研究，每年砸进去几十亿美金，现在居然说连大方向可能都是错的。

男：这事儿挺让人扼腕的。过去几十年整个学术界都在死磕一个叫淀粉样蛋白级联的假设。结果好几个重量级论文被发现是修图造假。吹哨人把图片一放大，发现那些所谓的治病银弹数据全是被操纵的。

女：这太可怕了，等于是一群学术大佬守着经费的大门，不是按这个套路写的论文就不给钱。我看到有个网友引用了一句话说得特别准，科学的进步是靠一场又一场的葬礼推动的。那现在的风向转到哪了？

男：现在慢慢转回去了，觉得可能是大脑的废物清除系统出了问题，脑子里的代谢产物排不出去了。以前那套理论搞出来的药，不仅贵，效果微乎其微，甚至还可能引起脑肿胀和出血。

女：这有点像我们身体里的一座城市，以前一直以为是路上的垃圾桶不够大，拼命造垃圾桶，现在才发现其实是下水道堵了。这也提醒我们，思路必须得打开。像最近能源圈有个大动作，也是打破定势的结果。

男：你是指深层地热发电吧？传统的地热只能在有天然温泉的地方搞。现在直接把石油行业玩剩下的水平钻井和压裂技术搬过来，在几百度的干岩石里人工造地下水库。硬生生要把地热从一个小众能源，变成能给美国电网提供 150 吉瓦电力的超级基石。

女：我看不仅是发电，拿它来给建筑群集中供冷也特别聪明。夏天把热水抽出来排入地下，冬天再抽上来取暖，简直是把地球当成个巨大的天然充电宝。不过这打井的成本是不是有点太夸张了？

男：确实贵，初期投入比天然气高好几倍，而且深层水含盐量极高，容易腐蚀设备。但这笔账得算长远，风能太阳能便宜，但要看天吃饭。地热可是二十四小时全天候的。这也难怪现在连数据中心都在往地热里砸钱。

女：其实不管是古老的地热，还是我们刚才聊的老技术，有时候经过时间的沉淀，反而是最靠谱的。说到不随波逐流，在这个什么都要沾点 AI 和短视频的时代，Flickr 居然活得好好的。

男：对，2026 年了，它还是那个老样子。连网址后缀都还保留着早年那个叫永不结束的游戏的缩写。它现在的 CEO 也是个奇人，坚持不拿用户照片去训练 AI 模型，也不搞什么算法推荐流。

女：每年花八十二美金买个 Pro 会员，在现在看来真不便宜。但我觉得大家买的不是存储空间，而是一张回到旧互联网时代的门票。在那儿，你可以找到十几年前那种纯粹的摄影圈子，没有满屏的带货，连一张二十年前的原分辨率老照片都能翻出来。

男：确实，它的 API 还是那么好用，很多摄影师拿它做备份。虽然底层技术有点老，连最新的图片格式都不原生支持，偶尔还会崩出个系统错误。但就像老用户说的，没坏的东西，修它干嘛。

女：如果没坏就别瞎改，这简直可以做成座右铭了。不管是做软件、搞科研，还是我们自己处理生活里的事情，有时候保留一点冗余，留一点最初的笨办法，反而能走得更远。

男：是啊。真希望那些为了短期利润把系统冗余全砍掉的管理者，能好好体会一下这句话。

女：好的，那咱们这期节目就聊到这儿。如果你喜欢我们的讨论，别忘了使用泛用型播客客户端订阅 Agili 的 Hacker Podcast。下期见啦！

男：大家再见。

推荐订阅源