Cyc – Yuxi on the Wired
After 40 years, 30 million rules, 200 million dollars, 2000 person-years, and many promises, Cyc has failed to reach intellectual maturity, and may never will. Exacerbated by the secrecy and insularity of Cycorp, there remains no evidence of its general intelligence.
Cyc – Yuxi on the Wired Abstract The legendary Cyc project, Douglas Lenat’s 40-year quest to build artificial general intelligence by scaling symbolic logic, has failed. Based on extensive archival research, this essay brings to light its secret history so that it may be widely known. Lenat’s journey began with his PhD work on automated mathematical discovery through heuristic search. He observed that such systems initially make promising discoveries but quickly “run out of steam” as they exhaust their initial pool of heuristic rules. His follow-up system EURISKO, famous for winning tournament
Explore this link on the map →saved by
related reading
- On Really Trying · Gwern.netgwern.net
- How To Think Real Good | Meta-rationalitymetarationality.com
- Moravec's paradox - Wikipediaen.wikipedia.org
- Gwern visits BAIR – Yuxi on the Wiredyuxi.ml
- 2023 letter | Zhengdongzhengdongwang.com
- Augmenting Human Intellect: A Conceptual Framework - 1962 (AUGMENT,3906,) - Doug Engelbart Institutedougengelbart.org
- alan turing - computing machinery and intelligencecourses.cs.umbc.edu
- Infinite midwit - by Adam Mastroianniexperimental-history.com
- Tools, Computing, and Research Labs — James Hill-Khuranajameshk.com
- Solve Everythingsolveeverything.org
- Richard Feynman and The Connection Machine — LONG NOW IDEASlongnow.org
- Gwern — Anonymous writer who predicted AI trajectory on $12K/year salarydwarkesh.com