June 16 (opens in new tab)

In a world in which the price of calculation continues to decrease rapidly, but the price of theorem proving continues to hold steady or i...