Feels like some weird copium fence post shifting. "Yes, they solved those 300 intractable math problems, but 10% have some errors." Sure, maybe they do. Even Andrew Wiles had errors in his first solution of Fermat's Last Theorem.
That doesn't take away from the fact that Math just turned 180° on its head and there's no going back.
That doesn't take away from the fact that Math just turned 180° on its head and there's no going back.