> But for many “pure” mathematicians ... machines can discover the truths we’re seeking, at the cost of robbing us of the struggle and joy of discovering them ourselves.

This sentiment is akin to wanting to curse humanity to darkness because they're not the one carrying the candle. Strogatz is not lamenting the loss of discovery, he's lamenting the loss of being heralded as a hero for the discovery.

Nothing prevents him or others discovering truths for themselves. Turn off the computer and try to re-derive it from first principles. Have at it! This is what students do in many courses anyway.

I've found little so depressing as being at the precipice of a renaissance of science and mathematical discovery, only to see how resistant the scientists and mathematicians are to it. It lays bare their counterarguments. Any pretense of wanting to discovery fundamental truth about reality is supplanted with "but what about our careers!?". Strogatz, and others like him, should be ashamed of themselves.