模仿游戏:Alan Turing 与图灵机 | 大语言模型前史01原代码

模仿游戏:Alan Turing 与图灵机 | 大语言模型前史01

35分钟 ·
播放数11
·
评论数0

一台只按有限规则读写符号的抽象机器,为什么十四年后会进入“机器能不能思考”的讨论?本期《原代码》从 1936 年的纸带、当前格与 universal machine 出发,经过 Bombe、Colossus 和 ACE 的不同工程边界,再回到 1950 年的 imitation game,追踪一个过大的问题如何被改写成可执行动作或可观察游戏。

从一格纸带,到一台可以读取另一台机器描述的 universal machine;从专用密码分析设备,到会被讨论“能不能思考”的机器:问题没有变得更小,只是换成了可以检查、比较和继续追问的形式。

你可在官方网站 yuandaima.xyz 中查看本期逐字稿、证据引用关系和证据快照。

## 时间轴

00:00 冷开场:先把问题换成一台机器

04:48 有效计算怎样落到可执行动作

11:13 平行定义、公开修正与人物履历

14:06 Bombe、Colossus 与“通用”边界

17:10 ACE 让抽象模型接受存储、硬件和团队约束

20:48 程序成为可以被组织的对象

23:25 从 unorganised machines 到 child machine

25:31 Jefferson、意识异议与 imitation game

29:31 从“机器能否思考”到“下一个词”

## 本期资料

- [A. M. Turing:《On Computable Numbers》](www.cs.ox.ac.uk)

- [A. M. Turing:《A Correction》](people.irisa.fr(6)-Tur.pdf)

- [GCHQ:The Pyry Forest Meeting](www.gchq.gov.uk)

- [GCHQ:Alan Turing](www.gchq.gov.uk)

- [GCHQ:Gordon Welchman](www.gchq.gov.uk)

- [Computer History Museum:Timeline of Computer History: Computers](www.computerhistory.org)

- [The National Museum of Computing:Colossus](www.tnmoc.org)

- [NPL:Turing's ACE proposal](www.npl.co.uk)

- [NPL:Intelligent Machinery](www.npl.co.uk)

- [NPL:Progress Report on the ACE](www.npl.co.uk)

- [A. M. Turing:《Computing Machinery and Intelligence》](courses.cs.umbc.edu)

- [OpenAI:《GPT-4 Technical Report》](arxiv.org)

## 源码与工程记录

本期没有可供听众运行的独立源码仓库;ACE 的设计与协作记录见:

- [King's College:ACE proposal archive record](turingarchive.kings.cam.ac.uk)

- [AlanTuring.net:ACE archive catalogue](www.alanturing.net)

- [King's College:Intelligent Machinery archive record](turingarchive.kings.cam.ac.uk)

## 访谈与历史原声来源

本版没有剪入第三方历史原声。BBC 明确说明 1951 年广播没有存世录音;[Mark Gatiss 的视频重读](www.bbc.co.uk)不是 Turing 原声。[King's College 的 1951 广播稿目录](turingarchive.kings.cam.ac.uk)仅作为文字与声音边界参考。

## 说明与延伸阅读

- 1936 年的 tape 是纸带的数学类比,不是后来 Colossus 的打孔纸带,也不是已经造出的硬件蓝图。

- Bombe 是专用密码分析设备;波兰先行、Welchman 改进和制造团队必须保留,不能把它写成 Turing 单人完成的通用计算机。

- ACE proposal 和 1948 年的进度报告显示,通用计算进入了存储、硬件、编程和协作组织的约束;Turing 的 proposal 不等于整个 ACE 项目由一人完成。

- imitation game 是对“机器能不能思考”问题的替换,不是意识的测量仪,也不是今天所有“图灵测试”说法的唯一版本。

- GPT-4 technical report 只提供一个当代模型的最小技术描述;本期不把它写成 Turing 预见了 Transformer、RLHF,或已经表达过对大语言模型的明确态度。