Progress doesn’t happen automatically when the scientific or technical prerequisites for it are in place. It only happens when people work on it, and that almost always requires funding. --- It only happens when people work on it, This is what concerns me with mathematics and the fact that verifying correctness still relies on an “unnamed collection of experts” instead of formal verification.