While your criticisms are valid, I think the best way to consider developments like this is as if they were a new branch of math. These are new things we can d

While your criticisms are valid, I think the best way to consider developments like this is as if they were a new branch of math. These are new things we can do with the logical/mathematical system. As of now, the best application may not have been found. Saying how these new discoveries are 'not useful' sort of confuses the spirit of exploration.