To be able to propose interesting conjectures you need to walk the walk of trying to prove things yourself. That's not great for future generations.

Isn't it same argument for every tool we've created?

It is the same with anything technical; you need taste and wisdom, which are borne of experience. I think society will want to subsidize this learning lest it deskills en masse.