Anthropic already has a wet biolab for AI research and IIRC got some boring results out, so my guess is that non-boring results are only a few months away. I doubt they'd be related to the achievements in math, except in the sense that all AI-achieved results are related to each other because they all signify an improved capability for general research.