# 5
url: https://greennewsdesk.org.uk/post/douglas-lenats-automated-mathematician-source-code-mu1mxk