Editing Douglas Lenat (section)

==Cycorp==
The fruits of the first decade of R&D on [[Cyc]]<ref name="HAL" /> were spun out of MCC into a company, Cycorp, at the end of 1994. In 1986, he estimated the effort to complete Cyc would be at least 250,000 rules and 1,000 [[man-year|person-year]]s of effort,<ref name="UC" /> probably twice that, and by 2017, he and his team had spent about 2,000 person-years of effort building Cyc, creating approximately 24 million rules and assertions (not counting "facts").{{cn|date=September 2023}}

Lenat continued to work on Cyc as CEO of Cycorp until his death. While the first decade of work on Cyc (1984–1994) was funded by large American companies pooling long-term research funds to compete with the Japanese [[Fifth generation computer|Fifth Generation Computer]] Project, and the second decade (1995–2006) of work on Cyc was funded by US government agencies' research contracts, the third decade up through the present (2007–2023) has been largely supported through commercial applications of Cyc, including in the financial services, energy, and healthcare areas.<ref name="Harness" />  One of these later projects was a [[learning by teaching]] application called Mathcraft.{{r|RMK}}