If Mythos is as bad as Anthropic claims, @mathematics_inc becomes one of the most valuable co in tech Math's built the best Math Foundation Model which allows them to automate software proofs so bugs (& therefore hacks) become logically impossible Generational bet proving out!