Write me program that could write Doug Lenat&#x27;s <i>Automated Mathematician</i>. ;)<p>I think the OP&#x27;s point was until humans invent true strong AI there is a qualitative difference between human and computer intelligence.<p>And even if&#x2F;when a true &quot;thinking machine&quot; is invented, the intelligence which was able to create said machine would be nothing to sneeze at!