JonahS comments on Progress on automated mathematical theorem proving?

[JonahS]

This is a fair point. But what is the cutting edge? Are there counterexamples to my central claim?