https://platoblockchain.com/plato-data/the-deep-link-equating-math-proofs-and-computer-programs-quanta-magazine/