[FacelessJim]

I think that this new paradigm in mathematics will allow for more math being born out of curiosity and creativity. Many mathematicians have built their career around hyper specialization, and are now the most threatened because LLM excel in hyper specialization. I see it as a boon in a sense because it will bring forward the generalists. LLM will allow to much more effectively explore and discover new mathematics spanning across fields while retaining the specialist depths. Humans can still be at the helm, the focus just need to shift from cranking out technical proofs to more playful connections.