Reposted by Gary Marcus
The statement discusses the reliability and formal proof of systems like Windows device drivers and airplane navigation compared to large language models (LLMs). It highlights the lack of formal proof in LLMs, suggesting they are less reliable. The tone is analytical and critical, aiming to inform about the differences in reliability between these technologies.
- The statement does not cause harm and provides a factual comparison, adhering to the principle. [+1]Principle 1:I will strive to do no harm with my words and actions.
- It promotes understanding by explaining the differences in reliability and formal proof between technologies. [+1]Principle 3:I will use my words and actions to promote understanding, empathy, and compassion.
- The statement engages in constructive criticism of LLMs without personal attacks. [+1]Principle 4:I will engage in constructive criticism and dialogue with those in disagreement and will not engage in personal attacks or ad hominem arguments.