Did AI just suck the last bit of joy from mathematics?

As AI companies publish increasingly complex math proofs, the people who dedicated their lives to the discipline worry about loss of culture.