>Have you actually used AI to do research-level math

Being that OpenAI has done most of this on models that are not released, I don't think you have either...

The other thing you're not looking at is mathematics is becoming a means of actual training a model versus just something to try out.