We have proof automation now

The article announces the development of proof automation, a technological advancement discussed on the blog imperialviolet.org. It references a specific blog post and Hacker News comments thread but provides no further technical details.