研究史 产品

ENIAC 于 1946 年 2 月 14 日公布，宾夕法尼亚大学称其为第一台通用电子计算机；这台重 30 吨、装有 18000 只电子管的机器用来生产军用射击表。

逻辑理论家是 1956 年 Newell、Simon 与 Shaw 完成的程序，被视为第一个自动推理程序，证明了《数学原理》的数十条定理，并引入启发式与推理即搜索等概念。

LISP 是约翰·麦卡锡 1958 年在麻省理工学院开始设计的编程语言，程序本身即由列表构成。它成为早期人工智能研究常用的语言，并引入了自动垃圾回收。

Mark I 感知机是感知机算法的第一台硬件实现：康奈尔航空实验室为图像识别建造的定制模拟计算机，以 20×20 光电池作输入，用电位器存可调权重。

DENDRAL 是斯坦福大学 1964 年启动的人工智能项目，用质谱数据和化学知识推断未知有机分子的结构，通常被称为第一个专家系统，后来的 MYCIN、PROSPECTOR 等都源于它。

《并行分布式处理》是 Rumelhart、McClelland 与 PDP 研究组由 MIT Press 出版的两卷本著作，主张以大量简单单元的并行互联描述心智，是联结主义第二次浪潮的代表文献。

ALVINN 是 1988 年卡内基梅隆大学开发的神经网络自动驾驶系统，通过观察人类驾驶员学会操控 Navlab 厢式车，是端到端学习驾驶的早期示范。

CIFAR-10 是一个用于图像分类研究的小图数据集：6 万张 32×32 彩色图像分属 10 个互斥类别，5 万张训练、1 万张测试，由 Krizhevsky、Nair 和 Hinton 整理。

斯坦福工程学院的免费在线课程「人工智能导论」，2011年10月10日开课，由 Sebastian Thrun 与 Peter Norvig 联合讲授，吸引了来自190多个国家的16万名学生。

Amazon Echo 是 2014 年 11 月推出的圆柱形智能音箱，始终在线，听到「Alexa」后作出回应。它把语音助手从手机带进了普通房间。

Google 的第二代机器学习系统，2015 年 11 月 9 日以 Apache 2.0 许可开源，接替前代系统 DistBelief。

PyTorch 是 Meta 于 2017 年发布的开源深度学习框架，现由 Linux 基金会旗下的 PyTorch 基金会治理。它既用于研究，也用于训练和运行生产环境中的大模型。

一个众包的模型评测平台：用户对两个匿名模型的回答投票，结果汇总成 Elo 排行榜；2023 年上线，2025 年以 LMArena 之名重新启动。

JAX 是一个面向加速器的 Python 数组计算与程序变换库，用于高性能数值计算和大规模机器学习。它提供 NumPy 风格的接口，并把编译、批处理、自动微分和并行化做成可组合的变换。

ImageNet 是按 WordNet 概念体系组织的大型分层图像数据库，2009 年在普林斯顿大学发布，含 21841 个类别、超过 1400 万张图像及边界框标注，其 1000 类子集被 ILSVRC 挑战赛采用。

谷歌自动驾驶汽车原型是在量产车上加装摄像头、雷达和车顶激光测距仪的试验车，它沿人工驾驶车辆事先测绘好的路线行驶，车上始终有一名受过训练的安全驾驶员和一名软件操作员。

MYCIN 是 20 世纪 70 年代在斯坦福大学开发的早期专家系统，用于判断造成严重感染的细菌并推荐抗生素治疗，以规则库与推理机分离、能解释自身推理而著称。

通用问题求解器是兰德公司为「通用求解机器」这一目标所做的程序，被认为是第一个把问题知识与通用求解策略分开的计算机程序。

Fortran 是 IBM 于 1957 年发布的数值计算编程语言，名字取自「公式翻译」。它的编译器第一次证明，机器自动翻译出来的代码可以跑得几乎和手写代码一样快。

Arthur Samuel 在 IBM 开发的跳棋程序，1949 年着手、1959 年发表，靠记忆已见局面、自我对弈和局面评分来学习，达到了相当不错的业余水平。

ELIZA 是20世纪60年代中期在 MIT 开发的早期对话程序。它的 DOCTOR 脚本模仿心理治疗师，用户容易误以为它真的听懂了，此即「ELIZA 效应」。

SHRDLU 是 Terry Winograd 于 1968—1970 年在 MIT 开发的早期自然语言理解程序，能就一个积木世界用英语对话、执行指令并回答问题，其演示影响深远。

R1（DEC 内部称 XCON，即「专家配置器」）是 1978 年用 OPS5 写成的基于规则的专家系统，能按客户需求为 VAX 计算机系统自动选配部件，1980 年起在 DEC 工厂投入使用。

Cyc 是由 Douglas Lenat 于 1984 年发起的手工构建的常识知识库，试图把关于世界如何运转的基本概念和规则完整地写成机器可读的形式。

NETtalk 是 Terrence Sejnowski 与 Charles Rosenberg 构建的人工神经网络，学会把英文文本转换成音素并合成可听的语音，说明只靠样例训练的网络也能泛化到没见过的单词。

Dragon Dictate 是 Dragon Systems 于 1990 年推出的第一款面向消费者的语音识别产品，售价 9000 美元；它开启了后来走向连续语音识别的那条产品线。

PC Therapist 是约瑟夫·温特劳布（Joseph Weintraub）编写的对话程序；其修改版在 1991 年首届 Loebner Prize Competition 中获胜，让 10 位评审中的 5 位以为它是人。

C4.5 是一个机器学习系统，能从已知类别的案例中生成决策树或 if-then 规则。J. Ross Quinlan 1993 年的书完整介绍了它的 C/UNIX 实现、源代码和使用方法。

Newton MessagePad 是苹果第一款基于 Newton 技术的掌上电脑，1993 年 8 月 2 日上市，采用笔输入、手写识别和模块化通信设计。

Dragon NaturallySpeaking 是美国 Dragon Systems 公司开发的语音识别软件，1997 年以连续听写产品问世，能把口述转成文字、执行语音命令并朗读文档，如今归属微软。

美国宇航局（NASA）的火星探路者号着陆器于 1997 年 7 月 4 日着陆，放出小车「索杰纳」，首次使用气囊着陆技术，并传回数千张火星表面图像。

Torch 是一个面向机器学习的科学计算框架，以 LuaJIT 作为脚本层、C/CUDA 作为底层实现，把 GPU 放在首位，并拥有庞大的社区扩展包生态。

CALO 是 SRI 于 2003 年启动的认知助手项目，属于 DARPA 一项为期五年、投入 1.5 亿美元的计划，目标是让助手通过观察和推理学习，而非按固定动作预先编程。它后来成为 Siri 的技术来源之一。

Theano 是蒙特利尔学习算法研究所开发的 Python 库与优化编译器，用于高效处理多维数组表达式，自 2007 年起结合符号求导、GPU 运行与 C 代码生成，支撑大规模科学计算与教学。

Common Crawl 是一家非营利机构，自 2007 年起抓取公开网页，并把 PB 级的存档和数据集免费开放。它的语料库后来成为训练大语言模型的重要数据来源之一。

scikit-learn 是一个用 Python 编写的开源统计学习库，2007 年起步、2010 年 2 月 1 日首次公开发布，如今是 GitHub 上最流行的机器学习软件之一。

微软于 2011 年 6 月 16 日免费发布的测试版开发工具包，让开发者能在 Windows 个人电脑上使用 Kinect 传感器的深度感知、动作追踪和语音识别能力，最初仅限非商业用途。

OpenAI Gym 是 2016 年 4 月以 beta 形式公布的强化学习工具包，既提供从经典控制任务到 Atari 游戏、模拟机器人的环境集合，也提供一个用于比较和复现结果的网站。

Papers with Code 是免费开放的机器学习论文与代码资源，并维护追踪任务最先进水平的基准排行榜；2019 年底起由 Facebook 控股，2026 年重新上线。

Hugging Face 于 2023 年推出的公开大模型排行榜，用完全统一的设置评测开源模型，让分数可复现、可比较；2025 年退役。

AutoNav 是 NASA 火星探测车“勇气号”和“机遇号”使用的自主导航软件，结合立体视觉、GESTALT 地形评估、视觉里程计和 Field D* 路径规划，让火星车自行判断并选择行驶路线。

Chinook 是由 Jonathan Schaeffer 及其同事开发的西洋跳棋计算机程序 [^1]。它成为首个在任何游戏中赢得人类世界冠军的计算机程序，完成后的版本无法被击败 [^1]。

Epoch AI 的基准测试中心汇集领先 AI 模型的基准成绩，包括其自行开展的评测，并用 Epoch Capabilities Index 将多项分数合并为单一通用能力量表。

IBM 的第一台电子计算机，1952 年 4 月由 Thomas J. Watson 向股东宣布。它按通用计算机设计，速度约为前代机器的 25 到 50 倍，并开启了 IBM 700 系列。

UCI 字母识别数据集收录了 2 万个经过随机变形的英文大写字母图像，每张图被压缩成 16 个整数属性，用来在 26 类识别任务上检验分类算法。

Cinematch 是 Netflix 自研的电影评分预测算法，预测结果以红色星星显示在网站上。它的准确度成为 Netflix Prize 的基准：谁能把它提升 10%，就能拿到 100 万美元奖金。

Soccer Server 是一个用软件模拟足球比赛的平台，由 Itsuki Noda 等人发起，用于多智能体系统研究，后来成为 RoboCup 的官方足球服务器。