Comment by gaigalas

What I (personally) consider insightful is irrelevant. It's about what mathematicians consider insightful.

Mathematicians are obviously not ignoring automated proofs. Terry's post is an evidence of that.

Consider LK99 instead of crackpot P vs NP proofs. That wasted a lot of academia time.

It seems that it could happen to math.