I’m actually paraphrasing Terence Tao and some of the top mathematicians on the planet. These discussions have been prevalent across the maths community.
It’s not common knowledge, but mathematical proofs aren’t intrinsically valuable (in any way whatsoever) outside of the mathematical community capable of deriving them. They are valuable because they create a mathematical community, not the other way around.
Scientific discoveries are different. Scientific insights without scientists are still useful to society. Not so mathematical proofs without mathematicians.