Comment by glimshe

I couldn't get past the first few paragraphs because this reads as if it was written by a teenager.

Food for thought: if OpenAI hadn't done that proof dump, it would be a matter of a few months until someone had. Maybe an independent researcher, possibly way fewer proofs, but would still have taken the Math world by storm.

The key problem is that the technology and not the company disempowered Mathematicians in a way that we had never seen before.