tl;dr - Proving and verifying costs have improved dramatically in the past 5 years. Demand for proofs has not responded. Why? Human activity can be organized by two mutually reinforcing pursuits. The first is resolving a select number of fundamental questions towards which knowledge has naturally converged – What is the underlying structure of the physical universe? What is life? What is computation? What is consciousness? The second is the application of our discoveries to expanding the scop...