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

[This is a guest post by Francesco Maggi. This blog post was initially written in a different file format and converted using AI. — T.] Large language models (LLMs) and the research systems built around them (and commonly known as “artificial intelligence”) have demonstrated remarkable abilities in generating mathematical proofs. While the quality and limits of these tools remain incompletely understood, their potential for accelerating discovery and enabling extraordinary advances in mathematic...