Eh, I'm sorry, but math being a vanity metric is not at all as factual as a take as you present it as. Maths are just a convenient target to improve their models through RLVR, using verifiable endpoints (ie. lean proofs) to generate novel training data. The publications and vanity stuff is just a side effect of their primary motivation: making the model better.