Douglas Lenat

“Created EURISKO in the 1970s, a math discovery program that attempted to generate new mathematical ideas by combining concepts.”