AI isn't making math discoveries. It's generating a metric shitload of syllogism slop, whuch may or may not correspond to reality. We will probably never know, because really who has time for this bullshit?