Comment by smadge

Pure math isn’t an economic activity so the benefit to society of automating it is dubious. Its goal is to expand the frontier of human understanding and communicate the understanding to other mathematicians. As the article states it’s more like an art than engineering (where the attitude of who cares if I understand it if it works is more justified). The AI generated proofs are barely comprehensible by mathematicians so the question is who are these proofs for? Who are they trying to convince or educate?