Wasn't that the exact point of Terrence Tao's "A Severe Misalignment of AI in Mathematics"? [1]

[1] https://mathandai.org/