Like, in other words, I don’t think most mathematicians are particularly interested in building huge datacenters to brute-force compute quintillions of decimals of pi under current algorithms? Because the point is understanding, not mere knowledge? I dunno!