Comment by zem

it does not in any way break the mystique of mathematics for me, though that mystique continues to attach to proofs that are in some way beautiful or elegant, whether produced by humans or machines.

as for software engineering, I've definitely used claude to help with both complex problems that I could have worked through myself but with greater expenditure of time and effort, and with problems that I would not have been able to do without spending a lot of time learning my way around a whole new domain, but in both cases what I am most keenly aware of is that I am benefitting from some human (or many humans) having solved this problem before.