Radboud University's Luca Ambrogioni argues OpenAI's mathematical proof API triggers existential anxiety by devaluing highly specialized human expertise

It is a recurring theme throughout history and going all the way back to Socrates with writing. The deep irony there is we only know Socrates existed because someone wrote down what he said.

The consistent structural property seems to be confusing the difficulty of a particular medium with the value it produces.

Writing machine code is far harder than written assembly, which is harder than C, which is harder than python and that is harder than asking an llm to write the python for me.

We have a long history of offloading cognitive effort onto other things and in history each time some new medium comes around we usually do lose something but gain in other ways. Very few people today know basic memory techniques like the method of loci(I do and you should learn it!)

I'm old enough to remember when gps and cellphones weren't a thing people used or even had for basic navigation. Very few people today know how to read a map. Even less could start a fire without a lighter or hunt for their food. I have no clue how to make my own shoes, do you?

The sky is never in fact falling and people are mostly resistant to change. Fighting that is often like pissing in the wind and just causes us problems. Change happens regardless of if we're personally accepting it or not.