Automating AI Away

Based on 5 sampled comments from this thread. Analyzed 2026-07-08.

• Praise: Abstracting out LLMs from deterministic processes is a game-changer; it makes systems more robust and avoids the fragility tied to vendor lock-in and model costs.
• Praise: Using LLMs for complex proof systems could unlock potential in formal methods, allowing for more reliable software development without the tedious labor of traditional verification.
• Praise: Tackling nondeterminism with AI has led to significant wins; it shows that when you control the chaos, you can achieve reliable outputs.
• Praise: The idea of using LLMs as a layer over deterministic processes can provide valuable insights while ensuring the foundational logic remains stable.
• Concern: Handing deterministic processes to probabilistic systems is fundamentally flawed; it's like building a house on sand—you're inviting instability.
• Concern: There's a dangerous misconception that LLMs are easier to implement than deterministic processes, which often leads to fragile solutions that can't be relied upon.
• Concern: Many commenters express frustration at being pressured to use LLMs, even when traditional methods yield more reliable and consistent results.