The correct answer is: C. Symbolics
Symbolics was a computer company founded in 1980 by Richard Stallman, Guy Steele, and Gerald Jay Sussman. The company was based in Cambridge, Massachusetts, and was one of the first companies to develop and sell Lisp machines. Lisp machines were specialized computers that were designed for artificial intelligence (AI) research and development.
Symbolics was a successful company, and its Lisp machines were used by many AI researchers and developers. However, the company eventually went out of business in 1994.
AI corp and LMI were also companies that grew out of research at the MIT AI lab. However, they were not as successful as Symbolics. AI corp was founded in 1979, and LMI was founded in 1982. Both companies developed and sold AI software and hardware. However, they both went out of business in the early 1990s.
In conclusion, the company that grew out of research at the MIT AI lab is Symbolics. Symbolics was a successful company that developed and sold Lisp machines. AI corp and LMI were also companies that grew out of research at the MIT AI lab, but they were not as successful as Symbolics.