> AI mathematicians have been around for a month or so.

LLMs have been around for years, and they're explicitly trained on the entire history of human mathematics (without which they'd be unable to do anything).