Trying to insert your own harness into another field makes it very clear and the friends approach AI psychosis levels of overconfidence

Arcane is not the same as actually intellectually hard. Programming is arcane.

Same with circuit layout, which is also amenable to things like genetic algorithms, and yes I believe math proofs might be easier than we thought.

It seems to be that you can mix some intelligence and a learned bag of motifs with iterative gradient descent and solve math proofs like a hard jagged optimization problem. I feel like this is what has been demonstrated. You get a huge blob of Lean but it works.

We might learn there are domains like, say, nursing or writing (good writing) or blue collar work or being a secretary for a large company that require a lot more fluid intelligence than fields that have historically been smug about their high IQ requirements.

I work in construction in drafting for electrical and the models go off the rails all the time. Just adding grounds “to be safe” (and it sometimes makes it less safe by doing so)

The main reason it's considered so hard is that, as I've learned over the years, a large majority of the general population struggles when it comes to formal logic. It's the same reason math is considered challenging.