While I had similar concerns, I do think about this a fair bit now. A nontrivial math problem was proved by Aristotle (in Lean, a proof assistant, so we’re relatively sure it’s correct). Alpha Evolve then generalized. GPT pro did some writing and visualization work.

It’s basically the quality of work I aspire to. Slightly cheaper, and substantially faster. Not the strongest PhD, but a solid graduate student.