Why is this computer science problem so hard to solve?

Researchers use a process called formal verification to ensure critical computer programs are free of bugs. Inside this process is a math problem call the reachability problem for vector addition systems. Find out how this problem was solved by computer scientists. Watch our full video explainer: https://www.youtube.com/watch?v=IzSs_gJDVzI Read the article: https://www.quantamagazine.org/an-easy-sounding-problem-yields-numbers-too-big-for-our-universe-20231204/ -------- - VISIT our website: https://www.quantamagazine.org - LIKE us on Facebook: https://www.facebook.com/QuantaNews - FOLLOW us Twitter: https://twitter.com/QuantaMagazine @QuantaScienceChannel #math #computerscience #science