The previous page is sending you to https://www.quantamagazine.org/the-deep-link-equating-math-proofs-and-computer-programs-20231011/.

 If you do not want to visit that page, you can return to the previous page.