I need to retweet this again for every round of AI math discourse where people start castigating ungrateful mathematicians' ungrateful mourning. It captures aptly what they are mourning. (Note that mourning a lost past does not mean stopping the future.)
If you near solving P vs NP, Riemann, or Collatz, and ask an LLM to check your work, it flags it to its AI lab owners to scoop you. The $$$ incentives are too large. I drafted this joke a few days ago, was working to polish it, but must now rush it out on pain of being scooped.