OK but the whole point of math is once a proof is articulated, it is trivial to verify its correctness. It could have come from the devil himself but if it checks out, it’s as valid as any other.

Whether the AI is “actually thinking” is irrelevant. We’re thinking, and we can verify proofs objectively. People say AI art isn’t real art and there are definitely arguments for that, but saying AI math isn’t real math is kind of ridiculous.