Total 22 · Clear filters
On 25 July 2024, Google DeepMind announced that AlphaProof and AlphaGeometry 2 solved four of the six 2024 International Mathematical Olympiad problems, scoring 28 of 42 points. The company said this reached silver-medal level, just below the 29-point gold threshold.
On 17 January 2024 Google DeepMind announced AlphaGeometry, a system that pairs a language model with a symbolic deduction engine and solved 25 of 30 olympiad geometry problems in a benchmark, close to the 25.9 averaged by human gold medallists.
On 19 July 2007 the University of Alberta announced that its Chinook program had solved checkers: with perfect play by both sides the game is always a draw, and the program can be drawn but never beaten.
AI@50 was a 2006 conference at Dartmouth College marking fifty years since the 1956 Dartmouth Summer Research Project, where the term "artificial intelligence" had been coined. Several of the original participants returned for three days of talks.
In May 1997 IBM's Deep Blue beat world chess champion Garry Kasparov 3.5–2.5 in a six-game match in New York, the first time a computer defeated a reigning world champion under standard tournament time controls.
In February 1996 IBM's Deep Blue played reigning world champion Garry Kasparov in a six-game match in Philadelphia, winning game one before Kasparov took the match 4–2.
In 1994 the ACM gave its A.M. Turing Award jointly to Edward Feigenbaum, who built the pioneering expert systems, and Raj Reddy, whose Hearsay I was the first system able to recognize continuous speech.
In 1988 the Kyoto Prize in Advanced Technology went to John McCarthy, honoured for founding artificial intelligence and for inventing LISP, the programming language built for symbol manipulation rather than numerical calculation.
The specialized Lisp machine market collapsed as cheaper general-purpose workstations caught up, a shift tied to the second AI winter. Most makers were out of business by the early 90s.
Japan's Ministry of International Trade and Industry launched a ten-year national project in 1982 to build a logic-programming, massively parallel computer for artificial intelligence. It produced working parallel inference machines but ended in commercial failure.
In 1975 the ACM gave its A.M. Turing Award jointly to Allen Newell and Herbert A. Simon, citing two decades of work that helped establish artificial intelligence, the psychology of human cognition and list processing.
In the early 1970s DARPA sharply cut back support for undirected academic AI research and redirected money toward mission-oriented military projects. Together with the Lighthill report, the cuts are counted among the episodes that led into the first AI winter.
In 1973 the UK Science Research Council published Sir James Lighthill's survey of AI, which sharply criticised basic research in robotics and language processing and caused a long loss of confidence in the field.
In 1971 the ACM gave John McCarthy the A.M. Turing Award, honouring the researcher who named artificial intelligence, co-founded MIT's AI Project and created the LISP language.
The First International Joint Conference on Artificial Intelligence was held in Washington, DC, from 7 to 9 May 1969, with proceedings covering theorem proving, robotics, natural language parsing and heuristic search; it began a conference series held every other year since.
In 1969 the ACM named Marvin Minsky a Turing Award laureate for his central role in creating and shaping artificial intelligence. He had co-founded MIT's AI laboratory and written an early paper that put symbol manipulation at the centre of the field.
In 1969 Marvin Minsky and Seymour Papert published Perceptrons, a mathematical analysis of what perceptrons cannot compute. The book is often credited with contributing to a decline in neural-network research.
The 1966 report of the Automatic Language Processing Advisory Committee, a seven-scientist panel led by John R. Pierce, judged machine translation slower, costlier and less accurate than human translation, and was followed by a sharp cut in US funding.
A four-day symposium held at the National Physical Laboratory in November 1958, where Minsky, McCarthy, Selfridge, Rosenblatt, Backus and Hopper presented early work on machine intelligence; its two-volume proceedings appeared in 1959.
In the summer of 1956 a small group of researchers gathered at Dartmouth College for the Dartmouth Summer Research Project on Artificial Intelligence, widely regarded as the founding event of AI as a research field.
In the summer of 1956, at the conference that gave artificial intelligence its name, Newell and Simon presented Logic Theorist, a program that proved theorems from Principia Mathematica. The reception was lukewarm.
