The rumors were that Anthropic had solved Navier Stokes and was sitting in it to maximize IPO hype. It was all over twitter. In the first place the intent was never to scope mathematicians, but their closest rival.

The proof turned out to be different from what Levant and Tristan was doing.