I think the personal drama aside, the moral of the story is: If you are working on an interesting breakthrough in any domain amenable to AI-supported solutions, make sure to keep it secret, lest a more well-resourced party (in particular the leading AI firms) will try to front-run you on the results by throwing millions of compute at it.

I guess (pure) mathematics will eventually be left alone, since own its own it is not economically valuable and OpenAI and Anthropic will eventually not need it any more for publicity, leaving the normal researcher alone to pick up AI-supported crumbs again.

But this also doesn't bode well for other domains. I think these are the clear signs of power concentration in the hands of the AI labs. All future progress will go through them, and if it doesn't, it's only because they graciously let you and decided not to scoop you first.