“We are transitioning from an era of proof scarcity to proof abundance. For  thousands of years proofs were hard and… it required understanding and expertise and a bit of luck and talking to people and knowing the literature. It was universally valued because everyone who found a proof of a difficult theorem had to do … Continue reading "The Chalk and the Airplane"