Mechanizing mathematics — the delegation to machines of part or all of what mathematicians are imagined to do — has been an obsession of computer scientists and a target for artificial intelligence since the very beginnings of digital computing. https://siliconreckoner.substack.com/about