A marriage of formal methods and LLMs seeks to harness the strengths of both.
OpenClaw creator Peter Steinberger said specialized AI, not AGI or LLMs, is a better future for the technology.