Interesting reading, but it brings me some thoughts.

Security was always about having more money/resources. Using more tokens is just another measure for the same.

Some previous post, which I cannot verify myself, stated that mythos is not as powerful as it seems to be as the same bugs could be found using much smaller/simpler models and that the method is the key part.