No one is going to care until an important proof can't be verified and a counterexample to some step is found. At that point, you'll see a sea change. This co

No one is going to care until an important proof can't be verified and a counterexample to some step is found. At that point, you'll see a sea change. This could take twenty years, or it could happen next year.