Douglas Lenat

Douglas Bruce Lenat was born on September 13, 1950, in Philadelphia, Pennsylvania, to Nathan and Gertrude (Cohen) Lenat.⁠[1]

He studied physics and mathematics at the University of PennsylvaniaUniversity of PennsylvaniaThe University of Pennsylvania, commonly called Penn, is a private research university and Ivy League member in Philadelphia. It traces its origins to a 1740 charity-school project; Benjamin Franklin proposed his academy in 1749, classes began in 1751, and a 1791 merger established the institution under its present name. Penn has 12 schools, with undergraduate education concentrated in arts and sciences, engineering, nursing and Wharton. Enrollment totaled 29,384 in fall 2025, and the fiscal 2025 endowment was $24.81 billion. As of October 2026, J. Larry Jameson was president, with his term scheduled to end on June 30, 2027.Open the full entry, earning undergraduate and master’s degrees; after taking an introductory AI course in 1971 he went to Stanford UniversityStanford UniversityStanford University is a research university in California founded by Leland and Jane Stanford in 1885 and opened in 1891.Open the full entry in 1972, where his early doctoral work focused on automatic programming.⁠[2]

In 1976 he received his PhD from Stanford University with the dissertation AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search, advised by Cordell Green.⁠[3]

The dissertation’s program, the Automated Mathematician (AM), generated and modified short Lisp programs representing mathematical concepts; it earned him the 1977 IJCAI Computers and Thought Award.⁠[4]

He was a professor of computer science at Carnegie Mellon UniversityCarnegie Mellon UniversityCarnegie Mellon University (CMU) is a private research university in Pittsburgh, Pennsylvania. It grew out of the Carnegie Technical Schools, founded with funding from Andrew Carnegie in 1900, which were renamed the Carnegie Institute of Technology in 1912 and took the present name after merging with the Mellon Institute in 1967. The university is known for computer science, robotics, engineering, and the arts, and has campuses in Qatar, Silicon Valley, and Rwanda. As of September 2025, it enrolled 16,582 students. Its current president is Farnam Jahanian. On September 30, 2026, the university announced a $3 billion gift from Ken Griffin and plans to build a new campus in Miami.Open the full entry and Stanford University.⁠[5]

In 1980 he co-founded AAAI and the company Teknowledge; he later served on the scientific advisory boards of both Microsoft and Apple.⁠[6]

Eurisko, his follow-up program developed at Stanford, treated its heuristic rules as first-class objects that it could explore and modify.⁠[4]

Over the July 4 weekend of 1981, Eurisko won the Traveller tournament in San Mateo, California; after organisers substantially changed the rules in 1982 it won again, and the organisers then asked his team not to compete again.⁠[2]

In late 1984 he left his Stanford professorship to start the Cyc project.⁠[7]

Cyc began at MCC (Microelectronics and Computer Technology Corporation), a consortium of American computer, semiconductor and electronics manufacturers, with the aim of building a symbolic-AI knowledge base containing a large share of human commonsense knowledge.⁠[8]

At MCC he was principal scientist and called the work ontological engineering.⁠[6]

In 1990 he was named an AAAI Fellow for his work on Cyc.⁠[9]

At the end of 1994 the Cyc project spun out of MCC as Cycorp, Inc., with him as CEO.⁠[6]

In 1995 he published CYC: a large-scale investment in knowledge infrastructure in Communications of the ACMAustralian Community MediaAustralian Community Media (ACM) is an Australian regional and rural news publishing group with more than 100 brands, including The Canberra Times; in 2019 Nine sold it to a company controlled by interests associated with Antony Catalano and Thorney Investment Group.Open the full entry, stating that a person-century of effort had gone into Cyc since 1984, with about 10⁶ commonsense axioms entered by hand and millions more inferred and cached by the system.⁠[10]

In April 2002 OpenCyc 0.6.0, the open-source version of the Cyc technology, was released on SourceForge as a roughly 40MB download.⁠[11]

As of March 2005 Cycorp had 54 employees and earned about half its revenue from US government agencies and the rest from companies; it was profitable, debt-free and wholly employee-owned. He acknowledged having to adjust to shifting funding and said about half of its funding pushed Cyc in the direction it needed to go.⁠[12]

In March 2016 Lucid, a company led by his longtime collaborator Michael Stewart, was commercialising Cyc and had worked with the Cleveland Clinic to find patients for clinical studies. He argued that machine learning and deep learning would be flawed without some hand-coded knowledge; NYU’s Gary Marcus said Cyc had a reputation for being unwieldy and that hardly anything had been said about it publicly for a decade.⁠[7]

He appeared on episode 221 of the Lex FridmanLex FridmanLex Fridman is a Soviet-born, US-raised computer scientist and podcast host who works as an MIT research scientist on human-AI interaction and autonomous driving. His Lex Fridman Podcast is known for hours-long conversations with guests including heads of state and technology leaders.Open the full entry Podcast as the founder of Cyc, described as a 37-year project aiming to solve common-sense knowledge and reasoning in AI; topics included building the knowledge base, automated reasoning, the semantic web, OpenCyc and ontological engineering.⁠[13]

On July 31, 2023, he and Gary Marcus posted Getting from Generative AI to Trustworthy AI: What LLMs might learn from Cyc on arXiv, proposing 16 desiderata for future AI and arguing that trustworthy general AI will need to combine large language models with formal symbolic reasoning.⁠[14]

Marcus recalled that the two had worked for about a year on a longer manuscript they never finished, and that this paper was a shorter version Lenat wrote drawing on it.⁠[15]

He died on August 31, 2023.⁠[9]

He died in Austin, Texas; he and his collaborators spent more than 2,000 person-years on Cyc, writing more than 25 million rules.⁠[5]

He died of bile duct cancer at 72 and was survived by his wife, Mary Shepherd; his first wife, Merle Baruch; his daughter, Nicole; two grandchildren; and a brother.⁠[16]

Gary Marcus called Cyc “a ground-breaking, clarion experiment that never fully gelled” and said its proprietary nature had limited its academic influence.⁠[15]

Cycorp: Official website: https://cyc.com/ (opens in a new window)⁠[13]