Comment by qoez

Without a thriving mathematical community to point out these things it would have stayed broken. With automated math that community as tao pointed out is at risk.