The saddest part of this is no one actually cares about the proof itself.

Does it prove what it claims to prove? Were new mathematics invented? Can this be applied to other areas?

I don’t have a problem with labs solving hard problems if they can, but they could at least pretend to care more about the problems and less about the marketing opportunity.