Yes, when people in the 4000s write clickbait holonet articles about how the Master Theorem of Neural Network Scaling was not actually invented by the Muskovites of Mars, but was found written on an Ancient American tablet containing the works of Hoffmann et al., I hope somebody will offer substantial corrections.

That's not in any sense a value judgment of the empirical work done at DeepMind. Nor does it stop anybody from writing a better article which explains that the Babylonians (and many others) used the empirical observations underlying the theorem, while explaining that this did not constitute mathematical proof.