Research history Products

ENIAC, announced on 14 February 1946, is described by the University of Pennsylvania as the first general-purpose electronic computer: a 30-ton machine with 18,000 vacuum tubes, built to produce military firing tables.

Logic Theorist, completed in 1956 by Allen Newell, Herbert A. Simon and Cliff Shaw, was the first program deliberately built to perform automated reasoning; it proved dozens of theorems from Principia Mathematica and introduced heuristics, list processing and reasoning as search.

Lisp is a programming language invented by John McCarthy at MIT in 1958, whose programs are themselves lists. It became the favoured language of early artificial intelligence research and introduced automatic garbage collection.

The Mark I Perceptron was the first hardware implementation of the perceptron algorithm: a custom analog computer built at Cornell Aeronautical Laboratory for image recognition, with photocells as input and motor-driven potentiometers as learnable weights.

DENDRAL was a Stanford artificial intelligence project begun in 1964 that identified unknown organic molecules from mass spectra using chemical knowledge. It is widely described as the first expert system and the ancestor of later systems such as MYCIN and PROSPECTOR.

A two-volume MIT Press work by Rumelhart, McClelland and the PDP Research Group, published in 1986, that set out the parallel distributed processing framework — networks of simple units with hidden layers and sigmoid activation — and became a landmark of connectionism.

ALVINN was a 1988 Carnegie Mellon neural network that learned to steer the Navlab van by watching a human driver, an early demonstration of learned end-to-end driving.

CIFAR-10 is a labelled image dataset of 60000 32×32 colour images in 10 mutually exclusive classes, split into 50000 training and 10000 test images; it was created by Krizhevsky, Nair and Hinton for training and comparing image classifiers.

A free online version of Stanford's artificial intelligence course, taught by Sebastian Thrun and Peter Norvig, which started on October 10, 2011 and drew 160,000 students from over 190 countries.

Amazon Echo is an always-on, nine-inch cylindrical speaker that answers to the name Alexa. Launched in November 2014 by invitation, it put a voice assistant into an ordinary room rather than a phone.

TensorFlow is Google's second-generation machine learning system, released as an open-source library under the Apache 2.0 license on 9 November 2015, succeeding the earlier DistBelief system.

PyTorch is an open-source deep-learning framework released by Meta in 2017, now governed by the PyTorch Foundation under the Linux Foundation. It is used both for research and for training and running large models in production.

A crowdsourced benchmark in which anonymous pairs of language models battle and users vote, producing an Elo leaderboard; launched in 2023 and relaunched as LMArena in 2025.

JAX is a Python library for accelerator-oriented array computation and program transformation, aimed at high-performance numerical computing and large-scale machine learning. It pairs a NumPy-style API with composable transformations for compilation, batching, differentiation and parallelization.

ImageNet is a large, hierarchical image database built on the WordNet conceptual model and released at Princeton University in 2009. It holds more than 14 million images in 21,841 categories, with bounding-box annotations, and a 1,000-class subset used by the ILSVRC challenge.

Google's self-driving car prototype was a modified production car that used cameras, radar and a roof-mounted laser range finder to sense traffic, drove routes that had been mapped in advance by manually driven cars, and always carried a trained safety driver and a software operator.

MYCIN was an early expert system built at Stanford in the 1970s to identify bacteria causing severe infections and recommend antibiotic treatment, notable for separating its rule base from its inference engine and for explaining its own reasoning.

GPS was a program built at RAND to act as a universal problem-solving machine, and is credited as the first computer program to separate problem knowledge from a general solving strategy.

Fortran is a programming language for numerical and scientific computing, developed from 1954 and released by IBM in 1957. Its compiler showed that automatically translated code could run nearly as fast as hand-written machine code.

A checkers program built by Arthur Samuel at IBM, begun in 1949 and published in 1959, that learned by memorising positions, playing itself and scoring board positions, and played at a respectable amateur level.

ELIZA is an early program for holding a natural-language conversation with a computer, built at MIT by Joseph Weizenbaum in the mid-1960s. Its DOCTOR script imitated a psychotherapist, and the readiness of users to treat it as understanding became known as the ELIZA effect.

SHRDLU was an early natural-language program built by Terry Winograd at MIT in 1968–1970 that conversed in English about a small blocks world, executing commands, answering questions and learning names — a landmark demo whose success fed an optimism later systems could not sustain.

R1, known inside Digital Equipment Corporation as XCON, was a rule-based expert system written by John P. McDermott at Carnegie Mellon University in 1978 to configure VAX computer orders automatically.

Cyc is a hand-built knowledge base and ontology of common-sense knowledge, begun by Douglas Lenat in 1984 to give software the basic concepts and rules about how the world works.

NETtalk is an artificial neural network built by Terrence Sejnowski and Charles Rosenberg that learns to convert written English into phonemes and audible speech, showing that a network trained on examples can generalize to unseen words.

Dragon Dictate, released by Dragon Systems in 1990, was the first speech-recognition product sold to consumers; at $9,000 it was costly, but it started the line of products that led to continuous speech recognition.

PC Therapist was Joseph Weintraub's conversational program; a modified version won the first annual Loebner Prize Competition in 1991, fooling five of 10 judges into thinking it was human.

C4.5 is a machine learning system that builds decision trees or if-then rules from cases with known classes. J. Ross Quinlan's 1993 book documents its C/UNIX implementation, source code, and use.

The Newton MessagePad was Apple's first handheld computer built on Newton technology, shipping on 2 August 1993 with a pen-based interface, handwriting recognition and a modular communications design.

Dragon NaturallySpeaking is speech recognition software from Dragon Systems, first released in 1997 as a continuous dictation product; it turns speech into text, runs spoken commands and reads documents aloud, and is still sold today under Microsoft.

NASA's Mars Pathfinder lander touched down on July 4, 1997, deployed the small Sojourner rover, used an airbag landing system for the first time, and returned thousands of images of the Martian surface.

Torch is a scientific computing framework for machine learning built on the LuaJIT scripting language with a C/CUDA core, designed to put GPUs first and surrounded by a large ecosystem of community packages.

CALO was SRI's cognitive assistant project, begun in 2003 as part of a five-year, 150 million dollar DARPA program, built to learn from observation rather than fixed programming. Its work on virtual personal assistants was later leveraged to create Siri.

Theano is a Python library and optimizing compiler for mathematical expressions, especially matrix-valued ones, developed at the Montreal Institute for Learning Algorithms. Released in 2007, it combined symbolic differentiation, GPU execution and C code generation for numerically heavy research and teaching.

Common Crawl is a nonprofit that has archived the public web since 2007 and gives its petabyte-scale datasets away for free. Its corpus became a core source of training data for large language models.

An open-source Python library for statistical learning, begun in 2007, first released publicly on 1 February 2010 by a team at Inria, and now one of the most popular machine learning programs on GitHub.

A free beta software development kit released by Microsoft on 16 June 2011 that let developers use the Kinect sensor's depth sensing, motion tracking and voice recognition on Windows PCs, initially for non-commercial work.

OpenAI Gym, announced as a beta in April 2016, is a toolkit for developing and comparing reinforcement learning algorithms: a growing suite of environments, from classic control tasks to Atari games and simulated robots, plus a website for comparing and reproducing results.

A free, open catalogue that links machine learning papers to their code and maintains benchmark leaderboards tracking the state of the art; built by Atlas ML, majority-owned by Facebook from December 2019, and relaunched as paperswithcode.co by Hugging Face in 2026.

A public Hugging Face leaderboard that ran a fixed set of benchmarks on open language models in one identical setup, from 2023 to 2025, so their scores could be reproduced and compared.

AutoNav is the autonomous driving software used by NASA's Spirit and Opportunity Mars rovers. It combines stereo vision, GESTALT terrain assessment, Visual Odometry, and Field D* path planning to let rovers choose and drive safe paths without step-by-step direction from Earth.

Chinook is a checkers-playing computer program built by Jonathan Schaeffer and colleagues [^1]. It became the first computer program to win a human world championship in any game, and its completed form cannot be beaten [^1].

Epoch AI's Benchmarking Hub collects benchmark results for leading AI models, including Epoch-run evaluations, and combines many scores into the Epoch Capabilities Index, a single general capability scale.

IBM's first electronic computer, announced to shareholders in April 1952. Built as a general-purpose machine, it ran some 25 to 50 times faster than its predecessors and opened IBM's 700 series.

The UCI Letter Recognition dataset is an archive of 20,000 distorted capital-letter images, each reduced to 16 integer attributes, used to benchmark classification algorithms on a 26-class recognition task.

Cinematch was Netflix's own algorithm for predicting what rating a subscriber would give a film. Its accuracy became the baseline of the Netflix Prize, a $1 million contest to beat it by 10 percent.

Soccer Server is a software simulator of soccer, begun by Itsuki Noda as a platform for multi-agent systems research, which later became the official soccer server of RoboCup.