A mathematician's suggestion:

I would push for an audit of the whole mathematical corpus (all articles etc ingested by the present AI) as soon as possible. Since there are of the order of 10^7 articles, compared with the progression of results announced, this might be possible in less than a year.

All these results exploit the existing corpus. With enough time and maybe several orders more attention, we humans would discover these results.

So instead of producing heaps of new proofs (but be welcome to do this IMO), make an audit, OpenAI or Anthropic or anybody who listens.