[ethbr1]

Absolutely. I have an inkling that there's an AI version of Amdahl's law to the effect of: the speedup obtained by AI is proportional to the amount of AI output that isn't verified.

Folks push back and say "But there are tons of things where deterministic verification is easy, but design is hard."

But I'm suspicious that in real world cases verification is a lot harder and more time-consuming (because you can't verify 95% of something and call it a day).

[27183]

I have a hunch that most of the things humans do are AI-complete. Very little of it can be easily automated directly without AGI. We can achieve automation by re-orienting our workflows around machines (factory assembly lines, for example), but that isn't always possible or useful. That's what makes ML applications difficult--finding how to re-orient a workflow s.t. an ML algorithm can be used productively in it.