The only bias here is that we're still covering these things like business ventures and not criminals.
Not that I could ever "compete" on the frontier of math in the first place. But our nature to compete derives from our need to survive against other capable forces. And results like these make me feel very nervous about humans' capability to remain the dominant force in the universe.
If you appreciate beauty and don't care about competing then these releases are purely good. Because you are not competing, so you aren't hurt by speed. And you are appreciating so you can appreciate more stuff.
sorry if I am misunderstanding (probably I am)
IDK, I think you should add tendency to cooperate, a capacity to love and perhaps some other things there.
But with things unfolding quickly and unpredictably, I think everyone's view is getting a bit foreshortened here.
Mathematical proofs aren't revealing truths about the universe. Mathematical proofs are independent of what the universe is like. Any proof would be the same in any possible universe.
That's exactly what they do, apply logic formally and systematically to discover truths.
Sure, there may be a universe where 2 + 2 = 5, but then that universe would have its own mathematics that can prove that to be true. And there will be a way to bridge that alien math to our own, again by logic and proofs, until we have a larger sense of truths not only in our universe but all possible universes. Proofs are part of the constant process of revealing deeper truths to the best of our understanding.