Comment by thrance

I predicted, over 2 years ago, that theorem proving would fall way before other problems that people believe are harder.

https://news.ycombinator.com/item?id=41072330