Yeah, it's true, there is politics in mathematical truth, for better or worse. That is slowly changing with the adoption of proof assistants, I think. A lot of well-known names (like Tao and Conrad for instance) are starting to formalise large swathes of modern maths in Lean, for instance. Perhaps it will never get to a point where it is so easy that formal proof is required to publish a result, but who knows? It seems like a start.