It's great that a novel math proof was created.

But this is mostly marketing, pleasing the sneering class/the elites who believe that simply providing value for others (through sales) is repugnant and beneath them.

It seems that these tools can do real work, and people are paying for that. IMO, that is more than sufficient.