> by Gödel there’s no upper bound to automation

At which point do you think the Human mind acting as the observer of the formal mechanism will be simply exhausted by the sheer scale of complexity? Theoretically there is no upper bound but practically?

(Don't mean to insert a pessimistic note here but genuinely curious to as your no-limits optimism)