The End of a Beautiful Era

“As more and more central problems are nuked into oblivion by generated proofs, against the spreading AI-gloom the voices rise, emphasizing the internal value of deep mathematical thought and advocating for measures ranging from exercising extreme discretion with generative tools to seizing railway stations and the telegraph (or was it departments and classes of mathematical problems?) from the ti…