Comment by juvvel

For math, you don't really have empirical data though. There is no trial you can do to find out whether, statistically, the proof works as intended. Because pure theoretical math rarely produces a measurable result.