欢迎阅读 Agili 的 Hacker Podcast 每日精选。今天我们将探讨从前沿大模型迭代、历史经典硬件启蒙,到数字身份安全与认知神经科学的最新动态。
Google 发布 Gemini 3.8 Flash 与安全专精版 Flash Cyber
密集迭代与推理策略调整
Google 推出了 Gemini 3.8 Flash 以及专用于网络安全防御的 Gemini 3.8 Flash Cyber。这是 Google 在六周内发布的第三个 Flash 系列版本,距离 3.7 Flash 上线仅隔三周。新模型维持了上一代每百万输入 Token(词元)0.75 美元、每百万输出 Token 3.75 美元的优惠计费标准,该价格将持续至 2026 年底。
在基准表现上,3.8 Flash 在软件工程基准 DeepSWE v1.1 中超过了多数更高定价的模型,在衡量多步骤复杂推理的 HLE-Verified 上达到了 54.9%。这一代模型倾向于使用更多推理步骤和更频繁的工具调用。虽然单字输出速度较快,但在高努力级别下消耗的思考 Token 显著增加。部分工程师指出,在特定长任务中,单次调用的综合开销可能会超过同类竞品。
网络安全防御模型与社区实践
同步推出的 Gemini 3.8 Flash Cyber 专注于漏洞挖掘与自动化修补。在涉及 20 种编程语言的内部测试中,其漏洞检出率超过 70%;在评估自动修复能力的 CWE-Bench 测试中,pass@1(单次生成命中率)达到 47.2%。该模型目前未对公众开放,仅通过 Fairwind 计划向受信任的政府机构和软件维护者提供。
在实际开发工作流中,Simon Willison 等开发者反馈 3.8 Flash 在轻量级交互网页生成、多模态音视频解析和原型制作上效率极高,结合 Google Maps 等实时搜索接地(Search Grounding,大模型检索外部实时数据以纠偏的技术)时具备实用优势。对于复杂代码库的重构,团队通常将其作为快速草拟代码的执行层,再交由更大参数的模型进行最终审核。
Commodore 64 迎来发售纪念日:经典 8 位机与底层黑客启蒙
硬件折中与专用多媒体芯片
1982 年 9 月 1 日,Commodore 64(简称 C64)正式上市。它是首款售价低于 600 美元且拥有 64 KB 内存的个人计算机。C64 累计售出超过 1200 万台,成为计算机历史上单款销量最高的个人计算机之一。
C64 的硬件设计包含诸多工程妥协。1541 软驱由于发布前夕的电路变动导致传输速度严重受限,系统内置的 Commodore BASIC 2.0 也没有提供画图与发声的原生语法指令。但它的音视频架构在当时具备明显优势:VIC-II 芯片提供 16 色显示与 8 个硬件精灵(Sprites,用于快速移动角色图像),Bob Yannes 设计的 SID 声音芯片则具备 3 个独立音频通道与可编程合成波形,为早期的家庭电脑带来了出色的多媒体表现。
限制下的系统掌控感
由于系统 BASIC 功能贫乏,用户若想调用图形与声音,必须通过 POKE 和 PEEK 指令直接读写硬件寄存器和特定内存地址。这种限制促使大量初学者翻阅随机附带的《程序员参考指南》,主动自学 6502 汇编语言,在十几岁的年纪就深入理解了内存映射、位运算与光栅中断机制。
在北美市场,C64 填补了高昂商用机与简陋游戏玩具之间的空缺,让大量工薪家庭接触到了真正的可编程设备。直到 20 世纪 80 年代末,程序员依然在利用精细的定时技巧压榨这台 8 位机的极限,做出了早期设计者未曾设想的画面与声效。
守住非 Blink 阵营:为什么继续使用 Firefox 依然重要
独立渲染引擎的生态价值
博主 Mark Rogers 发文呼吁用户保持对 Firefox 的支持。在 Chromium 体系全面主导桌面与移动端渲染的背景下,Firefox 所依赖的 Gecko 引擎是除了苹果 WebKit(Safari)之外,互联网仅存的具备规模化使用率的独立浏览器引擎。失去这道屏障意味着网页标准的演进与实现将完全受单一商业公司的意愿支配。
尽管如 Ladybird 或 Servo 等新兴独立引擎正在推进,但现代 Web 标准的工程复杂度极高,短时间内全新引擎仍难以完全胜任日常高频浏览需求。
核心体验与衍生分支的选择
开发者社区对 Mozilla 近年的产品决策存在较多讨论,集中在加入遥测、推荐组件以及尝试内置 AI 功能等举措上。但 Firefox 依然保留着不可替代的架构特性:在 Google 推行 Manifest V3 规范限制扩展的网络拦截能力后,Firefox 完整保留了扩展 API 的底层控制力,使 uBlock Origin 等拦截工具能发挥全功能拦截效果。此外,用于隔离会话的多账户容器(Multi-Account Containers)和历史索引性能出色的智能地址栏也是留住重度用户的关键。
对于希望剔除上游集成内容的用户,社区主导的 LibreWolf、Zen 等下游分支,或者更新节奏更稳定的 ESR(长期支持版本),成为了继续留在 Gecko 生态内的务实路径。
Linux 技术媒体 LWN 宣布近五年来的首次订阅提价
应对通胀与运营成本
开源与 Linux 内核深度技术媒体 LWN.net 宣布,将于 9 月 15 日起将各档位订阅价格上调约 20%。这是该媒体自 2002 年采用读者订阅模式以来的第三次调价,距离上一次 2022 年初的提价已有近五年。主编 Jonathan Corbet 表示,本次价格变动主要用于抵消近年来的消费物价通胀,并覆盖应对恶意爬虫(Scraper)带来的服务器开销与员工医疗成本。
调整后,个人月度订阅分为四个层级,从求知黑客档(每月 6 美元)到狂热支持者档(每月 55 美元)不等,现有月付用户在未来六个月内继续享受原价。
技术公共品的商业维护
LWN 即将迎来创办 30 周年。该媒体坚持不依赖侵犯隐私的商业广告,依靠订阅收入全职雇佣了多位深度技术作者,持续产出内核开发追踪与底层开源报道。虽然其文章在发布一周后便全量免费开放,付费订阅者还能生成免费分享链接,但社区对本次提价表达了高度支持。
在许多开发者看来,为 LWN 付费更接近于对技术公共基础设施的赞助。没有稳定的资金支持,这类专注底层、无抓人眼球标题的硬核报道就难以持续运转。
Mistral 澄清数据训练退出政策引发团队隐私权限争议
针对不同服务层级的数据处理规则
法国人工智能厂商 Mistral 发布了说明文档,列出用户输入与输出数据参与模型训练的具体控制方案。根据规则,使用网页对话界面 Vibe 的个人与团队用户默认启用数据收集,需在设置中手动关闭;仅最高级别的 Enterprise 企业客户默认关闭。在 API 与 Mistral Studio 平台中,训练选项也需管理员单独配置,两套系统互不关联。
集中管控缺失带来的合规顾虑
社区讨论集中在 Team 团队方案近期的策略调整上。部分企业管理员反映,团队层级的默认设置此前被静默变更为默认收集,且缺少组织级别的全局关闭开关。管理员必须要求每位团队成员自行在个人面板中关闭共享,导致部分企业在测试中无意将内部提示词上传至训练系统。
相比其他同类商业模型在团队订阅层级便提供全局数据隔离,Mistral 将集中管理权限限制在最高级企业版上的做法引发了合规层面的质疑。对于处理严格敏感资产的研发团队,使用已明确关闭改进选项的 API 接口,或在私有硬件上部署开源权重模型,依然是规避数据回传的主要手段。
论文解析:大语言模型的连续向量中涌现出隐式符号结构
符号主义与连接主义的数学桥梁
认知科学家 R. Thomas McCoy、Paul Smolensky 等人在 arXiv 发表了长达 59 页的研究,题为《The Emergent Symbolic Structure of Artificial Neural Networks》。长期以来,经典符号主义(基于离散符号和形式逻辑规则)与连接主义(基于高维连续向量计算)在认知科学领域界限分明。大语言模型虽然依赖向量矩阵运算,却能表现出离散逻辑的推理能力。
研究团队提出了 DISCOVER 分析框架,通过闭式方程(能在有限步基础代数运算内求得精确解的解析式)构造了一套符号结构逼近方案,直接替换神经网络生成表征的计算路径。在算术、逻辑判断、代码生成与自然语言任务测试中,这一离散符号表征在很大程度上复现了原模型的推理行为;团队对该符号结构进行定向干预,也成功改变了模型的最终输出。
计算复杂度与可解释性的实际边界
社区讨论深入探讨了该研究的应用潜力与局限性。有观点寄望于该机制能用于“分析蒸馏”,将高维矩阵计算直接替换为轻量级的符号代数运算以节省算力。但技术分析指出,DISCOVER 所采用的张量积表征(通过向量外积将角色与内容绑定在高维空间的数据结构)在展开后占用的维度远高于原模型内部向量,计算开销并未减少。
此外,该方案在对齐表征时高度依赖人工先验,分析人员必须提前知道任务的符号解法并预设映射结构。尽管存在局限,这项研究仍为大模型的可解释性研究提供了有价值的数学工具,证明其内部向量并非不可解读的连续杂音,为未来定向排查模型幻觉和调整内部机制提供了理论参考。
Sonic Pi 5.0.0 发布:全新原生音频引擎与跨平台支持
现场代码音乐创作工具的新版本
基于代码的音乐创作与演出环境 Sonic Pi 正式发布 5.0.0 版本。这款由英国剑桥大学 Sam Aaron 博士主导的开源软件,允许用户通过编写代码进行实时音乐生成(Live coding,边写代码边运行生成音乐),覆盖从电子舞曲到古典乐的各类风格。
新版本提供了针对 Windows(x64/Arm64)、macOS 以及 Linux 的完整安装包,并为 Linux 平台引入了单文件开箱即用的 AppImage 格式。软件内置精准对齐的 MIDI、OSC 接口以及 Ableton Link 节拍同步能力。
底层音频架构的替换与演进
在 5.0.0 版本中,作者将原有的 SuperCollider scsynth 音频底层逐步替换为自研的原生 SuperSonic 架构。该架构源自此前将音频合成引擎移植至 Web Audio 的研发探索,旨在为未来直接在浏览器端运行铺平道路。
Sonic Pi 主要采用易于学习的 Ruby 语法作为用户交互界面,核心代码块通过直观的 do...end 组织,降低了无编程背景音乐人的入门门槛。作者透露,目前正在推进一套融合 Erlang 高并发特性的新型数字信号处理(DSP)引擎研发。
实测揭示 AI 搜索漏洞:垃圾内容农场操纵 Perplexity 软件推荐
面向机器生成的结构化内容农场
一项针对 AI 搜索引擎引用来源的实测发现,Perplexity 在解答软件推荐类查询时,正大量依赖专为 AI 算法定制的低质内容农场。测试者通过 API 查询了 380 个软件分类的最佳推荐,在记录的 7,534 条引用来源中,近六成域名位于 Tranco 全球排名前 10 万名之外,而维基百科等权威站点仅被引用 3 次。
排名前列的引用源中,有三家由同一模板生成的关联站点(wifitalents.com、worldmetrics.org 与 gitnux.org)合计制造了超过 21.5 万个“最佳软件”品类页面。这些页面直接标明自身是供大模型用于检索对齐的事实与基础支撑页(Facts & Grounding Page),并通过面向机器读取的 JSON-LD 结构化标签向 AI 注入推荐列表。
答案引擎优化与引用质量问题
这种针对 AI 检索机制量身定制内容的现象被称为 GEO(生成式引擎优化)或 AEO(答案引擎优化)。服务商利用大语言模型对自身风格句式和特定嵌入向量的天然偏好,生产极易被机器采纳的内容。
在测试中,由于依赖未经严格校验的机器生成数据,Perplexity 给出的软件厂商落地链接中,有 1.1% 无法打开,6.1% 发生了错误跳转,甚至将部分专业工具的主页定向至在线赌场或无关商业站点。这一调查反映出当前的 AI 检索在追求生成速度的同时,依然欠缺对来源真实信誉与商业利益关联的有效过滤。
暗网公开售卖逾 1.5 亿张驾照扫描件:第三方身份留存机制引质疑
包含防伪光谱的高清证件泄露
暗网平台 Nexus 近期公开售卖超过 1.53 亿张美国与加拿大的驾照正反面扫描件,以及数百万份护照、医疗卡和进出政府设施的通行证。美国联邦调查局(FBI)新奥尔良办事处已就此展开刑事调查。
网络安全记者 Brian Krebs 在调查中发现,被兜售的数据不仅包含常规彩色扫描件,还附带用于防伪核验的红外与紫外线(UV)光谱扫描图,并带有精准到秒的时间戳。通过比对多名研究人员在租车柜台与特定零售终端的线下出示时间,泄露源头指向了为租车公司 Hertz、零售巨头 Target 等提供验证服务的中间商 idscan.net。该公司每月处理数千万次身份验证,目前已启动事件响应并配合调查。
数据留存模式的系统性风险
相比于可重置的密码或账号,高清晰度的真实驾照图像和防伪光谱一旦泄露,受害人无法更改面部特征与个人身份信息,面临长期的欺诈性借贷和信用冒用风险。
技术社区对身份验证中介保留全量底图的合规逻辑提出了强烈质疑。验证服务的核心目的仅是完成一次性的“真实有效与否”判定,但服务商将高敏感个人身份信息长期归档,实质上构成了巨大的攻击目标。多位工程师提出,行业应转向基于公私钥密码学的零知识证明机制,由权威机构签发数字化凭证,用户仅需在验证时证明自己“满足准入条件”,而无须将包含完整肖像与住址的物理证件扫描件交付第三方商业机构留存。
研究表明脑衰老并非单纯遗忘,而是错误融合记忆片段
类别级错误绑定现象
发表在《Cerebral Cortex》期刊上的一项磁共振成像研究表明,衰老导致的记忆障碍不仅表现为细节丢失,更伴随着记忆检索机制的质变:老化的神经系统容易将无关的记忆碎片混淆并重组在一起。
宾汉姆顿大学的 Ian M. McDonough 等研究者对比了 18 至 74 岁不同年龄段受试者在记忆人脸、物品与场景配对时的脑活动。在年轻人群中,回忆时的神经活动越贴近最初学习时的状态,选择就越精准。但在老年受试者身上出现了完全相反的结果:海马体(负责记忆形成与检索的核心区域)的神经模式越接近,他们越容易发生类别级错误绑定(category-level misbinding),例如确信某张人脸对应的是完全不相干的场景。老化的海马体依然在积极运转,但提取范围失去了区隔细节的边界精度。
动态记忆印迹与日常混杂
讨论指出,生物大脑并不像计算机的冯·诺依曼架构(计算与存储分离的硬件体系)那样拥有固定的物理存储地址,不能简单类比为“哈希冲突”或静态文件损坏。记忆印迹(engram,记忆在大脑中留下的物理痕迹)本身处于动态漂移中,神经元与突触连接会在数周内被多种记忆共享与复用。
人在每次回想经历时,大脑都会基于当下的上下文对记忆进行重新编码与修改。老年人群在日常生活中将多年以前的真实经历与眼前的琐事拼凑成同一段事实并深信不疑,正是这种大范围提取但缺乏细节隔离的生理体现。这项研究提示,针对认知衰退的干预重心,应更多放在帮助神经网络维持相似记忆之间的区隔精度,而非单纯追求记忆容量的恢复。
播客全文
女:Hello 大家好,欢迎收听 Agili 的 Hacker Podcast,我是莓莓。
男:大家好,我是阿迪。
女:阿迪,最近 Google 发布模型的速度有点夸张,三周前刚发了 Gemini 3.7 Flash,现在 3.8 Flash 又来了。我看到不少做前端的朋友在试,输入一个提示词,十几秒就出来一个能跑的交互式网页。
男:这次节奏确实快,六周里发了三次 Flash。3.8 Flash 的定价暂时没变,每百万输入 Token(词元)0.75 美元,输出 3.75 美元,官方承诺这个价格保持到 2026 年底。不过它的思路变了,模型在背后做了更多轮的推理和工具调用。
女:这就有点像一个人虽然语速很快,但他答题前在草稿纸上演算的步骤变多了。虽然单价没涨,如果他写了一大堆推理过程,整体账单反而可能变贵?
男:对,社区里有些开发者对比测试后发现,在特定任务上,它的总花费甚至超过了 GPT-5.6 Sol。好在 Google 允许开发者在接口里调低推理努力级别(thinking effort)。这次他们还发布了一个专做安全防御的 Gemini 3.8 Flash Cyber,单次修补漏洞的命中率测到了 47.2%,在 Chrome 团队内部生成正确补丁的效率是其他大模型的两倍多。
女:可惜这个安全模型不对普通开发者开放,只给受信任的机构和维护者用。不过说到大模型查资料,最近有人扒了 Perplexity 的底细,发现它推荐软件时,引用的很多信源居然是新注册的内容农场。
男:这项测试测了 380 个软件品类,统计了七千多条引用链接。结果接近六成的域名根本排不进全球前十万名,像维基百科这样公认的权威站点一共只被引用了 3 次。有三家模板几乎一样的网站,一口气批量生成了 20 多万个“最佳软件”推荐页面。
女:我看测试里还把微软 To Do 指向了一个根本不存在的空域名,甚至把科研数据平台 Dryad 链接重定向到了印尼博彩网站。这种以前叫 SEO(搜索引擎优化),现在换了个名字叫 GEO(生成式引擎优化)对吧?
男:是的。现在的做法更针对模型,有些团队直接分析大模型回复的文本特征,专门生成符合大语言模型偏好的句子和 JSON-LD(一种供机器阅读的结构化数据格式)。大模型看到这些结构化文本就觉得很对胃口,直接拿来当依据。结果就变成了 AI 生产垃圾内容,AI 搜索再去消费这些内容。
女:信息源被污染就算了,有些平台连我们喂进去的数据都不放过。法国的 Mistral 最近更新了训练政策说明,很多企业管理员才发现,团队版默认把用户对话拿去训练模型了。
男:这事在开发者里动静不小。原本不少欧洲公司选 Mistral 是看重它符合 GDPR(通用数据保护条例)。结果这次更新后,团队方案里的集中控制开关没了。管理员得挨个通知团队成员,让他们在各自的个人设置里手动取消勾选。
女:很多在内测中发了内部代码的工程师根本不知道这回事。相比之下,Anthropic 的 Claude 团队版每月 18 欧元起步,默认就是关闭数据训练的。Mistral 却把全局关闭的权限卡在了最贵的大企业版上。
男:AI 实验室消化完公开网页后,非常渴望得到真实用户的纠错和多轮交互上下文。但对企业来说,不能统一纳管的单人隐私开关,在合规上基本等于不可控。现在不少顾虑机密的团队,要么在本地机房部署开源权重,要么只走关掉数据共享选项的底层 API(应用程序编程接口)。
女:说到数据保管,上周爆出来的 Nexus 泄露事件看得人后背发凉。暗网直接在卖 1.53 亿张美国和加拿大的驾照正反面扫描件。
男:这起泄漏最严重的地方在于,里面不仅有高清彩色照片,还包含了红外线和紫外线(UV)的防伪扫描图,甚至精确到了秒级的时间戳。安全研究员顺着时间戳比对,发现正好对得上自己去租车公司赫兹(Hertz)或者大麻药房买东西的时间。源头最终指向了一家叫 idscan.net 的身份验证服务商。
女:很多人完全想不通,线下租个车,或者进店核验一下年龄,系统判断一下“满没满 21 岁”或者“驾照真不真”就行了,为什么要把包含家庭住址、证件号的高清防伪底片永久存起来?
男:这就是典型的把核验服务做成了数据集中库。密码泄露了可以改,但驾照上的高清人脸和住址被卖出去,受害者面临的冒名借贷风险几乎是不可逆的。技术上完全可以用零知识证明(Zero-Knowledge Proof,一种无需透露具体信息即可证明某断言属实的密码学方法)来替代,比如像北欧的 BankID,用户只出具一份由官方签名的电子凭据证明自己合格,商家根本不需要拿到你的原始照片。但在很多地方,这种标准化数字身份推起来阻力依然很大。
女:现代系统这种庞大又不可控的感觉,有时候真让人怀念以前简单纯粹的硬件。比如上周大家在纪念 Commodore 64 诞生,那台机器当年是很多老程序员的启蒙玩具吧?
男:1982 年上市的,靠着 64 KB 的内存命名,那是历史上第一台售价压到 600 美元以下的 64 KB 个人电脑。生命周期里总共卖了上千万台。它虽然便宜,但硬件设计很有个性,配了专用的 VIC-II 视频芯片和 Bob Yannes 设计的 SID 声音芯片。
女:但我看历史资料说,它自带的 BASIC 语言其实非常简陋,连画线或者发声的原生指令都没有?
男:这就是它奇妙的地方。你买来电脑想让它出声音或者画图,必须用 POKE 和 PEEK 指令直接往指定的内存地址里写数据或者读数据。当年的很多中学生硬是翻着附带电路图的手册,自学了 6502 汇编语言,弄明白了什么是寄存器、什么是内存映射。要从磁盘读程序,大家闭着眼睛都能敲出 LOAD "*",8,1。那种对整台机器从硬件到底层指令全权掌控的感觉,在现代系统里很难找到了。
女:用代码直接控制声音的快乐,现在倒是在一些小众软件里延续了下来。比如最近更新到 5.0 版本的 Sonic Pi。
男:剑桥大学的 Sam Aaron 做这个项目很有坚持。它是一个免费的实时编程(Live coding)音乐工具,你坐在电脑前一边敲代码,音乐就一边实时合成出来,很多人甚至用它在俱乐部现场打碟。5.0 版本把 Linux 下的打包门槛降下来了,而且 Sam 把音频底层换成了自研的 SuperSonic 引擎。
女:我看它的语法写起来很直观,主要是基于 Ruby 的代码块,哪怕完全没学过乐理的小朋友,写两行循环就能搞出一套鼓点。
男:它最初就是给英国中小学做计算机和音乐教学设计的。除了支持常见的 MIDI 和 Ableton Link 网络节拍同步,它还专门给视障用户做了无障碍适配。作者现在还在用 Erlang 和新的音频信号处理技术做尝试,未来打算把整套引擎搬到网页浏览器里。
女:聊完这些让人心情愉快的小工具,再说说咱们每天都要用的浏览器。最近因为 Firefox 入驻了 X 平台,又有博主喊着要弃用它转去别的浏览器,结果引来了一大波关于“不要把婴儿和洗澡水一起倒掉”的讨论。
男:其实 Vivaldi 和很多主流浏览器早就入驻各类商业社交平台了。大家之所以对 Firefox 的动作这么敏感,本质上是对 Mozilla 这几年的方向有焦虑。比如收购广告技术公司、主界面加弹窗、默认集成 AI 功能。追求干净的用户每次安装完,都得去 about:config(高级配置页面)里手动关掉一堆开关。
女:而且 Mozilla 每年从 Google 默认搜索合作里拿几亿美元,却一直不开通让普通人给浏览器核心引擎直接捐款的渠道。但即便有这些毛病,为什么老极客们还是劝大家不要轻易放弃它?
男:因为它是目前除了苹果 Safari 之外,唯一有规模的独立排版引擎。如果 Gecko 倒下了,整个互联网的呈现标准就全被 Google 的 Blink 引擎垄断了。而且自从 Chrome 强制推行限制插件能力的 Manifest V3 规范之后,只有 Firefox 还保留着完整的扩展接口,uBlock Origin 这种广告拦截插件在上面才能全力发挥。更别提多账户容器这种能把不同账号隔离得干干净净的功能了。现在很多折腾累了的开发者会选 LibreWolf 或者 Zen 这类社区分支,或者直接停在 ESR(长期支持版本)上。
女:支持独立生态确实需要真金白银。像 Linux 和开源圈子里非常核心的媒体 LWN.net,最近也宣布订阅价格要上调 20% 了。
男:这是他们创办快 30 年来第三次调价,距离上一次调价过了将近五年。主编 Jonathan Corbet 解释得很坦诚,美国这几年的通胀差不多有 20%,再加上医疗保险费用上涨,还有为了对付抓取他们文章喂 AI 的自动化爬虫,服务器防爬成本也高了不少。调价后最便宜的求知黑客档从每月 5 美元涨到了 6 美元。
女:LWN 的文章其实很有公共品的性质,新文章发布一周后就全部免费公开,付费会员也能生成免费链接分享给别人看。
男:是的,社区读者这次几乎全是支持的声音。很多人甚至根本不直接做 Linux 内核开发了,但依然每年默默续费。因为大家都清楚,如果没有这种完全不靠追踪广告、扎扎实实人工写出来的深度技术报道,整个开源生态的技术沉淀会塌掉一块。很多老读者还在建议各家科技公司,应该直接用团队预算给员工统一报销订阅。
女:说到技术沉淀,认知科学领域最近有一篇很长很硬核的论文,几位学者发表了一个叫 DISCOVER 的分析框架,试图解开大模型这个黑盒到底是怎么思考的。
男:这篇论文长达 59 页,来自 McCoy 和 Smolensky 等几位学者。大家知道,AI 领域长期有两种看法:一种认为真正的智能是一套离散的符号规则,就像数学公式;另一种连接主义则认为靠高维度的连续向量计算就能涌现出智能。现在大语言模型向量算得飞起,但谁也说不清里面的逻辑是怎么编排的。
女:这项研究是不是找到了这两者之间的某种桥梁?
男:他们通过闭式方程(Closed-form Equation,能在有限步代数运算内求出精确解的解析式)构造了一套符号结构,直接去替换大模型内部生成表征的路径。在算术、逻辑推理和代码编写这些任务里,替换之后模型的输出行为居然高度吻合。他们甚至通过修改这些符号表征,成功干预了模型的输出。论文资深作者 Paul Smolensky 几十年前就在做张量积表征(Tensor Product Representation,用向量外积绑定角色和内容的数据结构),这篇论文相当于证明了,大模型那堆密密麻麻的高维数字里,其实藏着可以被拆解出来的离散符号角色。
女:那是不是意味着我们以后可以用简单的符号计算,替代掉耗电巨大的 GPU 矩阵运算了?
男:暂时还不行。这种方法展开后的维度往往比原来的模型内部还要大,算起来甚至更慢。而且在分析之前,研究者得预先知道这个任务该怎么用符号逻辑去解,带了很强的先验假设。但它给机理可解释性提供了一把新尺子,未来或许能帮我们更精确地修剪大模型的幻觉。
女:研究完人工神经网络,我们人类自己的大脑衰老机制最近也有个挺颠覆的新发现。以前大家都以为人老了记性变差是因为“遗忘”,但宾汉姆顿大学的一项脑成像研究发现,衰老的大脑其实是把不同的记忆碎片张冠李戴地拼在了一起。
男:这项实验扫描了 18 到 74 岁受试者的大脑海马体。研究人员让大家把人脸和某个物品或者场景配对,然后进磁共振机器测试。在年轻人脑子里,回忆时的神经活动模式跟最初学习时越吻合,答对的概率就越高。但在 60 岁以上的老年组里,活动模式越相似,反而越容易出现跨类别的混淆错误,比如把原本跟人脸配对的茶杯,记成了一座毫无关系的森林。
女:这种现象叫“类别级错误绑定”。它不是老年人的海马体罢工了,而是检索的精度失焦了。大脑保留了大致的轮廓,却把边界丢失了,把两件完全不相干的事情强行融合成了真实发生的记忆。
男:对。很多程序员喜欢拿电脑做比喻,觉得这是数据量太大导致的“哈希冲突”或者有损压缩。但神经科学家指出,人脑可不是冯·诺依曼架构(计算与存储分离的计算机体系),根本没有固定的内存地址。记忆印迹(engram,记忆在脑中留下的物理痕迹)本身就是动态漂移的,每次我们提取一段回忆,大脑就会像捏软化的橡皮泥一样重新写一次。家里有认知障碍老人的朋友经常会发现,老人会非常笃定地把十年前的亲戚和昨天的买菜琐事拼在一块讲,其实就是海马体在提取时失去了区隔的能力。
女:了解这个机制真的很有安慰感,至少让我们明白这不是他们在胡思乱想,而是大脑的检索模块在生理上发生了漂移。
男:是的,以后的脑衰老干预,重点可能不是盲目去扩容,而是怎么帮大脑守住相似记忆之间的那道边界。
女:今天从快速演进的 Flash 模型、被垃圾内容包围的 AI 搜索,一路聊到了上世纪的 Commodore 64 和大脑的记忆机制。技术在飞速迭代,但不管是几十年前的机器指令,还是我们自己的大脑,底层逻辑总有些奇妙的相通之处。
男:感谢大家的收听。
女:如果你喜欢我们的内容,别忘了使用泛用型播客客户端订阅我们的节目。我们下期再见!
男:下期见!
参考链接
- Gemini 3.8 Flash and 3.8 Flash Cyber
- Commodore 64 released September 1, 1982
- Hang on to Your Firefox
- A note on subscription prices from LWN
- Can I opt out of my input or output data being used for training?
- The Emergent Symbolic Structure of Artificial Neural Networks
- Sonic Pi
- Three sites made 215,128 “best software” pages for AI. Perplexity cites them
- FBI Probes Service Selling 153M+ Drivers Licenses
- Aging brains blend memories together instead of just forgetting them
