Proposal: Any AI company that is earnest about "helping mathematicians" (rather than parading the intelligence of its models) should work on making a high quality AI referee service available to journals. Current peer review in mathematics is laughably slow, and accelerating that with AI would be easier and more helpful than autonomously proving the kind of random results we've seen so far, with the notable exception of the Unit Distance Conjecture.