Agili 的 Hacker Podcast 2026-09-08

2026年9月8日

欢迎收听 Agili 的 Hacker Podcast。今天我们将聚焦欧洲 AI 创纪录融资背后的主权考量、大模型参与千禧年数学难题引发的伦理风波，以及从复古密钥破解到开源办公软件的实用技术动态。

OpenAI 称解决千禧年难题引发学术伦理争议

纳维-斯托克斯方程的机器证明

OpenAI 宣布其内部多智能体系统给出了纳维-斯托克斯方程（Navier-Stokes，描述流体运动的偏微分方程）的有限时间爆破证明，并使用交互式定理证明工具 Lean 完成了形式化验证。千禧年大奖难题悬而未决的核心在于：初始状态平滑的三维不可压缩流体是否会在有限时间内产生奇点。

该系统搭载了能力超过 GPT-6 Astra 的内部模型，并发调度约 10,000 个智能体，在约 88 小时内消耗了 3,000 亿输出 Token，随后由 GPT-6 Astra 耗时 17 小时完成 Lean 验证。OpenAI 证明了在施加平滑外力且总能量有限的情况下，流体会形成向内螺旋的细长涡旋，并在有限时间内产生奇点。

数据来源与学术署名冲突

这项成果的发布伴随巨大的争议。纽约大学数学家 Tristan Buckmaster 与合作者 Levent Alpöge 此前一直在独立推进类似方向，并在 NYU 个人主页公开发表声明。Alpöge 是 Anthropic 的研究员，但该研究属于其与 Buckmaster 的个人合作，他们长期在 OpenAI 的 Codex 服务中编写草稿。

在双方沟通中，OpenAI 曾提议联合发表，但要求剔除 Alpöge，理由是他供职于竞争对手。Buckmaster 拒绝后仓促公开了包含欧拉方程证明的草稿。OpenAI 随后官方承认，启动该项目确实源于外界传言有人推进了该难题，同时表示“无法排除脱敏后的用户使用数据曾被用于改进底层模型”。

这起事件引发了学术界对大模型时代研究伦理的忧虑：平台方凭借庞大的算力优势，可以根据捕获的学术线索迅速调集资源，这让常规的学术积累和未发表草稿的隐私保护面临信任危机。

Mistral 获 30 亿欧元 D 轮融资定位于主权 AI

创纪录的欧洲本土单笔融资

法国人工智能公司 Mistral 宣布完成 30 亿欧元的 D 轮融资，投后估值达到 210 亿欧元，刷新了欧洲科技公司有史以来规模最大的单笔股权融资记录。本轮融资由三星电子领投，EQT 旗下的欧洲扩展基金与老股东 PSG Equity 共同领投，ASML、贝莱德旗下基金、英伟达等机构参与。

Mistral 成立满三年，目前在 20 个国家开展业务，为包括空中客车（Airbus）、阿斯麦（ASML）和汇丰银行（HSBC）在内的 125 家以上大型企业提供技术支持。新资金将主要用于扩建算力基础设施和扩展基础模型研发。

主权合规与技术现实的拉锯

Mistral 将自身定位于“全栈主权 AI”供应商，主打数据留在客户本地防火墙内部、计算可审计的开放权重模型（保留商业权限但公开核心参数的模型）。在欧洲严格的《通用数据保护条例》（GDPR）与美国《云法案》（CLOUD Act）带来的潜在数据跨境调取风险下，这种本土方案吸引了大量欧洲政企客户。

技术社区对这一路径存在分歧。部分开发者认为，虽然合规性满足了保守机构的需求，但 Mistral 近期模型在代码生成等高难度任务上的表现已经落后于美国一线闭源模型，性价比也面临快速迭代的开源模型的竞争。欧洲缺乏支撑百亿欧元级算力军备竞赛的资本深度，深耕企业私有化部署是 Mistral 的现实生存路径。

家用电脑 32 小时分解 1990 年代 512 位 RSA 根密钥

从 Netscape 4.51 中提取的老旧证书

安全研究员 Matthew McPherrin 从互联网档案馆的老式 Netscape 4.51 安装包中，提取了已倒闭机构 E-Certify 于 1999 年内置的两个 512 位 RSA 根证书。由于 1990 年代美国对强密码学实施严格的出口管制，当时软件广泛采用故意削弱的加密方案。

McPherrin 在一台普通的配备 AMD Ryzen 9 5950X 处理器的台式机上，使用通用数域筛法工具 CADO-NFS，在没有 GPU 加速的情况下，仅用 32 小时就分解出了服务器根证书的两个素数并还原出私钥。另一位研究员 Steve Weis 则利用 GPU 集群，在 1 小时内分解了 Internet Explorer 3.02 内置的一个测试用 512 位密钥。

算力演进与环境复现挑战

1999 年学术界分解 512 位密钥时动用了约 300 台工作站组成的集群，耗时七个月；如今相同的计算量已完全落在单台家用 CPU 的承载范围内。不过，RSA 密钥长度的增长是非线性的，分解 1024 位密钥需要数千个 GPU-年，而 2048 位密钥不仅需要更庞大的算力，其矩阵降维步骤更面临高达 $10^{18}$ 字节的内存寻址限制。

还原私钥后，真正的难点在于验证环境。现代 TLS 协议栈已全面移除对 Netscape 时代 SSLv3 和 40 位 RC4-MD5 密码套件的支持。McPherrin 使用 Go 语言底层原语重新实现了一个极简的服务端，成功搭建了可被老旧浏览器正常访问的验证站点。相关密钥已在 GitHub 公开，供复古计算爱好者为旧系统签名测试证书。

欧洲近九成 CDN 用户依赖 Cloudflare

高度集中的前端网络架构

网络监测机构 CipherCue 对 4.4 万余家部署了 CDN（内容分发网络）的欧洲企业网站进行了分析，发现有 89.6% 的公司使用 Cloudflare 作为网络入口。在荷兰和英国，这一比例均超过 93%；排在第二位的 Amazon CloudFront 仅占约 7%，专注于纯 CDN 的 Fastly 更是只有 1,299 家客户。

开发者青睐 Cloudflare 的原因在于其易用性与免费层生态。相较于 AWS 等云厂商繁琐的配置流程和昂贵的负载均衡费用，Cloudflare 提供了开箱即用的 DDoS 防御、廉价域名解析以及零成本的边缘分发套餐，大幅降低了初创团队的搭建门槛。

单点依赖与网络弹性隐患

当绝大多数企业共用同一网络入口时，服务商的内部运维失误就会放大为区域性故障。在过去 15 个月内，Cloudflare 发生过三次全球性中断，原因包括配置错误冲垮代理服务器，以及自动化脚本误通过 BGP（边界网关协议）撤回了客户 IP 前缀。

虽然欧洲企业将计算和数据库部署在 Hetzner、OVH 等本土机房，但在最外层依赖美国网络服务商已成为普遍现象。尽管欧洲本土有按流量计费的替代服务，但由于担忧突发流量产生不可控账单，大量站点短期内仍难以摆脱对 Cloudflare 免费防护机制的依赖。

Jellyfin 12.0 稳定版发布

架构调整与升级准备

开源媒体服务器 Jellyfin 发布 12.0 稳定版。团队放弃了此前沿用多年的“10.x”命名规则，避免底层大幅变动被误认为次要维护。新版本将底层框架升级至 .NET 10，并彻底移除了过时的 /emby/ 接口路径。

升级 12.0 有明确的前提条件：现有系统必须运行在 10.10.7 或 10.11.x 版本，跨版本升级需分步完成。由于启动时会自动重写数据库，官方建议离线备份全部配置。用户名现已不再区分大小写，第三方插件因框架升级均需重新编译，系统还专门提供了 --mode MigrateSystem 参数用于平稳迁移大型媒体库。

核心功能与性能优化

12.0 将原本打包在单一字段中的播放列表数据拆分为独立的数据行，支持分页与增量更新，缓解了大型列表导致的卡死现象。剧集模块正式支持单集多版本聚合并独立记录播放进度；原本分散在插件中的电子书与漫画功能被原生整合，支持解析 OPF 与 ComicInfo 元数据；底层转码组件同步升级至 FFmpeg 8.1。

独立 Wiki 遭遇新域名收录限制

搜索索引失效现象

独立 Wiki 托管组织 Weird Gloop 指出，自 2024 年 3 月 Google 搜索算法更新以来，约 90% 启用全新根域名的游戏 Wiki 陷入了收录异常：Google 仅展示其首页，内容子页面无论质量高低均无法在常规搜索结果中展现，即使这些页面已被爬取并能通过命令查到。

电子游戏类 Wiki 的日常流量有 85% 依赖通用搜索。如果搜索结果被充斥广告的商业平台旧页面占据，独立站点就无法吸引新读者，导致社群编辑链条断裂。

临时规避策略与技术归因

目前唯一能绕过该限制的方案是将新 Wiki 部署在具有既有权重的老域名二级子域名下。例如，运行在子域名下的 overwatch.weirdgloop.org 在短时间内便获得了正常的内页收录。

有开发者分析，部分受影响站点使用的 MediaWiki 系统存在高频重写站点地图、切分压缩包层级过深的结构，可能会影响轻量级爬虫的抓取效率。但由于相同的结构在权重域名下运转正常，技术人员认为更核心的阻碍仍在于搜索引擎对全新根域名收录策略的变化。

开源生态与技术演进速览

D2 开源自研布局算法 TALA

开源文本绘图工具 D2 宣布将其原本商业专属的自动布局引擎 TALA（Terrastruct's AutoLayout Algorithm）正式开源，采用 MPL-2.0 许可证。不同于常见的有向无环图引擎，TALA 采用正交布局，视觉风格接近工程师在白板上随手绘制的系统架构。它支持固定核心组件的绝对坐标并由引擎自动完成线路路由，弥补了生成式模型擅长布局平面但难以精确规划布线的短板。

LibreOffice 新版本强调无默认 AI 迎来下载增长

LibreOffice 发布 26.8 版本，首周下载量突破 100 万次。文档基金会公开表示新版本不会默认集成生成式 AI，强调任何新技术必须符合数据不离机、无后台遥测、保持可选等原则。社区指出，除了用户对干净软件界面的偏好外，各类自动化开发框架和智能体在后台静默调用 LibreOffice 进行文档批量转码，也在客观上推高了官方包的下载频次。

DeepMind 发布单核苷酸变异数据库 AlphaGenome Atlas

Google DeepMind 发布了 AlphaGenome Atlas，通过其 AI 模型预先计算了人类基因组中全部 90 亿种可能出现的单核苷酸变异带来的潜在调控影响，形成了一份 1PB 大小的数据库。该工具主要用于辅助分析编码区与非编码区的突变风险。专业研究者认为，该数据库是一个离线预计算的检索集，实际应用中由于基因之间复杂的相互作用，离准确预测疾病表型或直接指导药物研发仍有较大距离。

播客全文

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

男：大家好，我是阿迪。

女：阿迪，这几天数学界和 AI 圈因为千禧年数学难题吵得不可开交，事情好像挺戏剧化的？

男：对，纽约大学数学教授 Tristan Buckmaster 和合作者 Levent Alpöge，原本在低调研究流体动力学方程。他们推进了纳维-斯托克斯方程在光滑外力下的有限时间爆破（blowup，指方程的平滑解在有限时间内失效，速度或涡量趋于无穷大）。这属于克雷数学研究所设立的千禧年大奖难题（奖金为一百万美元的七个经典数学难题之一）。结果这篇研究被提前发了出来，论文里甚至还留着很多粗糙草稿的痕迹。

女：按理说这种重量级的数学成果，大家都会反复打磨好几年再公开，他们为什么这么着急发出来？

男：因为 OpenAI 带着近万个并发智能体和海量算力直接冲了进来。Alpöge 是 Anthropic 的研究员，但他这次研究完全是个人学术行为，平时使用 OpenAI 的 Codex 处理推导。学术圈传出风声后，OpenAI 调集团队，用内部模型在 88 小时内消耗了 1300 亿输出 Token，同样做出了纳维-斯托克斯方程的光滑外力爆破证明，还用 Lean（一种用于形式化验证数学证明的交互式定理证明工具）完成了形式化验证。光这一轮尝试的算力成本就超过 1500 万美元。

女：也就是说，大公司用超大规模算力，几天时间就推演完了学者可能要推导几个月的数学分支。但真正起冲突的还是署名权吧？

男：是的。OpenAI 研究员 Sébastien Bubeck 主动联系 Buckmaster 提出合作，但前提是必须把 Alpöge 踢出作者名单，因为他是竞争对手 Anthropic 的员工。通话中甚至出现了威胁对方职业生涯的言论。学者们担心自己的推导草稿早就成了商业模型的训练数据，最终拒绝了合作，抢先公开了半成品的论文。OpenAI 后来道了歉，Sam Altman 也承认不希望竞争对手员工署名内部模型成果，但官方声明里承认，无法排除脱敏后的用户数据曾被用来训练底层模型。

女：普通学者把未公开的想法敲进代码工具里，回过头来发现算力巨头不仅看懂了，还能靠绝对的资源优势把你甩在后面。这种对算力寡头的防备，在欧洲表现得更直接。这周法国的 Mistral 刚拿到了 30 亿欧元的融资。

男：这笔交易让 Mistral 投后估值达到 210 亿欧元，打破了欧洲科技公司单笔股权融资的记录。投资方阵容很庞大，三星电子领投，ASML、英伟达、贝莱德还有卢森堡大公国都跟投了。

女：它现在的定位很有意思，不跟硅谷拼通用基准测试，而是叫自己“全栈主权 AI”。

男：对。欧洲有严格的通用数据保护条例，美国还有云法案（赋予美国政府跨境调取美企存储数据的权力）。欧洲许多医院、银行和政务机构担心数据出境或者被外部供应商断供。Mistral 提供开放权重模型（开源核心参数但保留商业权限的模型架构）和私有化部署工具，数据和计算完全锁在客户自己的防火墙里。医院拿本地部署的模型分拣敏感病历，性能足够用，法律风险也归零了。

女：避开昂贵的算力军备竞赛，专心做合规市场。不过说到欧洲的主权，现实情况好像没那么乐观。我看到一份关于欧洲企业网络基础设施的统计，数据挺让人意外的。

男：CipherCue 分析了四万四千多家部署了 CDN（内容分发网络，通过全球边缘节点缓存和分发网络内容）的欧洲公司，发现其中将近 90% 的企业都把 Cloudflare 放在了最前门。在英国和荷兰，这个渗透率甚至超过了 93%。

女：大家平时都把 CDN 当成提升可用性、分散风险的工具，结果全欧洲九成的网络流量前门都在同一家美国公司手里。

男：这就把分布式网络变成了单点隐患。过去十五个月里，Cloudflare 发生过三次影响全球的重大中断，全是因为日常运维失误。比如修改权限导致机器人防御规则配置体积翻倍挤爆代理服务器，或者是自动化清理任务通过 BGP（边界网关协议，互联网核心路由系统）错误撤回了四分之一的客户路由，一断就是六个小时。

女：欧洲本土有自己的云服务和网络厂商，为什么企业不用呢？

男：成本和体验差距太大了。AWS 或 Google Cloud 配置边缘分发很繁琐，绑定负载均衡器成本也高；本土的 Bunny.net 虽好，但按流量计费，中小团队很怕突发恶意流量带来高额账单。Cloudflare 提供了开箱即用的免费套餐和防 DDoS 能力，几分钟就能配好。很多欧洲公司即使后端用本地机房，前端依然挂着 Cloudflare。想彻底摆脱这种依赖，迁移和运维成本高得不现实。

女：大平台在底层制定规则，小团队往往很难反抗。这种被垄断规则压制的情况，最近在游戏 Wiki 社区也爆发了。

男：很多电子游戏玩家应该熟悉 Fandom 这个商业维基农场，页面上充斥着自动播放的视频广告和弹窗。独立托管组织 Weird Gloop 最近协助《守望先锋》和《堡垒之夜》的玩家社群自立门户，搭建独立的 Wiki 站点，结果刚脱离商业平台，就掉进了“Google 监牢”。

女：Google 监牢是指网站被搜索引擎惩罚了吗？

男：2024 年 3 月 Google 调整核心搜索算法之后，大约 90% 启用全新根域名的独立 Wiki 都遇到了同一个问题：搜索引擎只收录首页，所有具体的资料内页在常规搜索里完全搜不到，哪怕用指令能查到已经被爬虫抓取。游戏 Wiki 八成以上的流量都来自玩家平时搜装备、搜关卡。失去了内页曝光，新玩家就只能继续被引流回 Fandom，独立社区没有新鲜血液，很快就会枯竭。

女：独立团队辛辛苦苦做内容，反倒被当成垃圾站给屏蔽了。那他们怎么解决这个问题的？

男：现在的临时方案是借用老域名的权重。Weird Gloop 把新 Wiki 先挂在自己老域名的二级子域名下，内页收录立刻恢复了正常。比如英雄联盟和星际战甲的 Wiki 也是直接挂在游戏官方主域名的二级子域名下，避开了这个机制。等到子域名积累了足够权重，再通过 301 重定向迁回独立域名。打击搜索引擎作弊的规则，最后反而在扼杀新生的独立站点。

女：说到底，大家对被大平台牵着鼻子走越来越疲倦了。不仅是搜索引擎，在日常办公软件里也是这样。LibreOffice 刚发布的 26.8 版本，官网下载量单周突破了一百万次，创造了历史新高。

男：文档基金会特意发了篇文章，宣布新版本没有集成任何生成式 AI，甚至把“没有 AI”当成了一项特性。他们列了原则，比如数据绝不离开本地设备、不内置遥测（即软件后台自动收集用户行为与环境数据的机制）、保持功能完全可选。

女：现在的办公软件确实动不动就弹出一个 AI 助手让你一键润色，或者诱导你升级云端订阅。但也有开发者指出，LibreOffice 这一百万次下载里，有相当一部分其实就是 AI 自己跑出来的。

男：这也是个挺幽默的现实。OpenAI 的 Codex 或者各类 AI 智能体在处理 Word、Excel 格式转换和生成 PDF 时，底层普遍在静默调用 LibreOffice 的命令行工具，很多自动化开发框架会自动拉取安装包。不过不管下载量来自谁，用户确实想要一个安静、没有遥测、不强行绑售功能的离线工具。

女：在真正的前沿科学领域，AI 也在输出类似这种庞大但需要甄别的东西。Google DeepMind 这周发布了 AlphaGenome Atlas，把人类基因组的单核苷酸变异做了一次大计算。

男：人类基因组有 30 亿个碱基对，其中 98% 是过去了解很少的非编码区。DeepMind 用模型把整个人类基因组中所有 90 亿种单碱基改变的调控影响都预计算了一遍，生成了一个 1PB 大小的数据集，给每个突变打了一个影响评分。

女：1PB 的数据量听起来很壮观，在医学上有实际用处吗？

男：在查找罕见病致病位点上能提供线索。但生物学界的研究者很冷静，因为这本质上是个离线缓存数据库。生物体内的基因存在复杂的上位效应（Epistasis，即多个基因相互作用对表型的影响），几个变异组合在一起产生的物理反应，不能靠单个位点的静态评分简单推导。单点预测能辅助诊断，但距离指导药物研发还有很长的路要走。

女：很多技术工具在经历过度宣传之后，大家还是更看重确定性和可控性。比如画架构图的工具 D2，最近开源了他们的自动布局引擎 TALA。

男：TALA 过去是付费闭源的，这次随 D2 0.9.0 开放了源码。以前开源图排版普遍依赖 Dagre 或 ELK，它们适合沿着单一方向延伸的流向图。TALA 主打正交布局（orthogonal layout，节点连线由水平和垂直折线组成的排版方式），排出来的图很像工程师在白板上手绘的系统架构。

女：手绘架构图最烦的就是改了一个模块，整张图的连线全乱套了。

男：TALA 支持混合排版，你可以手动固定核心节点的坐标，剩下的连线和辅助节点让算法自动寻找最优路径。这种模式配合 AI 写代码很舒服，大模型往往能想清楚模块相对位置，但画不出没有交叉的走线，让人类或模型定坐标、引擎负责布线，效率高很多。

女：说到解决长期痛点，开源媒体服务器 Jellyfin 终于发布了 12.0 稳定版。这个版本直接跳过了过去 10.x 的小版本命名规则。

男：团队不想让大家以为这又是个常规小更新，因为底层数据库被彻底重构了。以前 Jellyfin 把整个播放列表打包塞在单一数据字段里，每次修改都要全量读写，列表大了页面就会卡死。12.0 把每个条目拆成独立数据行，支持分页查询和增量修改，整个后台顺畅了很多。

女：不仅是性能，大家期待很久的单集多版本也终于支持了。

男：对，同一个剧集的 4K 版和 1080p 版现在聚合在同一个入口，各自记录播放进度。漫画和电子书支持也直接做进了核心包，不需要再折腾外部插件。不过升级前一定要备份数据库，并且确认当前版本至少是 10.10.7，用户名现在还不区分大小写了，有重名账号的系统很容易升级失败。

女：今天聊了这么多算力和架构，最后我们看一个很有意思的密码学考古实验。安全研究员 Matthew McPherrin 用家里的台式机，把 90 年代网景浏览器里的 RSA 根密钥给破解了。

男：他在旧版安装包里翻出了 Netscape 4.51 在 1999 年内置的两个 512 位 RSA 根证书。他在一台配备 AMD Ryzen 9 5950X 处理器的普通电脑上，用通用数域筛法工具跑了 32 个小时，就成功分解了质因数，还原出了服务器根证书的私钥。

女：现在我们普遍用 2048 位的 RSA 密钥，但在 90 年代，512 位居然是可以合法合规内置在浏览器里的标准？

男：当年美国对强密码学有严格的出口管制，政府要求民用出口软件必须故意削弱加密强度，方便国家安全局破译。1999 年学术界为了分解这种 512 位的密钥，动用了 300 台奔腾 II 计算机组成的集群，整整算了七个月。现在的家用电脑一天多就能搞定。

女：破解出密钥之后，要在现代电脑上连上老网景浏览器，好像比破解本身还麻烦。

男：没错，现代的网络协议栈早就把不安全的旧协议删干净了。Go 语言标准库早就移除了对老旧 SSLv3 和 40 位 RC4 加密套件的支持。研究员借助 AI 编写了一个极简的 Go 服务端，完全用底层原语手工重新实现了老旧的握手协议，才成功让老旧的网景浏览器弹出了绿色的可信证书提示。

女：算力的飞速增长把当年的高墙变成了现在的玩具，也带来了今天我们在数学证明和主权 AI 上看到的各种新碰撞。

男：技术在膨胀，但也一直在洗牌。今天聊到的这几起事件，正好把这种割裂展现得很清楚。

女：感谢大家的收听。如果喜欢我们的节目，欢迎在泛用型播客客户端订阅 Agili 的 Hacker Podcast，留下你的想法。我们下期再见！

男：下期见！