WILL IT BE A GOLDEN AGE OR A DARK AGE FOR MATHEMATICS (AND SCIENCE)?

Summary from the TLDR newsletter

Large language models have demonstrated remarkable abilities in generating mathematical proofs. This could lead to a golden age where a new generation of scientists is empowered, new STEM expertise is developed, and an open, collaborative, and intellectually independent scientific enterprise is preserved. However, it could also lead to independent human scientific activity progressively weakening, the production of new knowledge becoming increasingly concentrated in a small number of hands, and knowledge becoming alien to human understanding. The future will likely be a combination of these scenarios.