Comment by pylua

I think this is awesome. I do wonder if projects like this will are the first step for humans to completely hand over proving to machines.