Yes, I see you did use the word "proven". That does lesson the force of my comment but not by very much. I'm curious actually what you mean by proven outside a mathematical context. In this context, the correlation is extremely strong, and there's no obvious alternate hypothesis. I'm not completely sure what you consider in this context to be an acceptable amount of evidence, but the medical consensus seems clear, and the links Gwern gave show that the correlation exists even when one tries to control for other variables.
I think he wants randomized controlled trials. Which of course no ethics board would ever approve because avoiding aspirin in kids is not that hard or expensive, and the cost of confirming it would be too high.
("You want to test whether slamming your face into the wall causes pain, and doesn't just correlate with it? Why on earth?")
I recently recalled, apropos of the intermittent fasting/caloric restriction discussion, a very good blog post on mortality curves and models of aging:
gravityandlevity then discusses some simple models of aging and the statistical characters they have which do not match Gompertz's law:
What models do yield a Gompertz curve? gravityandlevity describes a simple 'cops and robbers' model (which I like to think of as 'antibodies and cancers'):
This offers food for thought about various anti-aging strategies. For example, given the superexponential growth in mortality, if we had a magic medical treatment that could cut your mortality risk in half but didn't affect the growth of said risk, then that would buy you very little late in life, but might extend life by decades if administered at a very young age.