I think everyone is conflating a few things:

* (1) Mathematics, the true things known by humans

* Mathematics, the things that are true

* (3) Mathematics, the institution which gets funding and manages resources to expand and maintain 1

AI agents can discover more true things, but that doesn't necessarily expand 1 and it might undermine 3

If someone is worried about 3 and you're talking about 2, then you are talking past each other