Worse than that. Most of the properties you care about in code aren’t NP. NP is the set of decision problems such that a “yes” answer can be verified in polynomial time, given a witness string. Properties like “this program is secure/deterministic/terminates” don’t, in general, have short proofs. Many of the properties you care about are undecidable if you assume unlimited memory, and intractable even if you don’t.
In contrast, the human visual system, as I understand, mostly does constant-time work, like edge detection, checking for color differences, etc.
Worse than that. Most of the properties you care about in code aren’t NP. NP is the set of decision problems such that a “yes” answer can be verified in polynomial time, given a witness string. Properties like “this program is secure/deterministic/terminates” don’t, in general, have short proofs. Many of the properties you care about are undecidable if you assume unlimited memory, and intractable even if you don’t.
In contrast, the human visual system, as I understand, mostly does constant-time work, like edge detection, checking for color differences, etc.