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
