Will it be a golden age or a dark age for mathematics (and science)?

In this guest post by Francesco Maggi, the author explores the dichotomy of the current era for mathematics and science amid the rise of large language models (LLMs) and artificial intelligence (AI). The post discusses the capabilities of LLMs in generating mathematical proofs and reflects on their implications for the future of these fields, pondering whether we are on the verge of a golden age or a dark age.