"average person proves 3 theorems a year" factoid actualy just statistical error. average person proves 0 theorems per year. Carl Gauss, who lives in cave & proves over 10,000 each day, is an outlier adn should not have been counted
@christianp I've been watching a lot of Secret Base sports history videos this past week and, reading this, I feel like I should be doing a fly-over of a chart showing every mathematical theorem-prover since Euclid.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!