Comments by "SterileNeutrino" (@SterileNeutrino) on "Is A.I. Programming Really the Future?" video.

  1. "Is A.I. Programming Really the Future?" Not if "A.I." is just Large Language Models labeled "A.I." by Marketing, aka. "pareidoliac intelligence" (permitting the perception of intelligence where none exists or is intended) as coined in "Seven Pillars for the Future of Artificial Intelligence". It's pattern matching that mostly works (like the ancient case-based reasoning on steroids) because programming languages are low-level kind of idiotic and highly repetitive and redundant. This may not preclude the possibility that an LLM is still better than 90% of programmers out there. One may also note that a LLM cannot reliable distinguish between a statement and the negation of the statement and did anyone try it with Prolog? Next question please.
    7
  2. AWS apparently also uses formal verification for its networking software, which is the polar opposite of "AI programming".
    6
  3. Sadly human brains are not large or controllable enough for delivering
    1