I think "math is solved" refers more to AI performing math studies at the level of a mathematics graduate student. Obviously "math" won't ever be "solved" but t

I think "math is solved" refers more to AI performing math studies at the level of a mathematics graduate student. Obviously "math" won't ever be "solved" but the problem of AI getting to a certain math proficiency level could be. No matter how good an AI is, if P != NP it won't be able to prove P=NP. Regardless I don't think our AI systems are close to a proficiency breakthrough. Edit: it is odd that "math is solved" is never explained. But "proficient to do math research" makes the most sense to me.