Doug Lenat&#x27;s <i>Automated Mathematician</i> (AM) apparently did &quot;discover&quot; multiplication by itself:<p><a href="http:&#x2F;&#x2F;web.onetel.net.uk&#x2F;~hibou&#x2F;ai-course&#x2F;lenat.txt" rel="nofollow">http:&#x2F;&#x2F;web.onetel.net.uk&#x2F;~hibou&#x2F;ai-course&#x2F;lenat.txt</a><p><a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Automated_Mathematician" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Automated_Mathematician</a><p>Of course, you could argue that multiplication was implicitly there in the rules and facts it was programmed with.