Write me program that could write Doug Lenat's Automated Mathematician. ;)

I think the OP's point was until humans invent true strong AI there is a qualitative difference between human and computer intelligence.

And even if/when a true "thinking machine" is invented, the intelligence which was able to create said machine would be nothing to sneeze at!