跳转到主要内容
TechGene技术基因English

从符号推理到语言模型智能体

沿着规则求解、经验学习、深层网络和语言模型,理解计算机如何获得生成与行动能力;同时看见概率推理、统计学习、强化学习和扩散生成的并行发展。

计算机怎样从按规则求解,走向从经验学习、生成内容并利用工具完成任务?

让机器下一步棋、识别一个手写数字、根据资料回答问题,甚至借助工具完成一项任务,看起来是在要求不同的能力。它们背后却反复出现几个问题:知识怎样表示,经验怎样改变行为,错误怎样被发现,行动又怎样接受结果的检验。

这篇故事从可编程计算机出发,沿着这些问题阅读已有的 AI 技术节点。各条路线有各自的适用条件,也会相互组合;阅读顺序会在必要处回看更早的工作。

1. 规则能够写出来以后,难题变成了搜索与知识

存储程序计算机提供了运行不同算法的载体。1955年的达特茅斯提案把语言、神经网络和自我改进放进同一个研究计划,说明 AI 从形成名称时就包含多种思路。

符号方法先把事实、目标和规则明确表示,再通过推理或搜索求解。候选太多时,启发式搜索安排探索顺序;需要专业经验时,专家系统把领域知识加入过程。DENDRAL的化学结构研究提供了一个实例,相关原始资料保留了知识与搜索结合的实践。面对不完整证据,贝叶斯网络则使用概率表示和更新判断。

2. 从写规则到学规律,出现了多条学习路线

经验学习让系统根据数据改进表现,也要求我们重新检查数据、目标和评估方法。支持向量机沿着统计学习处理分类问题;神经网络探索连接结构与参数学习。1943年的神经元逻辑模型早于 AI 的命名,1958年的感知机则展示了早期可学习分类器的一条路线。

多层网络需要把误差分配给各层参数。1986年的反向传播论文展示了梯度计算与隐藏表征学习的结合。卷积网络又利用图像的局部结构,深度学习进一步结合多层表示、训练方法、数据和算力。结构与训练共同推动了能力进展。

3. 学会识别之后,还可以学习行动与生成

强化学习关注行动的长期结果。它与深层网络在DQN等方法中汇合,使系统能够根据游戏画面选择动作;2015年的研究给出了这一组合的代表实验。另一条支线沿着扩散与去噪学习生成数据,2020年的DDPM论文展示了图像合成结果。这些路线服务于不同的问题,可以各自继续发展。

4. 从语言生成走向任务执行,需要继续补齐条件

Transformer改善了序列信息交互与训练并行性。大规模语言训练随后展示了更广泛的任务适应能力,GPT-3研究是少样本上下文学习的代表。模型能够生成回答后,仍然需要解决行为如何符合要求、资料怎样更新、结果如何核对等问题。

人类反馈训练利用示范与偏好调整行为,检索增强生成引入参数之外的资料,ReAct则展示了语言模型交替推理、行动和读取环境反馈的路线。它们分别作用于训练、信息获取与执行过程,可以按任务组合;某个智能体不必同时采用全部方法。

下面的21个步骤覆盖20个AI节点,并复用“存储程序计算机”作为入口。主线、支线和汇合点表示本篇故事的阅读组织;具体技术关系及证据可以在条目和图谱中核对。所列年份中的代表论文用于定位发展阶段,未必就是整个方法的起源。

01
主线1948–1951

先有能够运行不同程序的计算机

把指令和数据放进存储器,计算机就能通过更换程序承担不同任务。它为搜索、推理和学习提供了通用的执行载体。计算速度与存储容量会限制程序规模,但怎样表示知识、怎样从经验中改进,仍然要靠新的方法解决。

存储程序计算机

把指令和数据都存入可读写存储器、按指令序列自动执行的通用计算机架构。

打开技术摘要进入局部图谱
02
主线1955年达特茅斯提案命名;1956年开展研究项目

把学习、推理和语言变成研究问题

1955年的达特茅斯提案为1956年的研究项目使用了“人工智能”这个名称,并同时讨论语言、神经网络和自我改进。AI由此获得一个共同的研究范围;其中若干思路更早已经出现,后来的发展也一直包含多条并行路线。

人工智能

通过计算系统实现学习、推理、感知与目标导向行动的一组可复用方法和系统能力。

打开技术摘要进入局部图谱
03
支线1950年代逐步形成;1976年符号与搜索论述为代表总结

把知识写成机器能操作的符号

一种直接的办法,是把事实、规则和目标明确表示出来,再让程序逐步推导结论。这让求解过程可以被检查,也把困难推到知识获取上:哪些事实值得保存,规则适用于什么条件,遇到未写出的常识又该怎么办?

符号人工智能

用显式符号、规则和推理操作表达知识并求解问题的人工智能路线。

打开技术摘要进入局部图谱
04
主线更早已有探索;1968年A*论文为本条核验锚点

给搜索一个方向

即使规则明确,候选步骤仍可能多到无法逐个尝试。启发式搜索利用对目标或代价的估计安排探索顺序。1968年的A*论文是这一思路的代表:合适的估计能够减少无效探索,最优性则取决于算法及估计满足的条件。

启发式搜索

利用问题相关的估计引导搜索顺序,以减少探索候选状态的方法。

打开技术摘要进入局部图谱
05
汇合点1960年代DENDRAL等知识型系统发展

把领域经验加入求解过程

专家系统把知识组织和推理机制结合起来。1960年代的DENDRAL用化学知识约束候选结构搜索,说明专业经验能够大幅缩小问题范围。知识与搜索在这里配合,但领域变化后,知识的补充、纠错和维护仍需要投入。

专家系统

组织领域知识与推理过程,在限定问题范围内给出分析或建议的系统。

打开技术摘要进入局部图谱
06
支线1980年代形成系统方法;1986年论文与1988年著作为代表

为不确定的信息保留概率

现实中的证据常常不完整,判断也未必只有真或假。贝叶斯网络用图和条件概率表示变量之间的依赖,并随观察更新判断。这条概率路线补充了处理不确定性的工具;普通概率依赖图要用于因果推断,还需要额外假设。

贝叶斯网络

用有向无环图与条件概率表达变量依赖,并在观察证据后更新信念的方法。

打开技术摘要进入局部图谱
07
主线1959年Samuel棋类学习论文为早期代表;并非唯一源头

让经验改变程序的表现

如果规则难以逐条写清,可以让系统根据数据或交互经验调整模型。1959年的Samuel跳棋研究是早期代表。问题随之改变:要提供什么经验、怎样定义改进、如何在未见过的情形中检验效果?训练中的进步需要接受独立评估。

机器学习

从数据或交互经验中调整模型,使系统在目标任务上的表现得到改善的方法。

打开技术摘要进入局部图谱
08
支线1995年支持向量网络论文为成熟方法的重要锚点

沿着统计学习寻找分类边界

支持向量机用分类间隔和训练误差之间的平衡构造判别边界,也能借助核方法表达非线性结构。1995年的支持向量网络论文是重要发展节点。这是一条独立的学习路线;特征、核与参数选择会影响效果,大样本训练也有成本。

支持向量机

以间隔准则构造判别边界,并可借助核方法处理非线性数据的监督学习方法。

打开技术摘要进入局部图谱
09
主线1943年McCulloch–Pitts逻辑神经元模型为早期锚点

回看更早的神经计算思路

神经网络的早期逻辑模型可以追溯到1943年,比“人工智能”这一名称更早。它把简单单元连接起来进行计算;后来的网络进一步加入可学习的参数。网络怎样连接,与参数怎样学会承担任务,是需要分别解决的两个问题。

人工神经网络

由相互连接的人工计算单元组成,用连接结构与参数表示输入到输出的变换。

打开技术摘要进入局部图谱
10
支线1958年Rosenblatt论文;本条聚焦单层分类模型

让分类器从错误中调整权重

1958年的感知机给出了神经计算与样本学习结合的早期路线。单层分类形式根据加权输入作出判断,再利用误分类样本修正权重。它让学习过程变得具体,也显露出表达能力的边界:单层线性判别无法直接处理任意非线性分类。

感知机

根据输入加权和及阈值作出分类,并利用误分类样本调整权重的早期神经学习模型。

打开技术摘要进入局部图谱
11
汇合点早期微分与训练工作更早;1986年论文推动多层网络表征学习

把输出误差传回多层网络

增加中间层可以表达更复杂的变换,但各层参数该如何分担输出误差?反向传播沿计算过程反向计算梯度,为优化方法提供更新依据。1986年的代表论文展示了隐藏表征的学习;更早的微分工作已存在,梯度本身也不保证得到全局最优解。

反向传播

利用链式法则从输出向前层传播导数,计算可微网络参数梯度的方法。

打开技术摘要进入局部图谱
12
主线更早已有研究;1998年文档识别论文为本条工程锚点

让网络利用图像的局部结构

图像中相似的模式会出现在不同位置。卷积网络通过局部连接与共享参数利用这种结构,并与梯度学习结合。1998年的文档识别论文展示了这条工程路线。结构设计减少了不必要的参数,却仍需要合适的数据和训练来获得有效表示。

卷积神经网络

利用局部连接与权重共享处理空间或序列结构的神经网络。

打开技术摘要进入局部图谱
13
汇合点2006年深层训练研究与2012年大规模视觉应用是重要发展锚点

把多层表示训练成可用的能力

深度学习把多层表示、训练方法、数据与算力结合起来。2006年的深层训练研究和2012年的ImageNet卷积网络结果,分别展示了方法与工程的重要进展。这里汇合的是多项条件:多层网络并非此时才出现,规模增大也不能单独保证可靠性。

深度学习

通过多层可训练表示逐步提取和组合特征的机器学习方法。

打开技术摘要进入局部图谱
14
支线历史源流更早;1992年Q-learning论文为本条代表锚点

从一连串行动的结果中学习

有些任务没有每一步的标准答案,只能在行动之后得到奖励。强化学习据此改进策略,关注长期累计回报。1992年的Q-learning论文是价值学习的重要代表。奖励怎样定义、探索付出多大代价,以及环境是否变化,都会影响学到的行为。

强化学习

通过与环境交互、接收奖励并改进行动策略,优化长期累计回报的方法。

打开技术摘要进入局部图谱
15
汇合点2015年DQN论文为像素输入决策的代表锚点;研究更早

让深层表示服务于行动选择

深度强化学习把复杂输入的表示学习与序列决策结合起来。2015年的DQN使用卷积网络,从游戏画面估计动作价值,形成两条路线的汇合。它扩大了可处理的输入范围,也带来训练稳定性和资源需求的问题;游戏成绩需要在新环境中重新检验。

深度强化学习

以深度网络表示价值、策略或环境模型的强化学习方法。

打开技术摘要进入局部图谱
16
支线2015年扩散生成路线;2020年DDPM图像生成代表结果

沿另一条路线学会生成

扩散生成模型先逐步向数据加入噪声,再学习反向恢复结构的过程。2015年的研究提出这条生成建模路线,2020年的DDPM展示了高质量图像合成。它提供了生成内容的另一种方法,与语言序列预测并行发展,也留下多步采样成本等问题。

扩散生成模型

通过学习逐步去噪或逆扩散过程,从噪声恢复数据结构的生成模型。

打开技术摘要进入局部图谱
17
主线2017年《Attention Is All You Need》提出架构

让序列中的位置直接交换信息

Transformer用注意力机制组织序列信息,让不同位置按任务需要聚合彼此的内容。2017年的原始论文在翻译任务中展示了这种架构与训练并行性的优势。架构为后续模型提供基础,但训练目标、数据和规模仍决定模型能学到什么。

Transformer

以注意力机制和前馈变换组织序列信息处理的神经网络架构。

打开技术摘要进入局部图谱
18
主线更早已有语言模型与预训练;2020年GPT-3论文为规模化代表锚点

用同一个语言模型处理多类任务

大规模预训练让语言模型通过上下文处理多种语言任务。2020年的GPT-3论文展示了少样本提示的代表结果:给出任务描述或示例,就能引导同一个模型产生相应输出。语言模型和预训练的历史更早;流畅的回答仍可能包含事实错误。

大语言模型

在大规模语言数据上训练,能够预测、生成并处理语言序列的模型。

打开技术摘要进入局部图谱
19
汇合点2017年偏好奖励研究;2022年语言模型指令跟随应用

用人的评价调整模型行为

人类反馈强化学习把偏好比较变成学习信号,再用强化学习调整行为。2017年的研究探索从人类偏好学习奖励,2022年的语言模型研究将其与示范训练结合,改善指令跟随。偏好反映评价者的判断,仍需另外检查事实正确性与任务效果。

人类反馈强化学习

从人类评价或偏好学习奖励信号,再用强化学习调整模型行为的方法。

打开技术摘要进入局部图谱
20
支线2020年RAG命名论文;检索与生成组合更早已有研究

让生成有外部资料可查

模型参数中的知识不易更新,也不便追溯具体出处。检索增强生成把外部资料作为生成条件,2020年的RAG论文是代表。它让资料检索与语言生成配合起来;检索是否找全、材料是否可信、回答是否忠实于材料,仍是三个不同的检查问题。

检索增强生成

在生成过程中引入从外部资料检索的内容,以补充模型参数中知识的方法。

打开技术摘要进入局部图谱
21
汇合点2022年ReAct预印本与2023年会议论文为代表;智能体概念更早

把语言、工具和环境反馈接起来

语言模型智能体把模型放进多步任务过程:选择动作、调用工具、读取结果,再决定下一步。2022年的ReAct研究展示了推理与动作交替的代表方法。系统可以按需要加入检索或采用经过人类反馈训练的模型;这两者都不是所有智能体的必备条件。最终要核对的是任务结果,连续多步中的错误也需要及时发现。

语言模型智能体

把语言模型与工具调用、环境反馈和多步决策过程结合的任务执行系统。

打开技术摘要进入局部图谱

这些路线围绕知识、经验、表示、目标和反馈不断提出新的解法。符号规则适合表达明确约束,统计与神经方法从数据中学习,强化学习处理行动结果,检索和工具让模型与外部信息及环境连接。

每次进展也会留下新的检查任务:训练数据是否合适,奖励是否代表真正目标,资料能否支持回答,多步行动是否得到预期结果。语言模型智能体把这些问题带进同一个执行过程,可靠性仍要靠具体任务中的证据来判断。

如果想回看计算载体如何形成,可以继续阅读从真空管到微处理器;如果想比较不同 AI 路线,可以从人工智能的局部图谱继续探索。

这个故事里的技术关系

当前节点当前范围范围外周边拖拽 · 滚轮缩放
关系筛选
可见关系当前已加载 · 30 条

参考资料

  1. A Formal Basis for the Heuristic Determination of Minimum Cost Paths

    A Formal Basis for the Heuristic Determination of Minimum Cost Paths

    作者/机构:Peter E. Hart、Nils J. Nilsson、Bertram Raphael。

    发表时间:1968。

    原文/资料:A Formal Basis for the Heuristic Determination of Minimum Cost Paths

    证据范围:支持启发式图搜索与条件化最优性;1968是A*论文锚点,不是所有启发式搜索的起源。

    查阅日期:2026-10-13。

  2. Learning Representations by Back-propagating Errors

    Learning Representations by Back-propagating Errors

    作者/机构:David E. Rumelhart、Geoffrey E. Hinton、Ronald J. Williams。

    发表时间:1986。

    原文/资料:Learning Representations by Back-propagating Errors

    证据范围:支持误差反传、权重调整及隐藏单元表征学习;1986是代表论文,不能据此声称链式求导或反向微分始于1986。

    查阅日期:2026-10-13。

  3. Fusion, Propagation, and Structuring in Belief Networks — 原作者收录的经典论文评述

    Fusion, Propagation, and Structuring in Belief Networks — 原作者收录的经典论文评述

    作者/机构:Judea Pearl;AIJ Classic Paper Award。

    发表时间:1986论文,2015评述。

    原文/资料:Fusion, Propagation, and Structuring in Belief Networks — 原作者收录的经典论文评述

    证据范围:支持贝叶斯网络用图表示独立性,以及树形或单连通网络中的信念传播;不将任意网络推断写成线性复杂度。

    查阅日期:2026-10-13。

  4. Gradient-based Learning Applied to Document Recognition

    Gradient-based Learning Applied to Document Recognition

    作者/机构:Yann LeCun、Léon Bottou、Yoshua Bengio、Patrick Haffner。

    发表时间:1998。

    原文/资料:Gradient-based Learning Applied to Document Recognition

    证据范围:作者页面与原论文支持卷积网络、梯度学习与文档识别的结合;1998为工程总结而非CNN最早出现年份。

    查阅日期:2026-10-13。

  5. A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence

    A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence

    作者/机构:John McCarthy、Marvin Minsky、Nathaniel Rochester、Claude Shannon。

    发表时间:1955-08-31。

    原文/资料:A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence

    证据范围:支持 AI 名称与1956年研究计划、自动计算机作为研究载体;1955是提案时间,不是所有智能技术共同诞生的年份。

    查阅日期:2026-10-13。

  6. Denoising Diffusion Probabilistic Models

    Denoising Diffusion Probabilistic Models

    作者/机构:Jonathan Ho、Ajay Jain、Pieter Abbeel。

    发表时间:2020。

    原文/资料:Denoising Diffusion Probabilistic Models

    证据范围:支持去噪扩散概率模型的高质量图像生成实例;不直接外推到任意视频或科学任务。

    查阅日期:2026-10-13。

  7. A Fast Learning Algorithm for Deep Belief Nets

    A Fast Learning Algorithm for Deep Belief Nets

    作者/机构:Geoffrey E. Hinton、Simon Osindero、Yee-Whye Teh。

    发表时间:2006。

    原文/资料:A Fast Learning Algorithm for Deep Belief Nets

    证据范围:支持深层表征训练的一条历史路线;不把逐层预训练视为所有深度学习的必要条件。

    查阅日期:2026-10-13。

  8. DENDRAL — 原始论文与软件档案

    DENDRAL — 原始论文与软件档案

    作者/机构:Computer History Museum,收录 Buchanan、Sutherland、Feigenbaum 等原始资料。

    发表时间:收录1960年代起资料。

    原文/资料:DENDRAL — 原始论文与软件档案

    证据范围:支持知识型系统通过领域知识约束搜索的早期实践。DENDRAL只作实例,不单独创建产品节点。

    查阅日期:2026-10-13。

  9. Deep Unsupervised Learning using Nonequilibrium Thermodynamics

    Deep Unsupervised Learning using Nonequilibrium Thermodynamics

    作者/机构:Jascha Sohl-Dickstein 等。

    发表时间:2015。

    原文/资料:Deep Unsupervised Learning using Nonequilibrium Thermodynamics

    证据范围:支持前向扩散破坏数据结构、学习逆过程恢复结构的生成模型路线。

    查阅日期:2026-10-13。

  10. Human-level Control through Deep Reinforcement Learning

    Human-level Control through Deep Reinforcement Learning

    作者/机构:Volodymyr Mnih 等。

    发表时间:2015。

    原文/资料:Human-level Control through Deep Reinforcement Learning

    证据范围:支持深度网络近似动作价值、像素输入与强化学习结合;特定游戏结果不等于现实环境的普遍能力。

    查阅日期:2026-10-13。

  11. ImageNet Classification with Deep Convolutional Neural Networks

    ImageNet Classification with Deep Convolutional Neural Networks

    作者/机构:Alex Krizhevsky、Ilya Sutskever、Geoffrey E. Hinton。

    发表时间:2012。

    原文/资料:ImageNet Classification with Deep Convolutional Neural Networks

    证据范围:支持大规模图像数据、深层卷积网络与GPU训练的工程结合;只支持该路线实例,不证明深度学习替代所有方法。

    查阅日期:2026-10-13。

  12. Language Models are Few-Shot Learners

    Language Models are Few-Shot Learners

    作者/机构:Tom B. Brown 等。

    发表时间:2020。

    原文/资料:Language Models are Few-Shot Learners

    证据范围:支持大规模自回归语言模型和上下文少样本学习的实例;GPT-3是研究实例,不作为独立商品节点,不据此认定语言建模始于2020。

    查阅日期:2026-10-13。

  13. What is Artificial Intelligence? — Basic Questions

    What is Artificial Intelligence? — Basic Questions

    作者/机构:John McCarthy。

    发表时间:作者在线说明。

    原文/资料:What is Artificial Intelligence? — Basic Questions

    证据范围:支持人工智能的工程范围与目标;不把定义当成已经实现通用智能的证据。

    查阅日期:2026-10-13。

  14. A Logical Calculus of the Ideas Immanent in Nervous Activity

    A Logical Calculus of the Ideas Immanent in Nervous Activity

    作者/机构:Warren S. McCulloch、Walter Pitts。

    发表时间:1943。

    原文/资料:A Logical Calculus of the Ideas Immanent in Nervous Activity

    证据范围:支持人工神经元网络的早期逻辑模型;该模型本身不等于现代可训练深度网络。

    查阅日期:2026-10-13。

  15. The Perceptron: A Probabilistic Model for Information Storage and Organization in the Brain

    The Perceptron: A Probabilistic Model for Information Storage and Organization in the Brain

    作者/机构:Frank Rosenblatt。

    发表时间:1958。

    原文/资料:The Perceptron: A Probabilistic Model for Information Storage and Organization in the Brain

    证据范围:核验论文作者、年份与感知机的早期学习模型;书目页无摘要,原理同时结合神经网络与反向传播论文,避免把单层局限扩展到全部网络。

    查阅日期:2026-10-13。

  16. Deep Reinforcement Learning from Human Preferences

    Deep Reinforcement Learning from Human Preferences

    作者/机构:Paul F. Christiano 等。

    发表时间:2017。

    原文/资料:Deep Reinforcement Learning from Human Preferences

    证据范围:支持通过人类对轨迹片段的比较学习奖励,再用于强化学习。

    查阅日期:2026-10-13。

  17. Q-learning

    Q-learning

    作者/机构:Christopher J. C. H. Watkins、Peter Dayan。

    发表时间:1992。

    原文/资料:Q-learning

    证据范围:支持基于交互奖励的动作价值学习。这里只以Q-learning作强化学习的代表锚点,不认定强化学习起源于1992。

    查阅日期:2026-10-13。

  18. Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks

    Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks

    作者/机构:Patrick Lewis 等。

    发表时间:2020。

    原文/资料:Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks

    证据范围:支持预训练生成模型与外部非参数记忆的结合;2020是该命名方法的论文,不是所有检索与生成组合的起点。

    查阅日期:2026-10-13。

  19. ReAct: Synergizing Reasoning and Acting in Language Models

    ReAct: Synergizing Reasoning and Acting in Language Models

    作者/机构:Shunyu Yao 等。

    发表时间:2022预印本,2023 ICLR。

    原文/资料:ReAct: Synergizing Reasoning and Acting in Language Models

    证据范围:支持语言模型交替产生推理与动作并读取环境反馈;不证明智能体概念始于2022或已实现可靠通用自主性。

    查阅日期:2026-10-13。

  20. Training Language Models to Follow Instructions with Human Feedback

    Training Language Models to Follow Instructions with Human Feedback

    作者/机构:Long Ouyang 等。

    发表时间:2022。

    原文/资料:Training Language Models to Follow Instructions with Human Feedback

    证据范围:支持监督示范、偏好排序、奖励模型与强化学习的语言模型后训练流程;偏好提升不等于正确性或安全性的保证。

    查阅日期:2026-10-13。

  21. Some Studies in Machine Learning Using the Game of Checkers

    Some Studies in Machine Learning Using the Game of Checkers

    作者/机构:Arthur L. Samuel。

    发表时间:1959。

    原文/资料:Some Studies in Machine Learning Using the Game of Checkers

    证据范围:支持从经验改进棋类程序的机器学习实例;不是全部机器学习方法的唯一发明。

    查阅日期:2026-10-13。

  22. Support-vector Networks

    Support-vector Networks

    作者/机构:Corinna Cortes、Vladimir Vapnik。

    发表时间:1995。

    原文/资料:Support-vector Networks

    证据范围:支持支持向量方法、特征空间与对不可分训练数据的扩展;1995论文承认此前可分情形已有工作。

    查阅日期:2026-10-13。

  23. Computer Science as Empirical Inquiry: Symbols and Search

    Computer Science as Empirical Inquiry: Symbols and Search

    作者/机构:Allen Newell、Herbert A. Simon。

    发表时间:1976。

    原文/资料:Computer Science as Empirical Inquiry: Symbols and Search

    证据范围:支持符号表示、符号操作与搜索的方法路线。物理符号系统假说是理论主张,不记录为已经证明的普遍定理。

    查阅日期:2026-10-13。

  24. Attention Is All You Need

    Attention Is All You Need

    作者/机构:Ashish Vaswani 等。

    发表时间:2017。

    原文/资料:Attention Is All You Need

    证据范围:支持原始Transformer的注意力架构与翻译实验;不是注意力机制本身最早提出的证明。

    查阅日期:2026-10-13。

  25. First Steps: Lectures from the Dawn of Computing

    First Steps: Lectures from the Dawn of Computing

    URL: https://computerhistory.org/blog/first-steps-lectures-from-the-dawn-of-computing/

    出版者: Computer History Museum

    访问时间: 2026-08-17

  26. 1946: Williams demonstrates CRT storage

    1946: Williams demonstrates CRT storage

    URL: https://www.computerhistory.org/storageengine/williams-demonstrates-crt-storage/

    出版者: Computer History Museum

    访问时间: 2026-08-17