I suspect that the mathematicians who adapt best to AI will treat it like astronomers treat a telescope, as a source of possibly-interesting data to be analyzed. Maybe it looks like finished output, but that doesn’t mean it’s ready to show.

Sure, this is in agreement with some people's view that math will become an empirical science. Basically humans probing/mining the brain of an LLM.