It’s good at involved computations, improving at proofs, and useful for literature search. It still favors low-level grinds and leans on background knowledge.